Elicitation of Executable Safety Rules for Critical Autonomous SystemsReportar como inadecuado




Elicitation of Executable Safety Rules for Critical Autonomous Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

* Corresponding author 1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique LAAS - Laboratoire d-analyse et d-architecture des systèmes Toulouse 2 ASTRIUM

Abstract : 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.

Keywords : Safety Dependability Autonomous Critical Systems Safety Rules Safety Constraints On-line Monitoring HAZOP-UML





Autor: Amina Mekki-Mokhtar - Jean-Paul Blanquart - Jérémie Guiochet - David Powell - Matthieu Roy -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados