Case Study Report : Safety rules synthesis for an autonomous robot - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Access content directly
Conference Papers Year : 2016

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.
Fichier principal
Vignette du fichier
11-fast_abtsract_safecomp_masson.pdf (403.81 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01370269 , version 1 (22-09-2016)

Identifiers

  • HAL Id : hal-01370269 , version 1

Cite

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⟩
347 View
34 Download

Share

Gmail Mastodon Facebook X LinkedIn More