Software & Systems

Journal articles №4 2010

1. JTAG development for hardware and software debugging [№4 за 2010 год]
Authors: Galatenko V.A. (galat@niisi.msk.ru) - Scientific Research Institute for System Studies of the Russian Academy of Sciences (SRISA RAS), Ph.D; Kostyukhin K.A. (kost@niisi.msk.ru) - Scientific Research Institute for System Studies of the Russian Academy of Sciences (SRISA RAS), Ph.D; (shmyrev@niisi.msk.ru) - , Ph.D;
Abstract: This article presents the brief review of base JTAG specifications, new cJTAG specifications and some proprietary enhancements which allow programmers to use JTAG as a debugging tool.
Keywords: debugging, ejtag, cjtag, jtag
Visitors: 16094

2. Parallel statespace generation for finite discrete models [№4 за 2010 год]
Author: (twee@tweedle-dee.org) - ;
Abstract: A major limitation of model-checking is statespace combinatorial explosion, which makes even medium-sized model inappropriate for that kind of verification. In this paper, parallel statespace generation with distributed state storage is proposed as a possible solution. State partitioning scheme that allows to reduce number of remote calls during generation process is developed. Experimental results, produced by developed verification tool, are given and prove that proposed partitioning scheme is better than random uniform distribution.
Keywords: Promela language, parallel computing, state generation, model checking,
Visitors: 13904

3. The research of architecture vulnerability to failures using the statistical method of making failures [№4 за 2010 год]
Authors: (osipenko@niisi.msk.ru) - , Ph.D; A.A. Antonov (153287@niuitmo.ru) - The National Research University of Information Technologies, Mechanics and Optics; (levadsky@niisi.msk.ru) - ;
Abstract: The paper describes the methodology for determining the architecture vulnerability factor to failures digital blocks and the results of its application as an example of research unit of the controller finite state machine multiplex channel for information exchange made in accordance with GOST 52070-2003.
Keywords: «gray» result, microarchitectural state, reference track, architecture vulnerability factor to failures
Visitors: 13192

4. Real-time operating system Baget 3.0 [№4 за 2010 год]
Authors: A.N. Godunov (nkag@niisi.ras.ru) - Federal State Institution "Scientific Research Institute for System Analysis of the Russian Academy of Sciences" (SRISA RAS) (Head of Department), Ph.D;
Abstract: The requirements, architecture and design concept of real-time operating systems are discussed considering Russian real-time operating system Baget 3.0.
Keywords: arinc-653, posix, reliability, operating system, real time
Visitors: 24609

5. Planning of tasks with synchronous start [№4 за 2010 год]
Authors: (grntl@niisi.msk.ru) - , Ph.D;
Abstract: The paper deals with a formal execution model of multitask real time systems. Necessary and sufficient conditions that guarantees in time task completion of an arbitrary system with synchronous start are formulated. Corresponding planning algorithm is given.
Keywords: synchronous start, planning, multitasking, the software, real time
Visitors: 13434

6. Source code generator for real-time systems [№4 за 2010 год]
Author: (kostas@niisi.ras.ru) - ;
Abstract: This article is devoted to practical questions about source code generation technology in real-time systems. The author has been considered basic principles of automated source code generation programs, logic structure of the code generator and functional algorithms of its modules.
Keywords: source code, realtime systems, source code generation, xml, uml, modeling, mathematical model, reliability, multithreading, programming
Visitors: 18655

7. Mutual exclusion algorithm for RapidIO switch access [№4 за 2010 год]
Author: (alexander.bakulin@gmail.com) - ;
Abstract: An algorithm is proposed for providing mutual exclusion access of several RapidIO nodes to a single switch while RapidIO switching fabric is being initialized by a number of nodes. The algorithm is tolerant to node failures.
Keywords: algorithm, mutual exclusion, RapidIO
Visitors: 15200

8. Near-earth orbit flight simulation in a space training system [№4 за 2010 год]
Author: Timokhin P.Yu. (webpismo@yahoo.de) - SRISA RAS (Research Associate);
Abstract: The paper describes an algorithm of Earth model position and orientation calculation relative to the coordinate system fixed to a space vehicle (SV) given it’s Kepler orbit elements defined in the geocentric reference frame are known. The approach enables more accurate SV docking modelling in space simulators.
Keywords: Kepler orbit, modeling, spacecraft, visualization system
Visitors: 22384

9. Real-time construction of 3d scene’s adaptive regular grid [№4 за 2010 год]
Authors: Maltsev A.V. (avmaltcev@mail.ru) - SRISA RAS, Ph.D;
Abstract: New real-time methods and algorithms of acceleration structure construction and infill, based on regular grid, for the ray tracing system in three-dimensional virtual scenes are proposed. The described methods and algorithms use CUDA parallel computation architecture and are suitable for both static and dynamic scenes.
Keywords: parallel computing, regular grid, acceleration structure, Kepler orbit
Visitors: 16583

10. Combinatorial methods for functions reconstruction by their averaging on discrete subsets in domain of definition [№4 за 2010 год]
Authors: (akoganov@yandex.ru) - , Ph.D; (koganow@niisi.msk.ru) - , Ph.D;
Abstract: It considered the task of computing the value of function (which is determent on countable discrete support) for each point in domain of definition, if it is known only average value of that function on sufficiently big assembly of finite or countable subsets. That task is analogous the integral geometry task on continuality spaces with measure. But the discrete support of functional space permit to obtain new combinatorial methods for inversion of average operators, which are not reducible to known formulas in integral geometry. Those methods may by apply on spaces with different mathematical structures.
Keywords: dual subdivision, average on group, integral geometry, inversion formula
Visitors: 12162

| 1 | 2 | 3 | 4 | 5 | Next → ►