menu ☰
menu ˟

ASSL specification and code generation of self-healing behavior for NASA Swarm-Based Systems

Creator:

Vassev, Emil; Hinchey, Mike;

Institution: IEEE Computer Society
Subject Keywords: autonomic systems; NASA;
Region:
Description:

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.

Suggested citation:

Vassev, Emil; Hinchey, Mike; . () ASSL specification and code generation of self-healing behavior for NASA Swarm-Based Systems [Online]. Available from: http://publichealthwell.ie/node/680823 [Accessed: 21st November 2019].

  

View your saved citations and reading lists

Contributor:


 
Click here to view all the resources gathered from this organisation's website.