Verifying mode consistency for on-board satellite software
| Autor: | Dubravka Ilic, Kimmo Varpaaniemi, Timo Latvala, Pauli Väisänen, Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
Scheme (programming language)
Correctness business.industry Computer science Distributed computing Mode (statistics) 020207 software engineering 02 engineering and technology Reliability engineering Consistency (database systems) Software Control system 0202 electrical engineering electronic engineering information engineering Systems architecture Orbit (dynamics) 020201 artificial intelligence & image processing business computer computer.programming_language |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783642156502 SAFECOMP |
| DOI: | 10.1007/978-3-642-15651-9_10 |
| Popis: | Space satellites are examples of complex embedded systems. Dynamic behaviour of such systems is typically described in terms of operational modes that correspond to the different stages of a mission and states of the components. Components are susceptible to various faults that complicate the mode transition scheme. Yet the success of a mission depends on the correct implementation of mode changes. In this paper we propose a formal approach that ensures consistency of mode changes while developing a system architecture by refinement. The approach relies on recursive application of modelling and refinement patterns that enforce correctness while implementing the mode transition scheme. The proposed approach is exemplified by the development of an Attitude and Orbit Control System undertaken within the ICT DEPLOY project. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|