UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Discipline of Programming
The Problem of Schedule Construction in the Joint Design of Hardware and Software
Programming and Computing Software
DYANA: An Environment for Embedded System Design and Analysis
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
DYANA: An Environment for Embedded System Design and Analysis
SS '99 Proceedings of the Thirty-Second Annual Simulation Symposium
The Multi-Agent Data Collection in HLA-Based Simulation System
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
Fundamentals of simulation modeling
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
DEPCOS-RELCOMEX '08 Proceedings of the 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX
An approach to software system modelling and analysis
Computer Languages
An approach to software system behavior description
Computer Languages
HLA RTI performance evaluation
SIW '09 Proceedings of the 2009 SISO European Simulation Interoperability Workshop
Problems of instrumental support for the development of distributed embedded real-time systems
Programming and Computing Software
| Hi-index | 0.00 |
Problems of analysis and design of embedded real-time systems for controlling complex engineering systems are considered by an example of a DYANA simulation environment and its development at the Laboratory of Computing Systems (LCS), Faculty of Computational Mathematics and Cybernetics, Moscow State University. Special attention is paid to the verification of the conformity of the designed system to the requirements formulated at the early stages of design. The key features of this environment are as follows: the use of a formal model of operation for distributed systems, and the analysis of various aspects of the behavior of a system, both quantitative and logical, by a unified description of systems. The application of the DYANA environment in research and engineering projects over the last 28 years is considered. A comparison with other domestic and foreign results in the field of simulation of real-time distributed embedded computing systems is presented.