Use of graph-based and algebraic models in lifecycle of real-time flight control software

Autor:	Andrey Tyugashev
Rok vydání:	2017
Předmět:	Computer science business.industry Graph based Systems engineering Computer Science::Software Engineering Control software Software verification and validation Algebraic number Software engineering business Application lifecycle management
Zdroj:	Collection of selected papers of the III International Conference on Information Technology and Nanotechnology.
DOI:	10.18287/1613-0073-2017-1904-306-311
Popis:	Software faults are the causes for repeating catastrophes in modern space missions. There are various problems in lifecycle of flight control software including lack of adequate models of real-time control algorithms. Real-time control algorithms have the totally distinct nature in contrast to computational algorithms. The paper presents mathematical models suitable for analysis, design and formal verification phases of lifecycle of spacecraft’s flight control software. Two kinds of models - graph-based and algebraic, are being described. These models were successfully introduced in computer aided software engineering toolset for design and verification of spacecraft’s real-time onboard control software.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c36def0364859f20402da4b43213dcc3 https://doi.org/10.18287/1613-0073-2017-1904-306-311 Zobrazit plný text záznamu