Skip to Main content Skip to Navigation
Conference papers

Case Study Report : Safety rules synthesis for an autonomous robot

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
Complete list of metadatas

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, March 5, 2020 - 2:44:07 PM

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

Share

Metrics

Record views

409

Files downloads

101