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 metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Jérémie Guiochet <>
Submitted on : Thursday, September 22, 2016 - 12:01:56 PM
Last modification on : Thursday, June 10, 2021 - 3:06:23 AM


Files produced by the author(s)


  • HAL Id : hal-01370269, version 1


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⟩



Record views


Files downloads