Towards Generic Requirements and Models for Automated Mission Tasks with RPAS

This work proposes an approach to create a set of generic mission automation requirements as well as a generic execution model for unmanned aircraft. Even at the highest requirement level, regulations for unmanned aircraft are dissimilar across different countries and thus regulation still comprises lack of requirements. Due to the comparably young domain of todays unmanned vehicles, the scientific and commercial communities have difficulties to define adequate safety requirements and system requirements. This is especially the case for highly automated software functions. There is no straightforward transition from existing automation in manned aviation’s pilot assistance systems into a timely and spatially contained autonomous function. Additionally pilot abilities must be transformed into software functions. However, for unmanned aircraft certification with today’s standards the corresponding validation and verification activities are expected to require a lot of resource intensive software activities like manual inspection efforts. To support requirement validation at early development stages with respect to acceptability, we present an approach that is based on a generic autonomous systems taxonomy of capabilities. Therefore, we propose a shared set of generic high-level requirements as well as a generic mission execution model for automated mission task elements that can be performed by many types of unmanned aircraft. This way, our approach tries to support the unmanned aircraft community by a common understanding of unmanned aircraft capabilities by using existing inherited terms and concepts. Moreover, the derived requirements and models are meant to facilitate the design of automated functions that are already in use by academia and industry research today.

[1]  Hui-Min Huang,et al.  Autonomy Levels For Unmanned Systems (ALFUS) framework, volume I :: terminology version 2.1 , 2008 .

[2]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..

[3]  Farid Kendoul,et al.  Survey of advances in guidance, navigation, and control of unmanned rotorcraft systems , 2012, J. Field Robotics.

[4]  Carme Quer,et al.  PABRE: Pattern-based Requirements Elicitation , 2009, 2009 Third International Conference on Research Challenges in Information Science.

[5]  Farid Kendoul,et al.  Towards a Unified Framework for UAS Autonomy and Technology Readiness Assessment (ATRA) , 2013 .

[6]  Catholijn M. Jonker,et al.  Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods , 2003, Knowledge and Information Systems.

[7]  Florian-Michael Adolf,et al.  Formal Requirements and Model-Checking for V&V Automation of a RPAS Mission Management System , 2015 .

[8]  Jaejoon Lee,et al.  Incorporating certification in feature modelling of an unmanned aerial vehicle product line , 2012, SPLC '12.

[9]  Michael Jackson,et al.  Problem frames and software engineering , 2005, Expert Syst. J. Knowl. Eng..

[10]  Daniela E. Damian,et al.  Specification of Bahavioural Requirements within Compositional Multi-agent System Design , 1999, MAAMAW.

[11]  James S. Albus,et al.  Autonomy Levels For Unmanned Systems (ALFUS) framework, volume II :: framework models version 1.0 , 2007 .

[12]  Stacey D. Scott,et al.  Generating Requirements for Futuristic Hetrogenous Unmanned Systems , 2006 .

[13]  Temesghen Kahsai,et al.  Verifying the Safety of a Flight-Critical System , 2015, FM.