ICUAS 2019 Paper Abstract

Close

Paper WeA3.2

Viard, Louis (Université de Lorraine), CIARLETTA, Laurent (Université de Lorraine, Loria), Moreau, Pierre-Etienne (Université de Lorraine, CNRS, LORIA)

Monitor-Centric Mission Definition with Sophrosyne

Scheduled for presentation during the Regular Session "Risk & Reliability" (WeA3), Wednesday, June 12, 2019, 10:20−10:40, Heritage C

2020 International Conference on Unmanned Aircraft Systems (ICUAS), June 11-14, 2019, Athens, Greece

This information is tentative and subject to change. Compiled on February 27, 2020

Keywords Air Vehicle Operations, Reliability of UAS, Fail-Safe Systems

Abstract

The operations of Cyber-Physical Systems -- such as Unmanned Aircrafts -- are drastically evolving. Worked up legislations are enabling new kinds of tasks in complex environments, inducing a change of policy in mission definition. Handling the consequent risks not only calls for verification of both the system and its mission, but it also requires to keep watch on the gap between the real world and the models that were used to get these guarantees. Furthermore, fallback missions ought to be specified to mitigate the occurence of undesired events.

We introduce Sophrosyne, a Domain-Specific Language for CPS operation that integrates monitors and alternative behaviours definition as part of the specification of missions. A simple geofence-related case study showcases how Sophrosyne eases the management of tangled fallbacks.

 

 

All Content © PaperCept, Inc.

This site is protected by copyright and trademark laws under US and International law.
All rights reserved. © 2002-2020 PaperCept, Inc.
Page generated 2020-02-27  17:51:07 PST  Terms of use