Title :
A procedure for PLC programs validation
Author :
Gergely, E.I. ; Popentiu-Vladicescu, Fl ; Madsen, H. ; Mang, G.E. ; Nagy, Z.T. ; Spoiala, D.
Author_Institution :
Dept. of Electr. Drives & Autom., Univ. of Oradea, Oradea, Romania
fDate :
July 29 2009-Aug. 1 2009
Abstract :
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.
Keywords :
program testing; programmable controllers; safety-critical software; PLC programs validation; program testing; programmable logic controller; safety critical operation; Automation; Communication system control; Computer science; Control systems; Drives; Information technology; Process control; Programmable control; Safety; System testing;
Conference_Titel :
Soft Computing Applications, 2009. SOFA '09. 3rd International Workshop on
Conference_Location :
Arad
Print_ISBN :
978-1-4244-5054-1
Electronic_ISBN :
978-1-4244-5056-5
DOI :
10.1109/SOFA.2009.5254858
