TY - GEN
T1 - Towards an ASSL specification model for NASA swarm-based exploration missions
AU - Vassev, Emil
AU - Hinchey, Mike
AU - Paquet, Joey
PY - 2008
Y1 - 2008
N2 - NASA swarm-based exploration missions represent a new class of concept missions based on the cooperative nature of a hive culture. A mission of this class requires an autonomic system, comprising a set of autonomous mobile units. The design and implementation of such systems requires specific engineering approaches, including new formal specification methods and techniques. This article presents an introduction to our research towards a formal specification of NASA concept swarm-based missions. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, as part of overall system behavior, which shows that ASSL is a very appropriate language for specifying the autonomic behavior of swarm-based missions. We show how ASSL can be used to specify self-configuring, self-healing, and safety properties of NASA swarm-based missions.
AB - NASA swarm-based exploration missions represent a new class of concept missions based on the cooperative nature of a hive culture. A mission of this class requires an autonomic system, comprising a set of autonomous mobile units. The design and implementation of such systems requires specific engineering approaches, including new formal specification methods and techniques. This article presents an introduction to our research towards a formal specification of NASA concept swarm-based missions. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, as part of overall system behavior, which shows that ASSL is a very appropriate language for specifying the autonomic behavior of swarm-based missions. We show how ASSL can be used to specify self-configuring, self-healing, and safety properties of NASA swarm-based missions.
KW - Autonomic computing
KW - Formal specification language
KW - Swarm missions
UR - http://www.scopus.com/inward/record.url?scp=56749173993&partnerID=8YFLogxK
U2 - 10.1145/1363686.1364079
DO - 10.1145/1363686.1364079
M3 - Conference contribution
AN - SCOPUS:56749173993
SN - 9781595937537
T3 - Proceedings of the ACM Symposium on Applied Computing
SP - 1652
EP - 1657
BT - Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'08
T2 - 23rd Annual ACM Symposium on Applied Computing, SAC'08
Y2 - 16 March 2008 through 20 March 2008
ER -