Generating Certification Evidence for Autonomous Aerial Vehicles Decision-Making
- 1 January 2021
- journal article
- research article
- Published by American Institute of Aeronautics and Astronautics (AIAA) in Journal of Aerospace Information Systems
- Vol. 18 (1), 3-13
- https://doi.org/10.2514/1.i010848
Abstract
The last 15 years have seen a large uptick in the use of unmanned aircraft. However, the current safety of flight clearances for unmanned aircraft requires a qualified operator who can make decisions and ultimately bear the responsibly for the safe operations of the vehicle. The future of aviation is unmanned, and ultimately autonomous. Yet, a clear path for certifying an autonomous vehicle to make decisions currently reserved for qualified pilots does not exist. This paper presents a preliminary approach for certifying an autonomous controller to select an appropriate landing site for a large rotorcraft in an unprepared landing zone. In particular, this paper will decompose the steps currently used by qualified pilots to the basic requirements to define an envelope where the vehicle will be allowed to operate autonomously while landing. These requirements are the basis for a specification that we examine to ensure it met the requirements. A protocol is developed based on the analyzed specification that will ensure what the vehicle “will not do” while operating autonomously. Finally, we describe how this protocol can be used as the safety of flight evidence, and eventually for clearing an autonomous controller to complete a task reserved for qualified pilots.Keywords
This publication has 47 references indexed in Scilit:
- Love-type wave propagation in a piezoelectric structure with irregularityInternational Journal of Engineering Science, 2015
- Towards Run-time Assurance of Advanced Propulsion AlgorithmsPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2014
- Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and SimulationJournal of Aerospace Information Systems, 2014
- Engines of Desperation: Jet Engines, Production and New Weapons in the Third ReichJournal of Contemporary History, 2013
- Verifying autonomous systemsCommunications of the ACM, 2013
- A systematic review of code generation proposals from state machine specificationsInformation and Software Technology, 2012
- Game-Based Model Checking for Reliable Autonomy in SpaceJournal of Aerospace Information Systems, 2011
- Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road NetworkPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2010
- Run-Time Assurance for Advanced Flight-Critical Control Systems*Published by American Institute of Aeronautics and Astronautics (AIAA) ,2010
- Electronic eyes for the allies: Anglo‐American cooperation on radar development during World War IIHistory and Technology, 2000