Toggle Main Menu Toggle Search

Open Access padlockePrints

Verifying Mode Consistency for On-Board Satellite Software

Lookup NU author(s): Dr Alexei Iliasov, Dr Elena Troubitsyna, Professor Alexander RomanovskyORCiD



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.

Publication metadata

Author(s): Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Vaisanen P, Ilic D, Latvala T

Editor(s): Schoitsch, E.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP)

Year of Conference: 2010

Pages: 126-141

ISSN: 0302-9743 (print) 1611-3349 (online)

Publisher: Springer


DOI: 10.1007/978-3-642-15651-9_10

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes on Computer Science

ISBN: 9783642156502