ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/9-10 - 2005  - pp.1079-1098  - doi:10.3166/jesa.39.1079-1098
TITLE
Verification of an evaporator system with UPPAAL

RÉSUMÉ
Dans ce travail, nous nous intéressons à des aspects temporisés de la programmation des automates programmables industriels (API). En utilisant l'exemple d'un mécanisme d'évaporation, nous proposons une modélisation du système contrôlé ainsi que du programme de contrôle écrit en Ladder Diagram, sous la forme d'un réseau d'automates temporisés, avec une hypothèse forte d'atomicité pour l'ensemble des instructions du programme. Nous montrons, sur cet exemple, avec l'outil UPPAAL, comment cette hypothèse permet d'améliorer les performances pour la vérification de propriétés de ce système.


ABSTRACT
In this work, we study some timed features for PLC (Programmable Logic Controller) programming. This study is illustrated with a two tanks system for which we propose a component based model. The control program, written in Ladder Diagram, as well as the operating part are modeled by a network of timed automata, with a strong hypothesis of atomicity about program execution. We show on this example, using the tool UPPAAL, how this hypothesis increases the efficiency of verification for several properties of the system.


AUTEUR(S)
Mohamed El Mongi BEN GAID, Béatrice BÉRARD, Olivier DE SMET

MOTS-CLÉS
automates programmables industriels, automates temporisés, model checking.

KEYWORDS
programmable logic controller, timed automata, model checking.

LANGUE DE L'ARTICLE
Anglais

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (267 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier