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 47/4-8 - 2013  - pp.423-446  - doi:10.3166/jesa.47.423-446
TITRE
Modèles formels pour le test de conformité de contrôleurs logiques

TITLE
Formal models for conformance test of programmable logic controllers

RÉSUMÉ
Le test de conformité est une méthode formelle dont le but est de vérifier qu’une implantation, ici un automate programmable industriel, se comporte comme décrit dans sa spécification. Cette méthode nécessite naturellement un modèle formel de la spécification. Ce papier montre qu’il est possible de construire un tel modèle à partir d’une spécification rédigée selon le langage non formel décrit dans la norme IEC 60848 ainsi que de la connaissance du mode d’exécution choisi pour l’automate. Une application à un exemple simple met en valeur l’importance du choix de ce mode d’exécution pour le verdict du test de conformité.


ABSTRACT
Conformance test is a formal method that is aiming at checking whether an implementation, a Programmable Logic Controller (PLC) in this study, behaves as described by its specification. This method requires naturally a formal model of the specification. This paper shows how such a model can be built from a non-formal model in the IEC 60848 standardized language and the knowledge of the execution mode of this model by the PLC. Application to a simple example highlights the significance of the consideration of the execution mode for conformance test.


AUTEUR(S)
Anaïs GUIGNARD, Jean-Marc FAURE

MOTS-CLÉS
test de conformité, Grafcet, automate des localités, stabilité, évolution fugace.

KEYWORDS
conformance test, Grafcet, location automaton, stability, transient evolution.

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  (554 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier