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), Sep 2016, Trondheim, Norway. 2016
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 : mercredi 20 février 2019 - 10:09:53

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), Sep 2016, Trondheim, Norway. 2016. 〈hal-01370269〉

Partager

Métriques

Consultations de la notice

327

Téléchargements de fichiers

79