Integrated environment for the analysis and design of distributed real-time embedded computing systems.

Saved in:
Bibliographic Details
Title: Integrated environment for the analysis and design of distributed real-time embedded computing systems.
Authors: Smelyansky, R., Bakhmurov, A., Volkanov, D., Chemeritskii, E.
Source: Programming & Computer Software; Sep2013, Vol. 39 Issue 5, p242-254, 13p
Subject Terms: REAL-time computing, EMBEDDED computer systems, COMPUTER-aided design, COMPUTER simulation, CYBERNETICS, COMPUTER engineering
Abstract: 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. [ABSTRACT FROM AUTHOR]
Copyright of Programming & Computer Software is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Complementary Index
Be the first to leave a comment!
You must be logged in first