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

Author

Vassev, Emil ; Hinchey, Mike

Author_Institution

Lero-the Irish Software Eng. Res. Center, Univ. Coll. Dublin, Dublin

fYear

2009

fDate

14-16 April 2009

Firstpage

77

Lastpage

86

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

aerospace computing; formal specification; software fault tolerance; ASSL specification; NASA swarm-based exploration missions; NASA swarm-based systems; autonomic system specification language; autonomic systems; code generation; self-healing behavior; Concrete; Conferences; Educational institutions; NASA; Natural languages; Skeleton; Software engineering; Space technology; Space vehicles; Specification languages; assl; autonomic computing; code generation; formal methods; nasa;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Autonomic and Autonomous Systems, 2009. EASe 2009. Sixth IEEE Conference and Workshops on

Conference_Location

San Francisco, CA

Print_ISBN

978-0-7695-3623-1

Type

conf

DOI

10.1109/EASe.2009.12

Filename

4839207