Autonomy Requirements Engineering for Space Missions

Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today. This book discusses the Autonomy Requirements Engineering (ARE) approach, intended to help software engineers properly elicit, express, verify, and validate autonomy requirements. Moreover, a comprehensive state-of-the-art of software engineering for aerospace is presented to outline the problems handled by ARE along with a proof-of-concept case study on the ESA's BepiColombo Mission demonstrating the AREs ability to handle autonomy requirements.

[1]  Simon A. Dobson,et al.  An ASSL Approach to Handling Uncertainty in Self-adaptive Systems , 2011, 2011 IEEE 34th Software Engineering Workshop.

[2]  Mauro Novara,et al.  The BepiColombo ESA cornerstone mission to Mercury , 2002 .

[3]  Stephan Merz,et al.  Model Checking , 2000 .

[4]  Laura L. Pullum,et al.  Guidance for the Verification and Validation of Neural Networks: Pullum/Guidance for the Verification and Validation of Neural Networks , 2015 .

[5]  Ron Wilson,et al.  Adaptive Motion Planning Approaches for Small UAV Flight , 2012, Infotech@Aerospace.

[6]  Hiroshi Yamakawa,et al.  Current status of the BepiColombo/MMO spacecraft design , 2002 .

[7]  Robi Malik,et al.  Seven abstraction rules preserving generalised nonblocking , 2009 .

[8]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[9]  Janis A. Bubenko,et al.  Facilitating "fuzzy to formal" requirements modelling , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

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

[11]  Emil Vassev.  ASSL: Autonomic System Specification Language -- A Framework for Specification and Code Generation o , 2009 .

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

[13]  Brian A. Nixon,et al.  Dealing with performance requirements during the development of information systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[14]  Stephen Fickas,et al.  PC-RE: a method for personal and contextual requirements engineering with some experience , 2006, Requirements Engineering.

[15]  Azad M. Madni.  Agiletecting™: a Principled Approach to Introducing Agility in Systems Engineering and Product Development Enterprises , 2008, Trans. SDPS.

[16]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[17]  Michael G. Hinchey,et al.  ASSL: A Software Engineering Approach to Autonomic Computing , 2009, Computer.

[18]  G. F. Williamson,et al.  Software safety and reliability , 1997 .

[19]  Maarten Sierhuis,et al.  NASA's OCA Mirroring System: An Application of Multiagent Systems in Mission Control , 2009, AAMAS 2009.

[20]  K. Sycara,et al.  This Is a Publication of the American Association for Artificial Intelligence Multiagent Systems Multiagent System Issues and Challenges Individual Agent Reasoning Task Allocation Multiagent Planning Recognizing and Resolving Conflicts Managing Communication Modeling Other Agents Managing Resources , 2022 .

