Formal models for conformance test of programmable logic controllers
Résumé
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.
Domaines
Automatique
Origine : Fichiers produits par l'(les) auteur(s)
Loading...