Home // ICSEA 2012, The Seventh International Conference on Software Engineering Advances // View article


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

Authors:
Kashif Javed
Elena Troubitsyna

Keywords: dynamic reconfiguration; fault tolerance; advanced software for handshake procedure; modeling and verification

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.

Pages: 44 to 49

Copyright: Copyright (c) IARIA, 2012

Publication date: November 18, 2012

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-230-1

Location: Lisbon, Portugal

Dates: from November 18, 2012 to November 23, 2012