Case Study Report : Safety rules synthesis for an autonomous robot

Lola Masson 1 Jérémie Guiochet 1 Hélène Waeselynck 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Abstract : This paper presents the process we use to define the safety rules implemented on the safety monitor. This approach is applied to an industrial case study. We first perform a risk analysis. From the list of hazards, we extract safety invariants, which are conditions to be met to preserve the system safety. The invariants are modelled. The safety invariants and available interventions are then combined to create safety rules. To automate this process we developed the SMOF tool.
Type de document :
Communication dans un congrès
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2016, Trondheim, Norway
Liste complète des métadonnées

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

https://hal.laas.fr/hal-01370269
Contributeur : Jérémie Guiochet <>
Soumis le : jeudi 22 septembre 2016 - 12:01:56
Dernière modification le : vendredi 26 octobre 2018 - 10:34:23

Fichier

11-fast_abtsract_safecomp_mass...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01370269, version 1

Citation

Lola Masson, Jérémie Guiochet, Hélène Waeselynck. Case Study Report : Safety rules synthesis for an autonomous robot. Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2016, Trondheim, Norway. 〈hal-01370269〉

Partager

Métriques

Consultations de la notice

244

Téléchargements de fichiers

75