Skip to Main content Skip to Navigation
Theses

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.
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00654047
Contributor : Abes Star :  Contact
Submitted on : Tuesday, December 20, 2011 - 5:12:45 PM
Last modification on : Thursday, June 22, 2017 - 1:08:42 PM
Document(s) archivé(s) le : Wednesday, March 21, 2012 - 2:51:28 AM

File

Provost2011.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00654047, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

1034

Files downloads

3650