Where academic tradition
meets the exciting future

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

Ensuring Mode Consistency for a Complex Fault-Tolerant Distributed Satellite System

Kashif Javed, Elena Troubitsyna, Ensuring Mode Consistency for a Complex Fault-Tolerant Distributed Satellite System. TUCS Technical Reports 1040, Turku Centre for Computer Science, 2012.

Abstract:

Distributed Attitude and Orbit Control System (DAOCS) of the satellite has a complex architecture. There is an essential requirement to ensure error-free operation of the satellite system. Formal modeling and verification can ascertain correct behavior and functioning of various components. This technical report presents a proposed model of a DAOCS. A synchronization and coordination mechanism has been incorporated to deal with mode transitions. The implementation of modeling and verification procedure has exhibited roper working of mode transitions while maintaining required consistency in the system.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tJaTr12a,
  title = {Ensuring Mode Consistency for a Complex Fault-Tolerant Distributed Satellite System},
  author = {Javed, Kashif and Troubitsyna, Elena},
  number = {1040},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2012},
  keywords = {Distributed mode-rich satellite systems; fault-tolerant systems; syncronization software; and mode consistency},
  ISBN = {978-952-12-2721-9},
}

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

Edit publication