Autonomy requirements engineering

The development of unmanned space exploration missions is closely related to integration and promotion of autonomy in robotic spacecraft. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome. Nowadays, requirements engineering for autonomous systems appears to be a wide open research area with no definitive solution yet. This paper presents an approach to Autonomy Requirements Engineering where Goal-Oriented Requirements Engineering is merged with special Generic Autonomy Requirements. To provide a solution to the domain of space missions, the Generic Autonomy Requirements are put in the context of space missions. Further, the approach is applied to a case study based on the ESA's BepiColombo Mission where mission's autonomy requirements are elicited.

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

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

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

[4]  Stefano Mottola,et al.  European Planetary Science Congress 2006 , 2008 .

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

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

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

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

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