Home // COLLA 2012, The Second International Conference on Advanced Collaborative Networks, Systems and Applications // View article

Modelling a Fault-Tolerant Distributed Satellite System

Authors:
Kashif Javed
Elena Troubitsyna

Keywords: distributed mode-rich systems; satellite software; fault tolerance; synchronization

Abstract:
Ensuring correctness of a complex distributed and mode-rich collaborative satellite system is a challenging task that requires formal modeling and verification. In this paper, we propose a model of a distributed Attitude and Orbit Control System. Mode transitions in such systems are governed by a sophisticated synchronization procedure. We demonstrate how to model and verify such a procedure in order to ensure mode consistency.

Pages: 35 to 41

Copyright: Copyright (c) IARIA, 2012

Publication date: June 24, 2012

Published in: conference

ISSN: 2308-4227

ISBN: 978-1-61208-206-6

Location: Venice, Italy

Dates: from June 24, 2012 to June 29, 2012