Conformance test of logic controllers of critical systems from industrial specificationsReport as inadecuate




Conformance test of logic controllers of critical systems from industrial specifications - Download this document for free, or read online. Document in PDF available to download.

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





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

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents