DocumentCode
2577229
Title
Safety Trigger Conditions for Critical Autonomous Systems
Author
Mekki-mokhtar, Amina ; Blanquart, Jean-paul ; Guiochet, Jérémie ; Powell, David ; Roy, Matthieu
Author_Institution
LAAS, Toulouse, France
fYear
2012
fDate
18-19 Nov. 2012
Firstpage
61
Lastpage
69
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.
Keywords
risk analysis; robots; safety-critical software; catastrophic system states; critical autonomous systems; critical transitions; risk analysis; robotic rollator; safety trigger conditions; systematic process; Monitoring; Risk analysis; Robots; Runtime; Safety; Silicon; Unified modeling language; Autonomous Critical Systems; Dependability; On-line Monitoring; Safety; Safety Constraints; Safety Monitoring; Safety Rules;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Computing (PRDC), 2012 IEEE 18th Pacific Rim International Symposium on
Conference_Location
Niigata
Print_ISBN
978-1-4673-4849-2
Electronic_ISBN
978-0-7695-4885-2
Type
conf
DOI
10.1109/PRDC.2012.22
Filename
6385071
Link To Document