Integrated Environment for the Analysis and Design of Distributed Real-Time Embedded Computing Sustemsстатья

Информация о цитировании статьи получена из Scopus, Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 декабря 2013 г.

Работа с статьей

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст Integrated_Environment.pdf 218,8 КБ 7 ноября 2014 [Smel]

[1] Integrated environment for the analysis and design of distributed real-time embedded computing sustems / R. L. Smelyansky, A. G. Bakhmurov, D. Y. Volkanov, E. V. Chemeritskii // Programming and Computer Software. — 2013. — Vol. 39, no. 5. — P. 242–254. Problems of analysis and design of embedded real-time systems for controlling complex engineer- ing systems are considered by an example of a DYANA simulation environment and its development at the Lab- oratory 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 require- ments 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 envi- ronment 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. DOI: 10.1134/S0361768813050058. [ DOI ]

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть