Surveillance en ligne de la sécurité basée sur les modes de sécurité - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Surveillance en ligne de la sécurité basée sur les modes de sécurité

Résumé

Les systèmes informatiques réalisent des tâches de plus en plus complexes, dont certaines peuvent mettre l'humain en danger. L'inévitable présence de fautes résiduelles de développement, de fautes physiques ou d'interaction activées pendant la vie opérationnelle, conduit à l'utilisation de systèmes indépendants de surveillance de la sécurité pour prévenir les défaillances catastrophiques. Nous présentons dans ce papier une approche et une formalisation du processus de détermination des règles de sécurité implémentées dans de tels dispositifs. Cette approche se base sur l'identification de modes de sécurité, dépendants des différentes tâches réalisées par le système sous surveillance. Chaque mode de sécurité est lié à un ou plusieurs modes fonctionnels, et est spécifié par un vecteur de permissivité, qui définit des domaines de variations autorisées de certaines variables physiques. L'ensemble des modes de sécurité est partiellement ordonné et représenté avec un graphe acyclique orienté. Ce graphe est ensuite utilisé pour construire un modèle spécifiant les transitions entre les modes de sécurité. Ceci fournit la base de l'implémentation du compor tement du système de surveillance. Un cas d'étude a été réalisé sur un robot mobile équipé d'un bras manipulateur, travaillant en milieu humain au sein d'une usine.
Fichier principal
Vignette du fichier
lambdamu3.pdf (176.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00282460 , version 1 (27-05-2008)

Identifiants

  • HAL Id : hal-00282460 , version 1

Citer

Jérémie Guiochet, David Powell, Étienne Baudin, Jean-Paul Blanquart. Surveillance en ligne de la sécurité basée sur les modes de sécurité. Lambda mu 16 - 16e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2008, Avignon, France. pp.1-7. ⟨hal-00282460⟩
316 Consultations
102 Téléchargements

Partager

Gmail Facebook X LinkedIn More