Отрывок: Direct following means that in the resulting algorithm the first action inherited from UA2 starts when the latest action inherited from UA1 ends. For this, we need make shift like in the cases above, but the rule is different. We need set the starting time of the earliest action of UA2, as etUA1. Difference = etUA1-tUA2 we then need to add to all starting times of actions in resulting algorithm, which are inherited f...
Название : | Graph-Based and Algebraic Models for Real-Time Flight Control Software |
Авторы/Редакторы : | Tyugashev, A.A. |
Ключевые слова : | real-time flight control software graph based model algebraic model real-time control algorithm computer aided software engineering |
Дата публикации : | 2017 |
Издательство : | Новая техника |
Библиографическое описание : | Tyugashev A.A. Graph-Based and Algebraic Models for Real-Time Flight Control Software // Сборник трудов III международной конференции и молодежной школы «Информационные технологии и нанотехнологии» (ИТНТ-2017) - Самара: Новая техника, 2017. - С. 1399-1402. |
Аннотация : | Unfortunately, there are repeating catastrophes in space missions caused by software errors. One of the reasons for it is absence of adequate methods for modeling of real-time control algorithms which are totally distinct from computational (data transformation) algorithms. The purpose of the research is to develop mathematical models suitable for further analysis, design and formal verification of spacecraft’s real-time flight control software. The paper presents two models, graph-based and algebraic. These models were successfully used during implementation of CASE toolset for design and verification of real-time spacecraft onboard control algorithms. |
URI (Унифицированный идентификатор ресурса) : | http://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/GraphBased-and-Algebraic-Models-for-RealTime-Flight-Control-Software-63951 |
Другие идентификаторы : | Dspace\SGAU\20170519\63951 |
Располагается в коллекциях: | Информационные технологии и нанотехнологии |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
paper 250_1399-1402.pdf | Основная статья | 545.22 kB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.