Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiquesReport as inadecuate




Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques - Download this document for free, or read online. Document in PDF available to download.

* 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





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

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



DOWNLOAD PDF




Related documents