Conformance test of logic controllers of critical systems from industrial specificationsReportar como inadecuado

Conformance test of logic controllers of critical systems from industrial specifications - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 EDF R&D - EDF Recherche et Développement 2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

Abstract : 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.

Keywords : Conformance test Model-based test Logic controllers Grafcet Logic diagrams Finite state machines

Autor: François Chériaux - Laurence Picci - Julien Provost - Jean-Marc Faure -



Documentos relacionados