ASSL specification and code generation of self-healing behavior for NASA swarm-based systems

Emil Vassev, Mike Hinchey

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publication6th IEEE International Conference and Workshop on the Engineering of Autonomic and Autonomous Systems, EASe 2009
Pages77-86
Number of pages10
DOIs
Publication statusPublished - 2009
Event6th IEEE International Conference and Workshop on the Engineering of Autonomic and Autonomous Systems, EASe 2009 - San Francisco, CA, United States
Duration: 14 Apr 200916 Apr 2009

Publication series

NameProceedings - 6th IEEE International Conference and Workshop on the Engineering of Autonomic and Autonomous Systems, EASe 2009

Conference

Conference6th IEEE International Conference and Workshop on the Engineering of Autonomic and Autonomous Systems, EASe 2009
Country/TerritoryUnited States
CitySan Francisco, CA
Period14/04/0916/04/09

Fingerprint

Dive into the research topics of 'ASSL specification and code generation of self-healing behavior for NASA swarm-based systems'. Together they form a unique fingerprint.

Cite this