Share Email Print

Proceedings Paper

Safety enforcement for the verification of autonomous systems
Author(s): Dionisio de Niz; Bjorn Andersson; Gabriel Moreno
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper Abstract

Verifying that the behavior of an autonomous systems is safe is fundamental for safety-critical properties like preventing crashes in autonomous vehicles. Unfortunately, exhaustive verification techniques fail to scale to the size of real-life systems. Moreover, these systems frequently use algorithms whose runtime behavior cannot be determined at design time (e.g., machine learning algorithms). This presents another problem given that these algorithms cannot be verified at design time. Fortunately, a technique known as runtime assurance can be used for these cases. The strategy that runtime assurance uses to verify a system is to add small components (known as enforcers) to the system that monitor its output and evaluate whether the output is safe or not. If the output is safe, then the enforcer lets it pass; if the output is unsafe, the enforcer replaces it with a safe output. For instance, in a drone system that must be restricted to fly within a constrained area (a.k.a. geo-fence) an enforcer can be used to monitor the movement commands to the drone. Then, if a movement command keeps the drone within the geo-fence, the enforcer lets it pass, but if the command takes the drone outside of this area, the enforcer replaces it with a safe command (e.g., hovering). Given that enforcers are small components fully specified at design time, it is possible to use exhaustive verification techniques to prove that they can keep the behavior of the whole system safe (e.g., the drone flying within the geo-fence) even if the system contains unverified code.

Paper Details

Date Published: 3 May 2018
PDF: 10 pages
Proc. SPIE 10643, Autonomous Systems: Sensors, Vehicles, Security, and the Internet of Everything, 1064303 (3 May 2018); doi: 10.1117/12.2307575
Show Author Affiliations
Dionisio de Niz, Carnegie Mellon Univ. (United States)
Bjorn Andersson, Carnegie Mellon Univ. (United States)
Gabriel Moreno, Carnegie Mellon Univ. (United States)

Published in SPIE Proceedings Vol. 10643:
Autonomous Systems: Sensors, Vehicles, Security, and the Internet of Everything
Michael C. Dudzik; Jennifer C. Ricklin, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?