Skip to Main content Skip to Navigation
Theses

Safety monitoring for autonomous systems : interactive elicitation of safety rules

Lola Masson 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
Abstract : 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 results of the hazard analysis, using the tool SMOF (Safety MOnitoring Framework), in order to identify which interventions to apply for dangerous observations values. The safety rules enforce a safety property (the system remains in a safe state) and some permissiveness properties, ensuring that the system can still perform its tasks. This work focuses on solving cases where the synthesis fails to return a set of safe and permissive rules. To assist the user in these cases, three new features are introduced and developed. The first one addresses the diagnosis of why the rules fail to fulfill a permissiveness requirement. The second one suggests candidate safety interventions to inject into the synthesis process. The third one allows the tuning of the permissiveness requirements based on a set of essential functionalities to maintain. The use of these features is discussed and illustrated on two industrial case studies, a manufacturing robot from KUKA and a maintenance robot from Sterela.
Document type :
Theses
Complete list of metadata

Cited literature [113 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02098246
Contributor : Abes Star :  Contact
Submitted on : Friday, September 11, 2020 - 9:12:07 AM
Last modification on : Thursday, June 10, 2021 - 3:01:46 AM

File

2019TOU30220a.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02098246, version 2

Citation

Lola Masson. Safety monitoring for autonomous systems : interactive elicitation of safety rules. Performance [cs.PF]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30220⟩. ⟨tel-02098246v2⟩

Share

Metrics

Record views

164

Files downloads

229