A self-scheduling model for NASA swarm-based exploration missions using ASSL

Emil Vassev, Mike Hinchey, Joey Paquet

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

This article presents our research towards a self-scheduling mechanism for the NASA swarm-based exploration missions. By its virtue, ANTS (Autonomous Nano Technology Swarm) is considered to be an autonomic system with autonomic behavior that constitutes a self-scheduling mechanism, thus allowing task distribution on the fly with no human intervention. The goal of this work is to investigate a possible self-scheduling mechanism for ANTS, in accordance with the system and environmental conditions. In this paper, a formal task-scheduling approach is presented, and the ANTS self-scheduling behavior is modeled and specified with ASSL (Autonomic System Specification Language), where the group and individual tasks are structured in the fashion of TAFT (Time Aware Fault-Tolerant). TAFT is a recently devised approach that applies tolerance to timing violations.

Original languageEnglish
Title of host publicationProceedings of the 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008
Pages54-64
Number of pages11
DOIs
Publication statusPublished - 2008
Externally publishedYes
Event5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008 - Belfast, Ireland
Duration: 31 Mar 20084 Apr 2008

Publication series

NameProceedings of the 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008

Conference

Conference5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008
Country/TerritoryIreland
CityBelfast
Period31/03/084/04/08

Fingerprint

Dive into the research topics of 'A self-scheduling model for NASA swarm-based exploration missions using ASSL'. Together they form a unique fingerprint.

Cite this