论文信息 - A procedure for PLC programs validation

A procedure for PLC programs validation

Many control systems involving safety critical operations are presently implemented on programmable logic controllers (PLCs). Therefore, there is a strong need to validate that the considered PLC is compliant with the safety requirements. The paper presents a testing procedure that enables the validation of PLC programs, which greatly reduces the testing effort and provides a close link between overall system safety requirements and the PLC program.

[1] E.I. Gergely,et al. Design framework for risk mitigation in industrial PLC control , 2008, 2008 IEEE International Conference on Automation, Quality and Testing, Robotics.

[2] E Hicham,et al. Failure Mode and Effects Analysis (FMEA) , 2007 .

[3] Junbeom Yoo,et al. An integrated environment of S/W specification and V&V for safety-critical systems , 2004, IASTED Conf. on Software Engineering.

[4] Henrik Madsen,et al. ON USING SOFT COMPUTING TECHNIQUES IN SOFTWARE RELIABILITY ENGINEERING , 2006 .

[5] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[6] Sang C. Park,et al. PLCStudio: Simulation based PLC code verification , 2008, 2008 Winter Simulation Conference.

[7] Drago Matko,et al. COMBINED SYNTHESIS/VERIFICATION APPROACH TO PROGRAMMABLE LOGIC CONTROL OF A PRODUCTION LINE , 2005 .

[8] Jon Hawkins,et al. Automated real-time testing (ARTT) for embedded control systems (ECS) , 2002, Annual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318).

[9] S. Manesis,et al. Automated synthesis of Ladder automation circuits based on state-diagrams , 2005, Adv. Eng. Softw..