Monitor-Centric Mission Definition with Sophrosyne - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Monitor-Centric Mission Definition with Sophrosyne

Louis Viard
  • Fonction : Auteur
  • PersonId : 1049845
Laurent Ciarletta

Résumé

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 be- haviours definition as part of the specification of missions. A simple geofence-related case study showcases how Sophrosyne eases the management of tangled fallbacks.
Fichier non déposé

Dates et versions

hal-02170193 , version 1 (01-07-2019)

Identifiants

  • HAL Id : hal-02170193 , version 1

Citer

Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau. Monitor-Centric Mission Definition with Sophrosyne. ICUAS -2019 International Conference on Unmanned Aircraft Systems, Jun 2019, Atlanta, United States. ⟨hal-02170193⟩
125 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More