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|
|Institution:|| Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE|
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA
|Deposited By:||jc Chaudemar|
Repository Staff Only: item control page