Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Implementation and Verificatio...

Implementation and Verification of the Proposed Satellite System Model for Fault Tolerance

Kashif Javed, Elena Troubitsyna, Implementation and Verification of the Proposed Satellite System Model for Fault Tolerance. TUCS Technical Reports 1021, Turku Centre for Computer Science, 2011.

Abstract:

The software employed to control processing and working of attitude and
orbit of an satellite is extremely vital for ensuring timely completion of its planned tasks in an accurate manner. Many researchers have already done
very useful work in this direction by managing various components, modes,
unit states and controller mode transitions. The mechanism of error checking and correction is essentially required to avoid any disastrous behavior of the system. This research work has particularly focused on fault-tolerance procedures and their verification using SystemC that is easily translated in Promela for model checking through SPIN. Verification of the steps pertaining to forward mode transition, backward mode transition errors (both unit branch state transition errors and controller phase transition errors), and unit reconfiguration has been presented and discussed in order to ensure continuous monitoring and handling errors in accordance with the rules defined in fault-tolerance.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tJaTr11a,
  title = {Implementation and Verification of the Proposed Satellite System Model for Fault Tolerance},
  author = {Javed, Kashif and Troubitsyna, Elena},
  number = {1021},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2011},
  keywords = {Fault-Tolerant, Mode-Rich Systems, Design, Verification},
  ISBN = {978-952-12-2650-2},
}

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

Edit publication