Next generation system and software architectures: Challenges from future NASA exploration missions

The four key objective properties of a system that are required of it in order for it to qualify as "autonomic" are now well-accepted--self-configuring, self-healing, self-protecting, and self-optimizing--together with the attribute properties--viz, self-aware, environment-aware, self-monitoring and self-adjusting. This paper describes the need for next generation system software architectures, where components are agents, rather than objects masquerading as agents, and where support is provided for self-* properties (both existing self-chop and emerging self-* properties). These are discussed as exhibited in NASA missions, and in particular with reference to a NASA concept mission, ANTS, which is illustrative of future NASA exploration missions based on the technology of intelligent swarms.

[1]  Roy Sterritt,et al.  Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? , 2004, FAABS.

[2]  Walter Truszkowski,et al.  Experiences applying formal approaches in the development of swarm-based space exploration systems , 2006, International Journal on Software Tools for Technology Transfer.

[3]  M.G. Hinchey,et al.  Autonomous and autonomic systems: a paradigm for future space exploration missions , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[4]  Christopher A. Rouff,et al.  Formal Methods at NASA Goddard Space Flight Center , 2006 .

[5]  Pamela Elizabeth Clark,et al.  ANTS for Human Exploration and Development of Space , 2003, 2003 IEEE Aerospace Conference Proceedings (Cat. No.03TH8652).

[6]  Roy Sterritt,et al.  Self*- Properties in NASA Mission , 2005, Software Engineering Research and Practice.

[7]  Walter Truszkowski,et al.  Asteroid exploration with autonomic systems , 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

[8]  Roy Sterritt,et al.  Engineering ultimate self-protection in autonomic agents for space exploration missions , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[9]  Rob Sherwood,et al.  Flight Validation of On-Demand Operations: The Deep Space One Beacon Monitor Operations Experiment , 1999 .

[10]  Roy Sterritt,et al.  Autonomic computing - panacea or poppycock? , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[11]  Roy Sterritt,et al.  Self-* Properties in NASA Missions , 2005 .

[12]  Rajarshi Das,et al.  A multi-agent systems approach to autonomic computing , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[13]  Walter Truszkowski,et al.  NASA's Swarm Missions: The Challenge of Building Autonomous Software , 2004, IT Prof..

[14]  David L. Cohn,et al.  Autonomic Computing , 2003, ISADS.

[15]  Michael Swartwout.  Engineering data summaries for space missions , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[16]  Roy Sterritt,et al.  Why computer-based systems should be autonomic , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[17]  Walter Truszkowski,et al.  Properties of a formal method for prediction of emergent behaviors in swarm-based systems , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[18]  Roy Sterritt,et al.  Pulse monitoring: extending the health-check for the autonomic grid , 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..

[19]  M. Sue,et al.  Beacon Monitor Operations on the Deep Space One Mission , 1998 .

[20]  Rob Sherwood,et al.  Lessons Learned During Implementation and Early Operations of the DS1 Beacon Monitor Experiment , 2000 .

[21]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[22]  Pamela Elizabeth Clark,et al.  ANTS: Applying A New Paradigm for Lunar and Planetary Exploration , 2002 .

[23]  Roy Sterritt,et al.  Towards autonomic computing: effective event management , 2002, 27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings..

[24]  Christopher A. Rouff,et al.  Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering) , 2005 .

[25]  Christopher A. Rouff,et al.  Agent Technology from a Formal Perspective , 2006 .

[26]  Ronald Morrison,et al.  A software architecture approach for structuring autonomic systems , 2005, ACM SIGSOFT Softw. Eng. Notes.