Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Case Study in Modeling a Fau...

A Case Study in Modeling a Fault-tolerant Satellite System Through Implementation of Dynamic Reconfiguration via Handshake

Kashif Javed, Elena Troubitsyna, A Case Study in Modeling a Fault-tolerant Satellite System Through Implementation of Dynamic Reconfiguration via Handshake. In: Herwig Mannaert, Luigi Lavazza, Roy Oberhauser, Elena Troubitsyna, Michael Gebhar, Osamu Takaki (Eds.), The Seventh International Conference on Software Engineering Advances, 44 to 49, IEEE Computer Press, 2012.

Abstract:

Fault tolerance of satellite systems is critical for ensuring the success of the space mission. To minimize redundancy of the on-board equipment, the satellite systems should rely on dynamic reconfiguration in case of failures of some of their components. In this paper, modeling and implementation of a handshake procedure has been presented that becomes a crucial part of the dynamic reconfiguration process of a satellite subsystem for data processing. The model for handshake methodology is specialized software for quickly and successfully recovering from the crisis and failure situation of the satellite system.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpJa13a,
  title = {A Case Study in Modeling a Fault-tolerant Satellite System Through Implementation of Dynamic Reconfiguration via Handshake},
  booktitle = {The Seventh International Conference on Software Engineering Advances},
  author = {Javed, Kashif and Troubitsyna, Elena},
  editor = {Mannaert, Herwig and Lavazza, Luigi and Oberhauser, Roy and Troubitsyna, Elena and Gebhar, Michael and Takaki, Osamu},
  publisher = {IEEE Computer Press},
  pages = {44 to 49},
  year = {2012},
  keywords = {dynamic reconfiguration; fault tolerance; advanced software for handshake procedure; modeling and verification},
}

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

Edit publication