| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [12 references]
https://hal.inria.fr/hal-01224261
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Wednesday, November 4, 2015 - 2:28:45 PM
Last modification on : Thursday, October 14, 2021 - 1:10:05 PM
Long-term archiving on: : Friday, February 5, 2016 - 11:10:49 AM
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Wednesday, November 4, 2015 - 2:28:45 PM
Last modification on : Thursday, October 14, 2021 - 1:10:05 PM
Long-term archiving on: : Friday, February 5, 2016 - 11:10:49 AM
File
paper 8.pdf
Files produced by the author(s)