Tuning permissiveness of active safety monitors for autonomous systems

Abstract : Robots and autonomous systems have become a part of our everyday life, therefore guaranteeing their safety is crucial. Among the possible ways to do so, monitoring is widely used, but few methods exist to systematically generate safety rules to implement such monitors. Particularly, building safety monitors that do not constrain excessively the system's ability to perform its tasks is necessary as those systems operate with few human interventions. We propose in this paper a method to take into account the system's desired tasks in the specification of strategies for monitors and apply it to a case study. We show that we allow more strategies to be found and we facilitate the reasoning about the trade-off between safety and availability.
Type de document :
Communication dans un congrès
Nasa Formal Methods, Apr 2018, Newport News, United States. 2018
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.laas.fr/hal-01637277
Contributeur : Lola Masson <>
Soumis le : jeudi 1 février 2018 - 16:33:25
Dernière modification le : mardi 11 septembre 2018 - 15:19:11
Document(s) archivé(s) le : mercredi 2 mai 2018 - 13:27:57

Fichier

TuningPermissivenessMonitoring...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01637277, version 2

Citation

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, et al.. Tuning permissiveness of active safety monitors for autonomous systems. Nasa Formal Methods, Apr 2018, Newport News, United States. 2018. 〈hal-01637277v2〉

Partager

Métriques

Consultations de la notice

113

Téléchargements de fichiers

81