Skip to Main content Skip to Navigation
Conference papers

Safety Trigger Conditions for Critical Autonomous Systems

Abstract : A systematic process for eliciting safety trigger conditions is presented. Starting from a risk analysis of the monitored system, critical transitions to catastrophic system states are identified and handled in order to specify safety margins on them. The conditions for existence of such safety margins are given and an alternative solution is proposed if no safety margin can be defined. The proposed process is illustrated on a robotic rollator.
Document type :
Conference papers
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01282203
Contributor : Jérémie Guiochet <>
Submitted on : Thursday, March 3, 2016 - 2:14:57 PM
Last modification on : Thursday, March 5, 2020 - 2:44:24 PM
Long-term archiving on: : Saturday, June 4, 2016 - 11:01:42 AM

File

prdc2012.pdf
Files produced by the author(s)

Identifiers

Citation

Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy. Safety Trigger Conditions for Critical Autonomous Systems. The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩. ⟨hal-01282203⟩

Share

Metrics

Record views

345

Files downloads

334