Thumbnail Image
Publication

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

Date
2009
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.
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
Proceedings of the 2009 Sixth Conference and Workshops on Engineering of Autonomic and Autonomous Systems;2009
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
2009_Vassev%20E.pdf
Adobe PDF, 656.24 KB
Keywords
autonomic systems, NASA
ULRR Identifiers
https://hdl.handle.net/10344/2102
 https://doi.org/10.34961/9693
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
License
Embedded videos