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

fYear

2010

fDate

7-9 July 2010

Firstpage

99

Lastpage

106

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Application-specific Systems Architectures and Processors (ASAP), 2010 21st IEEE International Conference on

Conference_Location

Rennes

ISSN

2160-0511

Print_ISBN

978-1-4244-6966-6

Electronic_ISBN

2160-0511

Type

conf

DOI

10.1109/ASAP.2010.5540769

Filename

5540769