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.
Document type :
Conference papers
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 2016, Trondheim, Norway
Liste complète des métadonnées

Cited literature [7 references]  Display  Hide  Download

https://hal.laas.fr/hal-01370269
Contributor : Jérémie Guiochet <>
Submitted on : Thursday, September 22, 2016 - 12:01:56 PM
Last modification on : Thursday, January 11, 2018 - 2:05:02 AM

File

11-fast_abtsract_safecomp_mass...
Files produced by the author(s)

Identifiers

  • 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〉

Share

Metrics

Record views

134

Files downloads

45