Title :
A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework
Author :
Kuang, Heng ; Ormandjieva, Olga ; Klasa, Stan ; Bentahar, Jamal
Author_Institution :
Concordia Univ., Montreal, QC, Canada
Abstract :
The NASA´s Autonomous Nano Technology Swarm (ANTS) is a generic mission architecture consisting of miniaturized, autonomous, self-similar, reconfigurable, and addressable components forming structures. The Prospecting Asteroid Mission (PAM) is one of ANTS applications for survey of large dynamic populations. In this paper, we propose a formal approach based on Category Theory to specify the fault-tolerance property in PAM by Reactive Autonomie Systems Framework.
Keywords :
aerospace robotics; fault tolerance; formal specification; mobile robots; multi-robot systems; autonomous nanotechnology swarm; category theory; fault-tolerance; formal approach; formal specification; prospecting asteroid mission; reactive autonomic systems framework; Automatic testing; Belts; Costs; Fault tolerance; Fault tolerant systems; Formal specifications; Insects; Protection; Redundancy; Space vehicles;
Conference_Titel :
Application-specific Systems Architectures and Processors (ASAP), 2010 21st IEEE International Conference on
Conference_Location :
Rennes
Print_ISBN :
978-1-4244-6966-6
Electronic_ISBN :
2160-0511
DOI :
10.1109/ASAP.2010.5540769
