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

International audienceLes 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