Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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

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.
Fichier principal
Vignette du fichier
paper_3SL - copie.pdf (377.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01285169 , version 1 (08-03-2016)

Identifiants

  • HAL Id : hal-01285169 , version 1

Citer

Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell. Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques. Journée Sécurité des Systèmes & Sureté des Logiciels (3SL), May 2011, Saint-Malo, France. ⟨hal-01285169⟩
429 Consultations
259 Téléchargements

Partager

Gmail Facebook X LinkedIn More