La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvre - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

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.

Domaines

Automatique
Fichier principal
Vignette du fichier
paper 8.pdf (287.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01224261 , version 1 (04-11-2015)

Identifiants

  • HAL Id : hal-01224261 , version 1

Citer

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⟩
135 Consultations
151 Téléchargements

Partager

Gmail Facebook X LinkedIn More