University of Limerick
Vassev_2021_Prototyping.pdf (406.17 kB)

Prototyping self-healing behavior for NASA swarm-based systems with ASSL

Download (406.17 kB)
journal contribution
posted on 2024-03-20, 16:42 authored by Emil VassevEmil Vassev, MICHAEL HINCHEYMICHAEL HINCHEY

Autonomic computing promises computer systems capable of self-management, which augurs great promise for unmanned spacecraft. Such spacecraft are extremely appropriate for deep space exploration missions because the former bring onboard intelligence and less reliance on control links. The Autonomic System Specification Language (ASSL) is a framework for developing autonomic systems. As part of our research on ASSL, we have successfully specified a utonomic p roperties, v erified th eir co nsistency, an d ge nerated im plementation for both the NASA ANTS (Autonomous Nano-Technology Swarm) concept mission and the NASA Voyager mission. This paper presents concrete results on the use of ASSL to develop a self-healing behavior model for NASA ANTS swarm-based exploration missions. Here, we present specification a nd i mplementation r esults. M oreover, w e e xperiment w ith t he ASSL-generated code to demonstrate that the implemented ANTS system is capable of self-management in respect of the specified self-healing model.


Lero_Phase 2

Science Foundation Ireland

Find out more...



Task Quarterly, 2021, 25 (2)

Also affiliated with

  • LERO - The Science Foundation Ireland Research Centre for Software

Usage metrics

    University of Limerick


    Ref. manager