Communicating sequential processes
Communicating sequential processes
Parallel program design: a foundation
Parallel program design: a foundation
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
The Vision of Autonomic Computing
Computer
A Multi-Agent Systems Approach to Autonomic Computing
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions
SEW '05 Proceedings of the 29th Annual IEEE/NASA on Software Engineering Workshop
Bionic autonomic nervous system and self-healing for NASA ANTS-like missions
Proceedings of the 2007 ACM symposium on Applied computing
ASSL - Autonomic System Specification Language
SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop
An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
An ASSL-generated architecture for autonomic systems
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Autonomic specification of self-protection for distributed MARF with ASSL
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Towards a formal model of autonomic services based on SelfLets
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Self-management capability requirements with SelfMML & INGENIAS to attain self-organising behaviours
Proceedings of the second international workshop on Self-organizing architectures
Developing intelligent sensor networks: a technological convergence approach
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
Towards a self-forensics property in the ASSL toolset
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Software verification of autonomic systems developed with ASSL
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Transactions on Computational Science XV
Hi-index | 0.00 |
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.