Mitglied im:

Anmelden

News

22.04.2015
Mit großer Freude präsentiere ich Ihnen den Jahresbericht des...
16.07.2014
Promotionsvortrag von Dipl.-Wirt.-Inf. Björn Schindler am 21.07.2014 um 13:...
10.06.2014

Promotionsvortrag von M. Sc. Stefan Ruehl am 16.06.2014 um 10:00 Uhr

Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

SSE-AAHR+16

There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamicenvironments, e.g. service robots in hospitals or autonomous cars on highways. Since unforeseensituations may occur in these environments, the verification results obtained with respect to the systemand environment models at design-time might not be transferable to the system behaviour atruntime. For autonomous systems operating in dynamic environments, motion safety is a criticalrequirement. In this work, we present a two phase process in order to address the passive safetyproperty. At the design phase, we exploit UPPAAL to formalize the autonomous system and its environmentas timed automata and the safety property as TCTL formula. After verifying the correctnessof these models with respect to the system’s safety requirement, we build a monitor to check whetherthe assumptions made at design time are also correct at run time. If the current system observationsof the environment do not correspond to the initial system assumptions, the monitor sends feedbackto the system and the system enters a passive safe state.

Journal

Proceedings of the 1st International Workshop on Verification and Validation of Cyber Physical Systems (V2CPS 2016)

Jahr

2016

Ort

Reykjavic, Iceland

Datei

Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments

Bibtex file

Download this publication as bibtex file

Forschungsvideos

16.07.2013
Scribbler: From Coll...
Scribbler is a paint program which supports only basic operations like...