Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Formal Development and Assessm...

Formal Development and Assessment of a Reconfigurable On-Board Satellite System

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila, Formal Development and Assessment of a Reconfigurable On-Board Satellite System. In: Frank Ortmeier, Peter Daniel (Eds.), Proceedings of 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Lecture Notes in Computer Science 7612, 210–222, Springer-Verlag Berlin Heidelberg , 2012.

Abstract:

Ensuring fault tolerance of satellite systems is critical for achieving goals of the space mission. Since the use of redundancy is restricted by the size and the weight of the on-board equipments, the designers need to rely on dynamic reconfiguration in case of failures of some components. In this paper we propose a formal approach to development of dynamically reconfigurable systems in Event-B. Our approach allows us to build the system that can discover possible reconfiguration strategy and continue to provide its services despite failures of its vital components. We integrate probabilistic verification to evaluate reconfiguration alternatives. Our approach is illustrated by a case study from aerospace domain.

BibTeX entry:

@INPROCEEDINGS{inpTaPeTrLaNu12a,
  title = {Formal Development and Assessment of a Reconfigurable On-Board Satellite System},
  booktitle = { Proceedings of 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012)},
  author = {Tarasyuk, Anton and Pereverzeva, Inna and Troubitsyna, Elena and Latvala, Timo and Nummila, Laura},
  volume = {7612},
  series = {Lecture Notes in Computer Science},
  editor = {Ortmeier, Frank and Daniel, Peter},
  publisher = {Springer-Verlag Berlin Heidelberg },
  pages = {210–222},
  year = {2012},
  keywords = {Formal modelling, fault tolerance, Event-B, refinement, probabilistic verification.},
}

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

Publication Forum rating of this publication: level 1

Edit publication