Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01224261
Contributor : Stephan Merz <>
Submitted on : Wednesday, November 4, 2015 - 2:28:45 PM
Last modification on : Friday, November 13, 2020 - 10:34:05 AM
Long-term archiving on: : Friday, February 5, 2016 - 11:10:49 AM

File

paper 8.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01224261, version 1

Collections

Citation

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

Share

Metrics

Record views

274

Files downloads

211