Veres, S., McAree, O. and Aitken, J. (2016) On the complexity of formal verification of small and micro UAS. In: Proceedings of the European Control Conference 2016. European Control Conference, 29 Jun - 01 Jul 2016, Aalborg, Denmark.
Abstract
The problem of verifying autonomous operations of UAS engineering systems in various type of environments such as enclosed areas, congested areas, over countryside under 400ft and in national airspace are considered. The models proposed are general enough to be applicable to most practical autonomous UAS and their subsystems. Due to the complexity of modelling and verifying a physical UAS, including experimentation in flight, the problem is splits into parts of functional verification of autopilot control systems, verification of environmental perception, situational awareness, verification of goal oriented decision making of AUAS and also verifying all distributed software onboard for functional correctness. The paper examines the possibilities of functional verification for each part and identifies gaps where new techniques can be useful. The paper concludes that the complete task of probabilistic verification of a UAS is well within the capabilities of today’s computing resources and could be potentially applicable in certification procedures by civil aviation authorities.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2016 EEC |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield) |
Funding Information: | Funder Grant number ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC) EP/J011843/1 ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC) EP/L024942/1 |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 02 Sep 2016 11:53 |
Last Modified: | 19 Dec 2022 13:34 |
Status: | Published |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:103159 |