DocumentCode
3419400
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
fYear
2009
fDate
July 29 2009-Aug. 1 2009
Firstpage
171
Lastpage
176
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SOFA.2009.5254858
Filename
5254858
Link To Document