论文信息 - Testing programmable logic controllers from finite state machines specification

Testing programmable logic controllers from finite state machines specification

This paper shows, on the basis of experiments, that execution of conformance tests of programmable logic controllers with minimum-length test sequences built from specifications in FSMs may yield spurious results. A new approach to build test sequences is then proposed to remove, or at least strongly lessen, this issue.

Jean-Marc Faure | Jean-Marc Roussel | Julien Provost

[1] Theodore M. Booth. Demonstrating hazards in sequential relay circuits , 1963, SWCT.

[2] David Lee,et al. Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[3] Jean-Marc Roussel,et al. SIC-testability of sequential logic controllers , 2010, WODES.

[4] Martin Fabian,et al. PLC-based implementation of supervisory control for discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[5] Spyros Reveliotis,et al. Optimized scheduling of complex resource allocation systems through approximate dynamic programming , 2011, 2011 3rd International Workshop on Dependable Control of Discrete Systems.

[6] José Machado,et al. LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL , 2006 .

[7] Jean-Marc Faure,et al. Translating Grafcet specifications into Mealy machines for conformance test purposes , 2011 .

[8] William J. Cook,et al. Solution of a Large-Scale Traveling-Salesman Problem , 1954, 50 Years of Integer Programming.

[9] R. Kretschmann,et al. INTERNATIONAL ELECTROTECHNICAL COMMISSION TECHNICAL COMMITTEE No. 65B: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 7/TASK FORCE 3: PROGRAMMING LANGUAGES FOR PROGRAMMABLE CONTROLLERS (IEC 61131-3, -8) MINUTES OF MEETING , 2007 .