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

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

Volumn , Issue , 2008, Pages 54-64

  Vassev, Emil ^a   Hinchey, Mike ^b   Paquet, Joey ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

^b LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXPOSURE CONTROLS; MECHANISMS; NASA; SPECIFICATIONS; TECHNOLOGY;

AUTONOMIC SYSTEMS; AUTONOMOUS NANO TECHNOLOGY SWARM; AUTONOMOUS SYSTEMS; ENVIRONMENTAL CONDITIONING; EXPLORATION MISSIONS; FAULT-TOLERANT; HUMAN INTERVENTION; ON THE FLY; SELF-SCHEDULING; TASK DISTRIBUTION; TASK-SCHEDULING;

SCHEDULING;

EID: 50149086994     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EASe.2008.14     Document Type: Conference Paper

References (14)

1. IBM Corporation, "An architectural blueprint for autonomic computing", 4th Edition, White Paper, June 2006.
2. P. Richardson, L. Sieh, A. Elkateeb. "Fault-Tolerant Adaptive Scheduling for Embedded Real-Time Systems", IEEE Micro, Sep-Oct 2001, pp. 41-51.
3. W. Truszkowski, M. Hinchey, J. Rash, and C. Rouff, "NASA's swarm missions: The challenge of building autonomous software", IT Professional, 6(5), Sep-Oct 2004, pp. 47-52.
4. M. Hinchey, J. Rash, W. Truszkowski, C. Rouff, and R. Sterritt, "Autonomous and Autonomic Swarms", Proceedings of 8th Biennial Conference on Real Time in Sweden (RTiS) 2005, Skövde, Sweden, August 2005, SNART (reprinted with permission from SERP 2005), August 2005, pp. 65-73.
5. E. Vassev and J. Paquet, "ASSL - Autonomic System Specification Language", Proceedings of the 31st Annual IEEE/NASA Software Engineering Workshop (SEW-31), Baltimore, MD, USA, 6-8 March 2007, pp. 300-309.
6. E. Vassev, O. Ormandjieva, and J. Paquet. "ASSL Specification of Reliability Self-Assessment in the AS-TRM". Proceedings of the 2nd International Conference on Software and Data Technologies (ICSOFT 2007), Barcelona, Spain, July 2007, pp. 198-206.
7. O. Ormandjieva and E. Vassev. "ASSL Specification of a Self-Scheduling Mechanism in Team-Robotics Modeled with the AS-TRM", System and Information Sciences Notes, Volume 2 (1), 2007, pp. 132-137.
8. A. Liestman and R. Campbell, "A fault-tolerant scheduling problem", IEEE Trans. Software Eng., 12(11), November 1986, pp. 1089-1095.
9. H Tianfield, "Multi-agent autonomic architecture and its application in e-medicine", Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology, 2003, pp. 601-604.
10. L. Becker, E Nett, D. Dchemmer and M. Gergeleit, "Robust Scheduling in Team Robotics", Journal of Systems and Software, Volume 77, 2005, pp. 3-26.
11. P. Richardson, L. Sieh, A. Elkateeb, "Fault-Tolerant Adaptive Scheduling for Embedded Real-Time Systems", IEEE Micro, Sep-Oct 2001, pp. 41-51.
12. S. Schemmer, E. Nett, M. Mock, "Reliable Real-Time Cooperation of Mobile Autonomous Systems", Proceedings of SRDS, 2001, pp. 238-246.
13. D. S. Weld, "Recent advances in AI planning". AI Magazine, 20(2), 1999, pp.93-123.
14. J. P. Bowen and M. G. Hinchey, "Ten commandments of formal methods... ten years later", Computer, Volume 39, Issue 1, January 2006, pp. 40-48.