|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Integrated Environment for the Analysis and Design of Distributed Real-Time Embedded Computing Sustemsстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 декабря 2013 г.
- Авторы: Smelyansky R.L., Bakhmurov A.G., Volkanov D.Yu, Chemeritskii E.V.
- Журнал: Programming and Computer Software
- Том: 39
- Номер: 5
- Год издания: 2013
- Издательство: Pleiades Publishing, Ltd
- Местоположение издательства: Road Town, United Kingdom
- Первая страница: 242
- Последняя страница: 254
- DOI: 10.1134/S0361768813050058
- Аннотация: 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 StateUniversity. 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 ofa formal model of operation for distributed systems, and the analysis of various aspects of the behavior of asystem, 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 otherdomestic and foreign results in the field of simulation of real-time distributed embedded computing systems ispresented.DOI: 10.1134/S0361768813050058
- Добавил в систему: Смелянский Руслан Леонидович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Integrated_Environment.pdf | 218,8 КБ | 7 ноября 2014 [Smel] |