Conformance test of logic controllers of critical systems from industrial specifications

François Chériaux (1) , Laurence Picci (1) , Julien Provost (2) , Jean-Marc Faure (2)

1 EDF - EDF
2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

This paper presents a synthesis of works performed in the frame of an industry/academia cooperative research. The overall objective of this research is to automate the construction of test sequences for conformance test of industrial logic controllers when the expected behavior is described in industrial specification languages. The first contribution is aimed at preventing from combinatorial explosion by preliminary verifications on the implementation so as to check whether it satisfies some structural properties. The second contribution is a method to translate an industrial specification into a formal model to take benefit from theoretical results on conformance test of formal models for discrete event systems description. These two contributions are exemplified on case studies from the domain of energy production.

Mots clés: Conformance test; Model-based test; Logic controllers; Grafcet; Logic diagrams; Finite state machines

Domaines: Automatique / Robotique

François Chériaux, Laurence Picci, Julien Provost, Jean-Marc Faure. Conformance test of logic controllers of critical systems from industrial specifications. European Conference on Safety and Reliability - ESREL 2010, Sep 2010, Rhodes, Greece. paper 308. ⟨hal-00483215v2⟩