Elicitation of Executable Safety Rules for Critical Autonomous Systems

Amina Mekki-Mokhtar (1) , Jean-Paul Blanquart (2) , Jérémie Guiochet (1) , David Powell (1) , Matthieu Roy (1)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
2 ASTRIUM

The progress of artificial intelligence techniques, particularly decisional mechanisms, has allowed reactive systems to become more autonomous. This allows new applications in domains such as service robotics in which failures can lead to human injury or death, or financial loss. To ensure safety of such systems, we propose in this paper a process, based on a HAZOP/UML risk analysis, to elicit safety rules that can be enforced on-line. We present a case study of safety rule elicitation for an assistive robot for strolling and discuss implementation of the safety rules in a practical safety monitor.

Mots clés: Safety; Dependability; Autonomous Critical Systems; Safety Rules; Safety Constraints; On-line Monitoring; HAZOP/UML

Domaines: Informatique [cs]; Robotique [cs.RO]

Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy. Elicitation of Executable Safety Rules for Critical Autonomous Systems. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p. ⟨hal-01282237⟩