Retour aux sommaires
10 - Application de la théorie de la supervision : un exemple de conception de programmes d’API
Laurent Piétrac, Samir Chafik, Luc Regimbal

Résumé : Pour assurer le bon fonctionnement d’un système, il est nécessaire de démontrer que les programmes de commande respectent les propriétés de sécurité spécifiées dans le cahier des charges. Cette démonstration peut se faire soit par la validation (ou vérification) soit par la synthèse de trajectoires de commande. L’approche de vérification et de validation a l’inconvénient de nécessiter l’écriture préalable du programme puis de vérifier les propriétés attendues, alors que l’avantage de l’approche de synthèse repose sur la prise en compte des propriétés dès le début de la conception. Dans cet article, nous nous sommes basés sur l’approche de synthèse pour proposer une application du principe de la théorie de supervision à la programmation de la commande des systèmes automatisés de production (SAP).

Notre contribution consiste dans un premier lieu à obtenir des modèles corrects (vérifiant les propriétés attendues) et surtout simples à construire et à lire. Dans une seconde étape, nous proposons une méthode de passage de modèles formels vers un programme API.

Mots clés : théorie du contrôle par supervision, synthèse, programmes API, conception, traduction.

 au compte de lecture