OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Z and ProCoSA based specification of a distributed FDIR in a satellite formation

Chaudemar, Jean-Charles and Castel, Charles and Gabard, Jean-François and Tessier, Catherine Z and ProCoSA based specification of a distributed FDIR in a satellite formation. (2007) In: CAR'07 : Second national workshop on Control Architectures of Robots, 31 May - 01 June 2007, Paris, France .

[img] (Document in English)

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

Official URL: http://www-src.lip6.fr/homepages/car2007/


On-board FDIR (Fault Detection, Isolation and Recovery) is contemplated for autonomous satellite formations. Several FDIR strategies have been specified using the Petri net - based software ProCoSA (for the dynamic aspects) on the one hand, and the set theory - based Z specification language (for the static aspects) on the other hand. ProCoSA enables to specify the different state changes triggered by the different events within the formation; Z enables to describe the relations and constraints(invariants) between the state variables. The paper focuses on a global specification including both the dynamic and static aspects, through a formal link between ProCoSA and Z. The link is implemented and allows some properties of the strategies to be checked.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):National 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:22 Apr 2008 12:09

Repository Staff Only: item control page