Skip to Main content Skip to Navigation

Test de conformité de contrôleurs logiques spécifiés en grafcet

Abstract : The works presented in this PhD thesis deal with the generation and implementation of test sequences for conformance test of logic controllers. Within these works, Grafcet (IEC 60848 (2002)), graphical specification language used in industry, has been selected as the specification model. Logic controllers mainly considered in these works are Programmable Logic Controllers (PLC). In order to validate the carrying out of conformance test of critical control systems, this thesis presents: - A formalization of the Grafcet specification language. Indeed, to apply usual verification and validation methods, the behavior is required to be expressed through formal models. However, in industry, the models used to describe functional specifications are chosen for their expression power and usability, but these models rarely have a formal semantics. - A study of test sequences execution and analysis of obtained verdicts when several logical inputs are changed simultaneously. Series of experimentation have permitted to quantify, for different configurations of the implantation under test, the rate of erroneous verdicts due to these simultaneous changes. - A definition of the SIC-testability criterion for an implantation. This criterion, determined on the Grafect specification defines the ability of an implementation to be tested without any erroneous verdict. Automatic generation of test sequences that minimize the risk of erroneous verdict is then studied.
Document type :
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Tuesday, December 20, 2011 - 5:12:45 PM
Last modification on : Monday, January 18, 2021 - 11:16:28 AM
Long-term archiving on: : Wednesday, March 21, 2012 - 2:51:28 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00654047, version 1



Julien Provost. Test de conformité de contrôleurs logiques spécifiés en grafcet. Autre. École normale supérieure de Cachan - ENS Cachan, 2011. Français. ⟨NNT : 2011DENS0029⟩. ⟨tel-00654047⟩



Record views


Files downloads