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]](http://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png) | (Document in English) PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 254Kb |
Official URL: http://www-src.lip6.fr/homepages/car2007/
Abstract
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 French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA |
| Laboratory name: | |
| Statistics: | download |
| Deposited By: | jc Chaudemar |
Repository Staff Only: item control page
