Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach

Along with the traditional requirements, requirements engineering for autonomous and self-adaptive systems needs to address requirements related to adaptation issues, in particular: (1) what adaptations are possible; (2) under what constrains; and (3) how those adaptations are realized. Note that adaptations arise when a system needs to cope with changes to ensure realization of the system’s objectives. The autonomy requirements engineering approach converts adaptation issues into autonomy features where goal-oriented requirements engineering is used along with a model for generic autonomy requirements. The approach is intended to help engineers develop missions for unmanned exploration, often with limited or no human control.

[1]  Emil Vassev,et al.  Autonomy Requirements Engineering , 2013, Computer.

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

[3]  John P. W. Stark,et al.  Spacecraft systems engineering , 1995 .

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

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

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

[7]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition (Abstract) , 1976, ICSE.

[8]  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.

[9]  Jennifer Seberry,et al.  Fundamentals of Computer Security , 2003, Springer Berlin Heidelberg.

[10]  Michael G. Hinchey,et al.  KnowLang: Knowledge Representation for Self-Adaptive Systems , 2015, Computer.

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

[12]  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.

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

[14]  Michael G. Hinchey,et al.  On the autonomy requirements for space missions , 2013, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013).

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

[16]  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).

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

[18]  Michael G. Hinchey,et al.  Autonomy requirements engineering , 2013, 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).

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

[20]  Michael G. Hinchey,et al.  Autonomy requirements engineering , 2013, 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).