An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL

Authors:
Mike Hinchey;Emil Vassev
Affiliations:
Lero---the Irish Software Engineering Research Center, University of Limerick, Ireland;Concordia University, Montreal, Canada H3G 1M8
Venue:
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
Year:
2008

Citing 5
Cited 0

NASA's Swarm Missions: The Challenge of Building Autonomous Software

IT Professional
Bionic autonomic nervous system and self-healing for NASA ANTS-like missions

Proceedings of the 2007 ACM symposium on Applied computing
ASSL - Autonomic System Specification Language

SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop
Towards an ASSL specification model for NASA swarm-based exploration missions

Proceedings of the 2008 ACM symposium on Applied computing
A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL

EASE '08 Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We assess the effectiveness of using the Autonomic System Specification Language (ASSL) to model ANTS (Autonomous Nano-Technology Swarm), a NASA concept swarm-based exploration mission. In this study, we draw upon our preliminary results of modeling some of the autonomic features of ANTS, to discuss and evaluate the advantages and shortcomings of this approach. Moreover, this paper, which documents the results of that study, identifies challenges and aspects of ANTS that cannot be modeled with ASSL. Therefore, an important contribution of this study is a critical analysis of ASSL as a specification language designed specifically for autonomic systems.