Skip to Main content Skip to Navigation
Theses

Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques

Amina Mekki-Mokhtar 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 : Recent progress in the definition of decisional mechanisms has allowed computer-based systems to become more and more autonomous. For example, service robots can nowadays work in direct interaction with humans and carry out increasingly complex tasks. This transfer of responsibility poignantly raises the issue of system safety towards humans, the environment and the system itself. System surveillance by an independent safety monitor aims to enforce safe behaviour despite faults and uncertainties. Such a monitor must detect potentially dangerous situations in order to trigger safety actions aiming to bring the system towards a safe state. This thesis addresses the problem of identifying safety trigger conditions. A systematic process is proposed for the identification, starting from a HazOp/UML risk analysis. The proposed methodology also allows the identification of system states in which multiple safety actions might be executed concurrently, in order to be checked and, if necessary, corrected by a system expert. The methodology is applied to a robotic rollator.
Document type :
Theses
Complete list of metadata

Cited literature [40 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00800859
Contributor : Amina Mekki Mokhtar <>
Submitted on : Thursday, March 14, 2013 - 3:40:35 PM
Last modification on : Thursday, June 10, 2021 - 3:05:45 AM
Long-term archiving on: : Monday, June 17, 2013 - 12:43:22 PM

Identifiers

  • HAL Id : tel-00800859, version 1

Citation

Amina Mekki-Mokhtar. Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques. Autre [cs.OH]. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨tel-00800859⟩

Share

Metrics

Record views

774

Files downloads

1662