Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Next generation system and software architectures challenges from future NASA exploration missions
Science of Computer Programming - Special issue on quality system and software architectures
Journal of Integrated Design & Process Science
Bionic autonomic nervous system and self-healing for NASA ANTS-like missions
Proceedings of the 2007 ACM symposium on Applied computing
Some Verification Issues at NASA Goddard Space Flight Center
Verified Software: Theories, Tools, Experiments
Using risk analysis to evaluate design alternatives
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
Software and Systems Modeling (SoSyM)
Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards formal specification and generation of autonomic policies
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
| Hi-index | 0.00 |
More and more, the National Aeronautics and Space Administration (NASA) will rely on concepts from autonomous systems not only in mission control centers on the ground, but also on spacecraft and on rovers and other space assets on extraterrestrial bodies. Autonomy facilitates not only reduced operations costs, but also adaptable goal-driven functionality of mission systems. Space missions lacking autonomy will be unable to achieve the full range of advanced mission objectives, given that human control under dynamic environmental conditions will not be feasible due, in part, to the unavoidably high signal propagation latency and constrained data rates of mission communications links. While autonomy supports cost-effective accomplishment of mission goals, autonomicity supports survivability of remote mission assets, especially when tending by humans is not feasible. In principle, the properties of autonomic systems may enable space missions of a higher order than any previously flown. Analysis of two NASA agent-based systems previously prototyped, and of a proposed future mission involving numerous cooperating spacecraft, illustrates how autonomous and autonomic system concepts may be brought to bear on future space missions