Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Verifying Mode Consistency for...

Verifying Mode Consistency for On-Board Satellite Software

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timmo Latvala, Verifying Mode Consistency for On-Board Satellite Software. In: Erwin Schoitsch (Ed.), Proceedings of SAFECOMP 2010, The 29th International Conference on Computer Safety, Reliability and Security, September 14-17, Vienna, Austria, Lecture Notes in Computer Science 6351, 126–141, Springer, 2010.

Abstract:

Space satellites are examples of complex embedded systems. Dynamic behaviour of such
systems is typically described in terms of 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. 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 mode transition scheme. The proposed approach is exemplified by the
development of an Attitude and Orbit Control System (AOCS) undertaken within the ICT
DEPLOY project.

BibTeX entry:

@INPROCEEDINGS{inpIlTrLaRoVaVaIlLa10a,
  title = {Verifying Mode Consistency for On-Board Satellite Software},
  booktitle = {Proceedings of SAFECOMP 2010, The 29th International Conference on Computer Safety, Reliability and Security, September 14-17, Vienna, Austria},
  author = {Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Väisänen, Pauli and Ilic, Dubravka and Latvala, Timmo},
  volume = {6351},
  series = {Lecture Notes in Computer Science},
  editor = {Schoitsch, Erwin},
  publisher = {Springer},
  pages = {126–141},
  year = {2010},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication