OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

FDIR architectures for autonomous spacecraft: specification and assessment with event-B

Chaudemar, Jean-Charles and Castel, Charles and Seguin, Christel FDIR architectures for autonomous spacecraft: specification and assessment with event-B. (2008) In: Conference ABZ 2008 , 16-18 Sept 2008, London, United Kingdom .

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/978-3-540-87603-8


On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed and validated. Theirimplementation involves a relevant knowledge of items like functions and architectures of the system, and a fault model in relation with these items. Thus, the event-B method is well suited to correctly specify and validate on-board safety architectures. This paper focuses on the FDIR concept presentation and the use of event-B for formalising and for refining the FDIR concept.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Laboratory name:
Deposited On:26 Nov 2008 14:07

Repository Staff Only: item control page