TY - GEN
T1 - A formal specification of fault-tolerance in prospecting asteroid mission with reactive autonomic systems framework
AU - Kuang, Heng
AU - Ormandjieva, Olga
AU - Klasa, Stan
AU - Bentahar, Jamal
PY - 2010
Y1 - 2010
N2 - 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 Autonomic Systems Framework.
AB - 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 Autonomic Systems Framework.
UR - http://www.scopus.com/inward/record.url?scp=77955865445&partnerID=8YFLogxK
U2 - 10.1109/ASAP.2010.5540769
DO - 10.1109/ASAP.2010.5540769
M3 - Conference contribution
AN - SCOPUS:77955865445
SN - 9781424469673
T3 - Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors
SP - 99
EP - 106
BT - ASAP 10 - 21st IEEE International Conference on Application-Specific Systems, Architectures and Processors, Conference Proceedings
T2 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2010
Y2 - 7 July 2010 through 9 July 2010
ER -