Safety monitoring for autonomous systems : interactive elicitation of safety rules

Autor: Masson, Lola

Publikováno v: Cryptography and Security [cs.CR]. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019. English
Performance [cs.PF]. Université Paul Sabatier-Toulouse III, 2019. English. ⟨NNT : 2019TOU30220⟩

An active safety monitor is an independent mechanism that is responsible for keeping the system in a safe state, should a hazardous situation occur. Is has observations (sensors) and interventions (actuators). Safety rules are synthesized from the re

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7b75ce8460063220df5ffe3be274b6f6
https://hal.laas.fr/tel-02098246/document

Case Study Report : Safety rules synthesis for an autonomous robot

Autor: Masson, Lola, Guiochet, Jérémie, Waeselynck, Hélène

Publikováno v: Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway

International audience; 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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8bae7a2f29c98d59e2a8cdfd5596f713
https://hal.laas.fr/hal-01370269/file/11-fast_abtsract_safecomp_masson.pdf