Отрывок: 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...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorTyugashev, A.A.-
dc.date.accessioned2017-05-25 13:05:55-
dc.date.available2017-05-25 13:05:55-
dc.date.issued2017-
dc.identifierDspace\SGAU\20170519\63951ru
dc.identifier.citationTyugashev A.A. Graph-Based and Algebraic Models for Real-Time Flight Control Software // Сборник трудов III международной конференции и молодежной школы «Информационные технологии и нанотехнологии» (ИТНТ-2017) - Самара: Новая техника, 2017. - С. 1399-1402.ru
dc.identifier.urihttp://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/GraphBased-and-Algebraic-Models-for-RealTime-Flight-Control-Software-63951-
dc.description.abstractUnfortunately, 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.ru
dc.language.isoenru
dc.publisherНовая техникаru
dc.subjectreal-time flight control softwareru
dc.subjectgraph based modelru
dc.subjectalgebraic modelru
dc.subjectreal-time control algorithmru
dc.subjectcomputer aided software engineeringru
dc.titleGraph-Based and Algebraic Models for Real-Time Flight Control Softwareru
dc.typeArticleru
dc.textpartDirect 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...-
Располагается в коллекциях: Информационные технологии и нанотехнологии

Файлы этого ресурса:
Файл Описание Размер Формат  
paper 250_1399-1402.pdfОсновная статья545.22 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.