• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Designing a Fault-Tolerant Satellite System in SystemC

Kashif Javed, Elena Troubitsyna, Designing a Fault-Tolerant Satellite System in SystemC. In: Hermann Kaindl, Leszek Koszalka, Herwig Mannaert, Marko Jäntti, Petre Dini (Eds.), ICONS 2012, The Seventh International Conference on Systems, 49–54, IEEE Computer Press, 2012.

Abstract:

Designing fault-tolerant satellite systems is a challenging engineering task. Often behavior of satellite systems is structured using notion of modes. Ensuring correctness of mode transitions is vital for guaranteeing safe and fault-tolerant functioning of a satellite. In this paper, we propose an approach to designing fault-tolerant satellite systems in SystemC. We demonstrate how to develop Attitude and Orbit Control System in SystemC and verify its correctness via model checking.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpKashifJaved_ElenaTroubitsyna12a,
  title = {Designing a Fault-Tolerant Satellite System in SystemC},
  booktitle = {ICONS 2012, The Seventh International Conference on Systems},
  author = {Javed, Kashif and Troubitsyna, Elena},
  editor = {Kaindl, Hermann and Koszalka, Leszek and Mannaert, Herwig and Jäntti, Marko and Dini, Petre},
  publisher = {IEEE Computer Press},
  pages = {49–54},
  year = {2012},
  keywords = {Fault-Tolerance; Mode-Rich Systems; Design; Verification},
}

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

Edit publication