A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL

Authors:
Emil Vassev;Mike Hinchey;Joey Paquet
Affiliations:
-;-;-
Venue:
EASE '08 Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems
Year:
2008

Citing 0
Cited 5

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

ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
An ASSL-generated architecture for autonomic systems

C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Autonomic specification of self-protection for distributed MARF with ASSL

C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems

Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Developing autonomic properties for distributed pattern-recognition systems with ASSL: A Distributed MARF case study

Transactions on Computational Science XV

Quantified Score

Hi-index	0.00

Visualization

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.