Towards an ASSL specification model for NASA swarm-based exploration missions
- 16 March 2008
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 1652-1657
- https://doi.org/10.1145/1363686.1364079
Abstract
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.Keywords
This publication has 5 references indexed in Scilit:
- Bionic autonomic nervous system and self-healing for NASA ANTS-like missionsPublished by Association for Computing Machinery (ACM) ,2007
- Towards a Hybrid Formal Method for Swarm-Based Exploration MissionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- NASA's swarm missions: the challenge of building autonomous softwareIT Professional, 2004
- The vision of autonomic computingComputer, 2003
- Swarm SmartsScientific American, 2000