Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Modelling a Fault-Tolerant Dis...

Modelling a Fault-Tolerant Distributed Satellite System

Kashif Javed, Elena Troubitsyna, Modelling a Fault-Tolerant Distributed Satellite System. In: Lasse Berntzen, Katya Toneva, Abdulrahman Yarali (Eds.), The Second International Conference on Advanced Collaborative Networks, Systems and Applications, 35 to 41, IEEE Computer Press, 2012.

Abstract:

Ensuring correctness of a complex distributed and mode-rich collaborative satellite system is a challenging task that requires formal modeling and verification. In this paper, we propose a model of a distributed Attitude and Orbit Control System. Mode transitions in such systems are governed by a sophisticated synchronization procedure. We demonstrate how to model and verify such a procedure in order to ensure mode consistency.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpJaTr12a,
  title = {Modelling a Fault-Tolerant Distributed Satellite System},
  booktitle = {The Second International Conference on Advanced Collaborative Networks, Systems and Applications},
  author = {Javed, Kashif and Troubitsyna, Elena},
  editor = {Berntzen, Lasse and Toneva, Katya and Yarali, Abdulrahman},
  publisher = {IEEE Computer Press},
  pages = {35 to 41},
  year = {2012},
  keywords = {distributed mode-rich systems; satellite software; fault tolerance; synchronization},
}

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

Edit publication