Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [113 references]  Display  Hide  Download
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


Version validated by the jury (STAR)


  • HAL Id : tel-02098246, version 2


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⟩



Record views


Files downloads