论文信息 - ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems

ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems

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.

Emil Vassev | Mike Hinchey | M. Hinchey | Emil Vassev

[1] Michael G. Hinchey,et al. Towards an ASSL specification model for NASA swarm-based exploration missions , 2008, SAC '08.

[2] Joey Paquet,et al. A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL , 2008, Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (ease 2008).

[3] Joey Paquet,et al. ASSL - Autonomic System Specification Language , 2007, 31st IEEE Software Engineering Workshop (SEW 2007).

[4] David Sinreich,et al. An architectural blueprint for autonomic computing , 2006 .

[5] Walter Truszkowski,et al. NASA's Swarm Missions: The Challenge of Building Autonomous Software , 2004, IT Prof..

[6] Joey Paquet,et al. Towards a framework for specification and code generation of automatic systems , 2008 .