A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL
- 1 March 2008
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 21681864,p. 54-64
- https://doi.org/10.1109/ease.2008.14
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.Keywords
This publication has 7 references indexed in Scilit:
- ASSL - Autonomic System Specification LanguagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Ten Commandments of Formal Methods ...Ten Years LaterComputer, 2006
- Robust scheduling in team-roboticsJournal of Systems and Software, 2005
- NASA's swarm missions: the challenge of building autonomous softwareIT Professional, 2004
- Reliable real-time cooperation of mobile autonomous systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2001
- Fault-tolerant adaptive scheduling for embedded real-time systemsIEEE Micro, 2001
- A fault-tolerant scheduling problemIEEE Transactions on Software Engineering, 1986