La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvre

Bernard Riera 1 Philippot Alexandre 1 David Annebicque 1 François Gellot 1
1 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
Résumé : Cet article présente pour la première fois dans son ensemble l'approche de commande par contraintes logiques de sécurité développée au CReSTIC depuis plusieurs années. Le principe consiste à ajouter à la fin du programme API (Automates Programmables Industriels), avant la mise à jour des sorties, un code spécifique (appelé « filtre logique ») permettant la détection d'une erreur de commande et sa correction (ou compensation). L'approche revient à séparer les aspects fonctionnels et sécuritaires du contrôleur et à considérer un programme API existant comme intervenant uniquement dans la partie fonctionnelle du contrôleur. L'ensemble des contraintes de sécurité est conçu indépendamment du programme API et dépend seulement de la Partie Opérative étudiée. Trois utilisations possibles du filtre logique sont possibles : bloquant, superviseur et contrôleur, permettant entre autres de garantir la sécurité de programmes API existants de façon non intrusive. Les atouts principaux de l'approche sont : la facilité d'implémentation dans un API et son acceptabilité du fait qu'elle peut s'adapter à des programmes existants sans avoir à fondamentalement modifier les méthodes de travail des automaticiens. Les contraintes de sécurité logiques peuvent être vérifiées formellement hors ligne par « model-checking ». Toutefois, en amont de cette étape « lourde » de vérification, il est important de s'assurer simplement de la cohérence du filtre logique. Cet article propose à ce titre quelques propriétés nécessaires pour la cohérence des contraintes de sécurité. Un exemple pédagogique «virtuel» de système manufacturier conçu à partir du logiciel de simulation « FACTORY I/O » de la société Real Games permet d'illustrer la méthode développée.
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01224261
Contributeur : Stephan Merz <>
Soumis le : mercredi 4 novembre 2015 - 14:28:45
Dernière modification le : mercredi 29 août 2018 - 11:08:01
Document(s) archivé(s) le : vendredi 5 février 2016 - 11:10:49

Fichier

paper 8.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01224261, version 1

Collections

MSR2015 | URCA | CRESTIC

Citation

Bernard Riera, Philippot Alexandre, David Annebicque, François Gellot. La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvre. Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. 〈hal-01224261〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

135

Téléchargements de fichiers

115

Contact


archive-ouverte@inria.fr