Certification and Software Verification Considerations for Autonomous Unmanned Aircraft

Software verification for highly automatic unmanned aerial vehicles is not only a problem itself, it is furthermore constrained by certification standards and regulatory rules. These, however, are themselves still under development. As a top-level view, the current status of unmanned aerial vehicle verification, certification, and regulation is addressed and corresponding challenges are discussed. From a low-level view, this work presents the processes and tools that were established for the software development, verification, and validation of the unmanned rotorcraft software testbed ARTIS. Large efforts have been put into the software verification process to cope with the growing complexity of the autonomous system and the validation of the software behavior. Automated tests drive the development of the mission planning, mission management, and sensor fusion systems. High-level behavior is tested by complex simulation scenarios. To connect the aforementioned top- and low-level views, a comparison betwee...

[1]  Bernhard Rumpe,et al.  Modellierung mit UML - Sprache, Konzepte und Methodik , 2004, Xpert.press.

[2]  Dewi Daniels Are we there yet? A Practitioner's View of DO-178C/ED-12C , 2011, SSS.

[3]  Tim Menzies,et al.  Verification and Validation and Artificial Intelligence , 2005, Adv. Comput..

[4]  Franz Andert,et al.  An Unmanned Helicopter for Autonomous Flights in Urban Terrain , 2009 .

[5]  Eric N. Johnson,et al.  Multi-sensor navigation system for an autonomous helicopter , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[6]  Bernard Mettler,et al.  Benchmarking of obstacle field navigation algorithms for autonomous helicopters , 2010 .

[7]  J. Schumann,et al.  Autonomy Software: V& V Challenges and Characteristics , 2006, 2006 IEEE Aerospace Conference.

[8]  Franz Andert,et al.  Online world modeling and path planning for an unmanned helicopter , 2009, Auton. Robots.

[9]  Florian Adolf Multi-Query Path Planning for Exploration Tasks with an Unmanned Rotorcraft , 2012, Infotech@Aerospace.

[10]  George N. Szatkowski,et al.  Preliminary Considerations for Classifying Hazards of Unmanned Aircraft Systems , 2007 .

[11]  Heiko Hirschmüller,et al.  Meshing and Simplification of High Resolution Urban Surface Data for UAV Path Planning , 2011, J. Intell. Robotic Syst..

[12]  Anthony J. Calise,et al.  Adaptive Output Feedback for High-Bandwidth Control of an Unmanned Helicopter , 2001 .

[13]  Steven H. VanderLeest,et al.  Escape the waterfall: Agile for aerospace , 2009, 2009 IEEE/AIAA 28th Digital Avionics Systems Conference.

[14]  Florian-Michael Adolf,et al.  Behavior-based High Level Control of a VTOL UAV , 2009 .

[15]  Cmmi Product Team CMMI for Systems Engineering/Software Engineering/Integrated Product and Process Development, Version 1.1, Staged Representation (CMMI-SE/SW/IPPD, V1.1, Staged) , 2001 .

[16]  Timothy G. Trucano,et al.  Verification and validation. , 2005 .

[17]  Michael Fisher,et al.  Model Checking and the Certification of Autonomous Unmanned Aircraft Systems , 2011 .

[18]  Stephen A. Jacklin Certification of Safety-Critical Software Under DO-178C and DO-278A , 2012, Infotech@Aerospace.

[19]  Karen Gundy-Burlet Validation and Verification of LADEE Models and Software , 2013 .

[20]  Hyochoong Bang,et al.  A Small Scale Rotor UAV Autonomous Flight Control System Design and Verification , 2007 .

[21]  Andrew J. Kornecki,et al.  Certification of software for real-time safety-critical systems: state of the art , 2009, Innovations in Systems and Software Engineering.

[22]  Cyrille Comar,et al.  Certification of Object Oriented Programs , 2007 .

[23]  James M. Urnes,et al.  Software V&V Challenges for Uninhabited Autonomous Air Vehicles , 2004 .

[24]  Johann Schumann,et al.  Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software , 2004 .

[25]  Florian-Michael Adolf,et al.  A Decoupled Approach for Trajectory Generation for an Unmanned Rotorcraft , 2011 .

[26]  Sven Lorenz Adaptive Regelung zur Flugbereichserweiterung des Technologiedemonstrators ARTIS , 2010 .

[27]  Frank Thielecke,et al.  Intelligent Systems Research Using a Small Autonomous Rotorcraft , 2003 .

[28]  Marco Pacino,et al.  A STANAG 4586 Oriented Approach to UAS Navigation , 2013, J. Intell. Robotic Syst..

[29]  Michael Fisher,et al.  Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation , 2012, Infotech@Aerospace.

[30]  Franz Andert,et al.  Rapid Multi-Query Path Planning For A Vertical Take-Off and Landing Unmanned Aerial Vehicle , 2011, J. Aerosp. Comput. Inf. Commun..

[31]  Eric N. Johnson,et al.  Modeling, Control, and Flight Testing of a Small Ducted-Fan Aircraft , 2005 .

[32]  Florian Holzapfel,et al.  Nichtlineare adaptive Regelung eines unbemannten Fluggerätes , 2004 .

[33]  Eric N. Johnson,et al.  Development and Test of Highly Autonomous Unmanned Aerial Vehicles , 2004, J. Aerosp. Comput. Inf. Commun..

[34]  Eric N. Johnson,et al.  FEEDBACK LINEARIZATION WITH NEURAL NETWORK AUGMENTATION APPLIED TO X-33 ATTITUDE CONTROL , 2000 .