ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems
- 1 April 2009
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 21681864,p. 77-86
- https://doi.org/10.1109/ease.2009.12
Abstract
The autonomic system specification language (ASSL) is a framework for formally specifying, validating and generating autonomic systems. This paper presents concrete results on the use of ASSL to specify a self-healing behavior model for NASA swarm-based exploration missions and to generate an application skeleton of the same. We present the specification and experiment with the generated code to demonstrate that ASSL generates operational code that is capable of self-management in respect of the specified self-healing model.Keywords
This publication has 4 references indexed in Scilit:
- Towards an ASSL specification model for NASA swarm-based exploration missionsPublished by Association for Computing Machinery (ACM) ,2008
- A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- ASSL - Autonomic System Specification LanguagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- NASA's swarm missions: the challenge of building autonomous softwareIT Professional, 2004