Translating Grafcet specifications into Mealy machines for conformance test purposes

Julien Provost (1) , Jean-Marc Roussel (1) , Jean-Marc Faure (1)

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

Conformance test is a black-box test technique aiming at checking whether an implementation conforms to its specification. Numerous results have been already obtained in this field for specifications expressed in a formal language. However, these results cannot be applied for conformance test of industrial logic controllers whose specifications are given in standardized specification languages. To contribute to solve this issue, this paper proposes a method to obtain, from a Grafcet specification, an equivalent Mealy machine, without semantics loss. This method permits to describe explicitly and formally all the states and transitions that are implicitly represented in a Grafcet model.

Mots clés: Conformance test; Model-based test; Grafcet; Mealy machine; Logic controllers

Domaines: Automatique

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure. Translating Grafcet specifications into Mealy machines for conformance test purposes. Control Engineering Practice, 2010, pp.00. ⟨10.1016/j.conengprac.2010.10.001⟩. ⟨hal-00547891⟩