Home // ICONS 2012, The Seventh International Conference on Systems // View article

Designing a Fault-Tolerant Satellite System in SystemC

Authors:
Kashif Javed
Elena Troubitsyna

Keywords: Fault-Tolerance; Mode-Rich Systems; Design; Verification

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

Pages: 49 to 54

Copyright: Copyright (c) IARIA, 2012

Publication date: February 29, 2012

Published in: conference

ISSN: 2308-4243

ISBN: 978-1-61208-184-7

Location: Saint Gilles, Reunion

Dates: from February 29, 2012 to March 5, 2012