[21]  Betty H. C. Cheng,et al.  Research Directions in Requirements Engineering , 2007, Future of Software Engineering (FOSE '07).

[22]  Leonard N. Foner,et al.  Entertaining agents: a sociological case study , 1997, AGENTS '97.

[23]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[24]  Lloyd Wood,et al.  Satellite Constellation Networks , 2003 .

[25]  Roy Sterritt,et al.  Swarm Technology at NASA: Building Resilient Systems , 2012, IT Professional.

[26]  Barbara Hayes-Roth,et al.  An Architecture for Adaptive Intelligent Systems , 1995, Artif. Intell..

[27]  Michael G. Hinchey,et al.  Knowledge Representation for Cognitive Robotic Systems , 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[28]  Bojan Cukic,et al.  Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System , 2003, Self-Stabilizing Systems.

[29]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[30]  Debanjan Ghosh,et al.  Self-healing systems - survey and synthesis , 2007, Decis. Support Syst..

[31]  Michael G. Hinchey,et al.  Awareness in Software-Intensive Systems , 2012, Computer.

[32]  Annie I. Antón,et al.  The use of goals to surface requirements for evolving systems , 1998, Proceedings of the 20th International Conference on Software Engineering.

[33]  Roy Sterritt,et al.  Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems , 2007, NASA Monographs in Systems and Software Engineering.

[34]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[35]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[36]  Colette Rolland,et al.  Guiding Goal Modeling Using Scenarios , 1998, IEEE Trans. Software Eng..

[37]  Michael G. Hinchey,et al.  Towards an ASSL specification model for NASA swarm-based exploration missions , 2008, SAC '08.

[38]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[39]  P. Pandurang Nayak,et al.  Validating the DS-1 Remote Agent Experiment , 1999 .

[40]  Edmund H. Durfee,et al.  Negotiating Task Decomposition and Allocation Using Partial Global Planning , 1989, Distributed Artificial Intelligence.

[41]  Tony Gillespie,et al.  Requirements for Autonomous Unmanned Air Systems Set by Legal Issues , 2010 .

[42]  Bradley R. Schmerl,et al.  Architecture-based self-adaptation in the presence of multiple objectives , 2006, SEAMS '06.

[43]  Charles Pecheur,et al.  Autonomous Control of an In-Situ Propellant Production Plant , 1999 .

[44]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[45]  José F. Ruiz,et al.  An Open Ravenscar Real-Time Kernel for GNAT , 2000, Ada-Europe.

[46]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[47]  Peter Amey,et al.  Correctness By Construction: Better Can Also Be Cheaper , 2002 .

[48]  Rainer Gerlich,et al.  Distributed and Parallel Systems and HOOD 4 , 1995, Ada-Europe.

[49]  Mark Klein,et al.  Experience with performing architecture tradeoff analysis , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[50]  Mehrdad Ehsani,et al.  Aircraft power systems: technology, state of the art, and future trends , 2000 .

[51]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[52]  Koen V. Hindriks,et al.  An Agent-Based Cognitive Robot Architecture , 2012, ProMAS.

[53]  Hélène Kirchner,et al.  A Higher-Order Graph Calculus for Autonomic Computing , 2009, Graph Theory, Computational Intelligence and Thought.

[54]  R. Grard.  BepiColombo – A Multidisciplinary Mission to a Hot Planet , 2000 .

[55]  W. N. Robinson,et al.  Integrating multiple specifications using domain goals , 1989, IWSSD '89.

[56]  Martin S. Feather,et al.  Requirements monitoring in dynamic environments , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[57]  Barry W. Boehm,et al.  Applying WinWin to quality requirements: a case study , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[58]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[59]  Mike Hinchey,et al.  Knowledge-Based Self-Adaptation , 2013 .

[60]  Michael G. Hinchey,et al.  The Challenge of Developing Autonomic Systems , 2010, Computer.

[61]  Pattie Maes,et al.  Artificial life meets entertainment: lifelike autonomous agents , 1995, CACM.

[62]  Robi Malik,et al.  A compositional approach for verifying generalised nonblocking , 2009, 2009 IEEE International Conference on Control and Automation.

[63]  Azad M. Madni,et al.  Adaptability in Engineered Resilient Systems (ERS) , 2012, Infotech@Aerospace.

[64]  Philippe Massonet,et al.  Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[65]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[66]  Michael G. Hinchey,et al.  Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art , 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[67]  Gregory R. Grant,et al.  Statistical Methods in Bioinformatics , 2001 .

[68]  Heather Goldsby,et al.  Goal-Based Modeling of Dynamically Adaptive System Requirements , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[69]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[70]  Vladan Devedzic,et al.  A framework for building intelligent manufacturing systems , 1999, IEEE Trans. Syst. Man Cybern. Part C.

[71]  Christel Baier,et al.  Principles of model checking , 2008 .

[72]  Pascal Fradet,et al.  Programming Self-Organizing Systems with the Higher-Order Chemical Language , 2007, Int. J. Unconv. Comput..

[73]  David John Pumfrey,et al.  The principled design of computer system safety analyses , 1999 .

[74]  Karen Zita Haigh,et al.  Xavier: experience with a layered robot architecture , 1997, SGAR.

[75]  L. E. George,et al.  Interplanetary Mission Design Handbook: Earth-to-Mars Mission Opportunities and Mars-to-Earth Return Opportunities 2009-2024 , 1998 .

[76]  Charles Pecheur,et al.  Formal Verification of Autonomy Models , 2006 .

[77]  Barry Kirwan,et al.  A Guide To Task Analysis: The Task Analysis Working Group , 1992 .

[78]  Axel van Lamsweerde,et al.  Handling Obstacles in Goal-Oriented Requirements Engineering , 2000, IEEE Trans. Software Eng..

[79]  Alan Burns,et al.  HRT-HOOD: A structured design method for hard real-time systems , 2005, Real-Time Systems.

[80]  Steven L. Waslander.  Multi-agent systems design for aerospace applications , 2007 .

[81]  Yijun Yu,et al.  Requirements-driven design of autonomic application software , 2016, CASCON.

[82]  Jozef Hooman,et al.  Concurrency Verification: Introduction to Compositional and Noncompositional Methods , 2001, Cambridge Tracts in Theoretical Computer Science.

[83]  Rudolph E. Seviora,et al.  An approach to automatic detection of software failures in real-time systems , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[84]  Martin S. Feather,et al.  A quantitative risk model for early lifecycle decision making , 2002 .

[85]  Emil Vassev,et al.  Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL , 2009, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.

[86]  Roy Sterritt,et al.  You can’t get there from here! Problems and potential solutions in developing new classes of complex computer systems , 2008, 2008 International Multiconference on Computer Science and Information Technology.

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

[88]  Joey Paquet,et al.  Towards a framework for specification and code generation of automatic systems , 2008 .

[89]  Klaus Pohl,et al.  Requirements Elicitation and Validation with Real World Scenes , 1998, IEEE Trans. Software Eng..

[90]  Milind Tambe,et al.  Towards Adjustable Autonomy for the Real World , 2002, J. Artif. Intell. Res..

[91]  W. Ewens,et al.  Stochastic Processes (i): Poisson Processes and Markov Chains , 2001 .

[92]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.

[93]  Mica R. Endsley,et al.  Toward a Theory of Situation Awareness in Dynamic Systems , 1995, Hum. Factors.

[94]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[95]  Rachel Francis.  An implementation of a compositional approach for verifying generalised nonblocking , 2011 .

[96]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[97]  Richard W. Buskens,et al.  Verification of Adaptive Systems , 2012, Infotech@Aerospace.

[98]  Rance Cleaveland,et al.  Using formal specifications to support testing , 2009, CSUR.

[99]  J. Benkhoff.  BepiColombo: Overview and latest updates , 2012 .

[100]  Mikhail Soutchanski,et al.  High-level Robot Programming and Program Execution , 2003 .