Prototyping Self-healing Behavior for NASA Swarm-based Systems with ASSL

• Autorzy: Vassev Emil , Hinchey Mike

Identyfikatory

DOI

10.34808/tq2021/25.2/d

• Języki publikacji: EN

Abstrakty

EN

Autonomic computing promises computer systems capable of self-management, which augurs great promise for unmanned spacecraft. Such spacecraft are extremely appropriate for deep space exploration missions because the former bring onboard intelligence and less reliance on control links. The Autonomic System Specification Language (ASSL) is a framework for developing autonomic systems. As part of our research on ASSL, we have successfully specified autonomic properties, verified their consistency, and generated implementation for both the NASA ANTS (Autonomous Nano-Technology Swarm) concept mission and the NASA Voyager mission. This paper presents concrete results on the use of ASSL to develop a self-healing behavior model for NASA ANTS swarm-based exploration missions. Here, we present specification and implementation results. Moreover, we experiment with the ASSL-generated code to demonstrate that the implemented ANTS system is capable of self-management in respect of the specified self-healing model.

Słowa kluczowe

EN

intelligent swarms; formal methods; autonomic computing; ASSL; ANTS

PL

inteligentne roje; metody formalne; obliczenia autonomiczne; ASSL; ANTS

• Wydawca: Politechnika Gdańska
• Czasopismo: TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk
• Rocznik: 2021
• Tom: Vol. 25, No 2
• Strony: 203--231
• Opis fizyczny: Bibliogr. 20 poz., rys., tab.

Twórcy

autor

Vassev Emil

• Lero, the Science Foundation Ireland Centre for Software, University of Limerick, Ireland

autor

Hinchey Mike

• Lero, the Science Foundation Ireland Centre for Software, University of Limerick, Ireland

Bibliografia

• [1] IBM Corporation 2006 An Architectural Blueprint for Autonomic Computing (4h ed.), White paper
• [2] Horn P 2001 Autonomic Computing: IBM’s Perspective on the State of Information Technology, Proceedings of the IEEE, IBM T. J. Watson Laboratory
• [3] Murch R 2004 Autonomic Computing: On Demand Series, Proceedings of the IEEE, IBM Press
• [4] Vassev E 2008 Towards a Framework for Specification and Code Generation of Autonomic Systems - Ph.D Thesis, Department of Computer Science and Software Engineering, Concordia University
• [5] Vassev E 2009 ASSL: Autonomic System Specification Language - A Framework for Specification and Code Generation of Autonomic Systems, LAP Lambert Academic Publishing
• [6] Vassev E and Hinchey M 2009 ASSL: A Software Engineering Approach to Autonomic Computing, IEEE Computer 42 (6) 106
• [7] Vassev E, Hinchey M and Paquet J 2008 A Self-Scheduling Model for NASA Swarm-Based Exploration Missions using ASSL, Proc. of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe’08) IEEE Computer Society Press 54
• [8] Vassev E, Hinchey M and Paquet J 2008 Towards an ASSL Specification Model for NASA Swarm-Based Exploration Missions, Proc. of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008) - AC Track, ACM 1652
• [9] Vassev E and Hinchey M 2009 Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL, Proc. of the 3rd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT’09) IEEE Computer Society 246
• [10] Vassev E and Mokhov S A 2009 Self-Optimization Property in Autonomic Specification of Distributed MARF with ASSL, Proc. of the 4th International Conference on Software and Data Technologies (ICSOFT 2009), INSTICC, 1 331
• [11] Mokhov S A and Vassev E 2009 Autonomic Specification of Self-Protection for Distributed MARF with ASSL, Proc. of C* Conference on Computer Science Software Engineering (C3S2E ’09), ACM 175
• [12] Truszkowski W, Hinchey M, Rash J and Rouff C 2004 NASA’s swarm missions: The challenge of building autonomous software, IT Professional 6 (5) 47
• [13] Hinchey M, Rash J, Truszkowski W, Rouff C and Sterritt R 2005 Autonomous and Autonomic Swarms, Proc. of 8th Biennial Conference on Real Time in Sweden (RTiS) 65
• [14] Curtis S A et al. 2000 ANTS (Autonomous Nano-Technology Swarm): An Artificial Intelligence Approach to Asteroid Belt Resource Exploration, Proc. of the 51st Congress of International Astronautical Federation, International Astronautical Federation
• [15] Hinchey M, Dai Y, Rash J, Truszkowski W and Madhusoodan M 2007 Bionic Autonomic Nervous System and Self-healing for NASA ANTS-like Missions, Proc. of the 2007 ACM Symposium on Applied Computing (SAC 2007) 90
• [16] Rouff C A, Hinchey M G, Rash J L and Truszkowski W F 2005 Towards a Hybrid Formal Method for Swarm-Based Exploration Missions, Proc. of the 29th Annual IEEE/NASA Software Engineering Workshop (SEW2005) 253
• [17] Bonabeau E and Threraulaz G 2000 Swarm smarts, Scientific American 72
• [18] Hinchey M, Rash J and Rouff C 2005 Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation, Technical Report TM-2005-212774, NASA Goddard Space Flight Center
• [19] IBM Tivoli 2005 Autonomic Computing Policy Language (Tutorial), IBM Corporation
• [20] Agrawal D et al. 2005 Autonomic Computing Expressing Language (Tutorial), IBM Corporation

Uwagi

PL

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2021).