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 .
(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|
|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|
|Deposited On:||22 Apr 2008 12:09|
Repository Staff Only: item control page