III-phase verification and validation of IEC standard programmable logic controller

CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...

Volumn , Issue , 2006, Pages 111-

  Thapa, Devinder ^a   Park, Chang Mok ^a   Dangol, Suraj ^a   Wang, Gi Nam ^a  

^a Ajou University   (South Korea)

Author keywords

Flexible Manufacturing System (FMS); Model checking; PLC; Verification Validation (V V); Virtual commissioning

Indexed keywords

AGILE MANUFACTURING SYSTEMS; COMPUTER SOFTWARE; FLEXIBLE MANUFACTURING SYSTEMS; INDUSTRIAL APPLICATIONS; MODEL CHECKING;

CONTROL LOGIC; PRODUCTION CYCLE; RAMP-UP TIME; VIRTUAL COMMISSIONING;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 38849099178     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIMCA.2006.118     Document Type: Conference Paper

References (20)

1. Thomas W. Parsons, Introduction to compiler construction, Hofstra University, NewYork, 1992.
2. The International Electrotecnical Committee, "IEC 61131-3, Programmable controllers, Programming Languages," March 1993.
3. R. Alur and D. L. Dill," A theory of timed automata", Theoretical Computer Science, 126(2): 183-235, 1994.
4. Clarke, Grunberg, and Peled, "Model Checking," The MIT Press Cambridge England, 1999.
5. S. L.amprire-Couffin, O. Rossi, J.-M. Roussel and J.-J. Lesage, "Formal verification of pic programs: a survey", ECC'99, paper N741, Germany (1999).
6. G. Frey and Lothar Litz,"Formal Methods in PLC Programming", Proceedings of the IEEE SMC 2000, Nashville, pp. 2431-2436, October 08-11, 2000.
7. R. Huuk," Software Verification for Programmable Logic Controllers," PhD Thesis, Kiel, 2003.
8. E. Brinksma and A. Mader,"Verification and Optimization of a PLC control schedule",LNCS Vol. 1885, pp. 73-92, 2000.
9. S. C. Park,"A methodology for creating a virtual model for a flexible manufacturing system, Elsevier B.V., Computers in Industry 56(2005) 734-746, 2005.
10. S. Klein, G. Frey, M. Minas," PLC Programming with Signal Interpreted Petri Nets", LNCS Vol.2679/2003, pp.440-449, 2003.
11. Y. Koren et al.,"Reconfigurable Manufacturing Systems,CIRP Annals, Vol. 48/2/1999.
12. K. Sukerkar, H. Wijaya, J. R. Moyne, D. M. Tilbury, "An Integrated Distributed Software System for Reconfigurable Manufacturing", Advanced Manufacturing Technologies 2004, Canada, June 1-2, 2004.
13. D. Thapa, S. Dangol, C. M. Park, G. N. Wang," Verification of PLC Program using a Generic Intermediate Language (IML)", Proceedings of the ICSCA, pp. 2956, 2006.
14. S. Dangol, D. Thapa, K. H. Cho, C. M. Park, G. N. Wang," An Integrated Framework for Verification of IEC Standard Programmable Logic Controllers", Proceedings of the ICSCA, pp. 3060, 2006.
15. H.X.Williams,"Compact Timed Automata for PLC Programs", Koninklijke Philips Electronics N.V. 1999.
16. www.uppaal.com
17. www.plcopen.com
18. Warren W. Gay,"Linux socket programming by example",Que, 2000.
19. IGRIP tutorial
20. Siemens Step7 programming tutorial