Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiquesReportar como inadecuado




Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques - 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

Résumé : Le développement des systèmes décisionnels a permis de rendre les systèmes réactifs de plus en plus autonomes et l-émergence de nouvelles applications dans des domaines tels que la robotique de service. En revanche, les défaillances éventuelles dans ces nouvelles applications peuvent avoir des conséquences catastrophiques. Afin d-assurer la sécurité-innocuité de tels systèmes, nous proposons dans cet article un pro-cessus de génération des règles de sécurité vérifiables en ligne implémentables dans un moniteur de sécurité indépendant.

Mots-clés : Monitoring surveillance règles de sécurité système autonome





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

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



DESCARGAR PDF




Documentos relacionados