Torens, Christoph and Adolf, Florian-Michael (2014) V&V of Automated Mission Planning for Unmanned Rotorcraft. SCI-274 Workshop on Verification and Validation of Autonomous Systems, 24. - 25. Juni 2014, London, United Kingdom.
Full text not available from this repository.
The DLR Autonomous Research Test-bed for Intelligent Systems platform (ARTIS) comprises a fleet of unmanned research rotorcraft that is used to develop functions for autonomous flight. The mission planning function is an essential part of our research efforts for autonomous mission execution. From high-level task specifications it generates flight trajectories and actions in known and unknown environments. The software decides about constrained sequences of actions and how to avoid obstacles. Automated decision making during flight requires a high degree of software trustworthiness through extensive software verification efforts. But despite all efforts, validation and verification problems arise when trying to fulfill safety standards for UAVs. This is especially true for software standards, such as DO-178B/C. There are multiple challenges: Large workforce requirements, Non-finalized regulations and DAL level requirements for software component certification, High runtime complexity for verification of autonomous behaviour, Balancing efforts for experimental autonomous functions, e.g. for research purposes. Therefore, we discuss our ARTIS validation and verification efforts for a trustworthy decision and control software in order to assure a certain level of DO-178C compliance. The V&V techniques for our automated mission planner are summarized, and a short outlook in advanced methods is provided which may improve verification results and efforts. The test concept also assesses the performance (i.e. approach quality) and thus exceeds assessment of sole functional correctness. This is done using criteria like path derivation, safety distance or real-time limits. Furthermore, our “best practices” are reviewed with respect to the DO-178C standard.
|Document Type:||Conference or Workshop Item (Speech)|
|Title:||V&V of Automated Mission Planning for Unmanned Rotorcraft|
|Date:||24 June 2014|
|Keywords:||Autonomy, DO-178C, validation, verification|
|Event Title:||SCI-274 Workshop on Verification and Validation of Autonomous Systems|
|Event Location:||London, United Kingdom|
|Event Dates:||24. - 25. Juni 2014|
|Organizer:||NATO System Concepts and Integration (SCI) Panel|
|HGF - Research field:||Aeronautics, Space and Transport|
|HGF - Program:||Aeronautics|
|HGF - Program Themes:||fixed-wing aircraft|
|DLR - Research area:||Aeronautics|
|DLR - Program:||L AR - Aircraft Research|
|DLR - Research theme (Project):||L - Simulation and Validation|
|Institutes and Institutions:||Institute of Flight Systems > Unmanned Aircraft|
|Deposited By:||Christoph Torens|
|Deposited On:||21 Aug 2014 11:06|
|Last Modified:||21 Aug 2014 11:06|
Repository Staff Only: item control page