Title :
Exploring Integrated Circuit Verification Methodology for Verification and Validation of PLC Systems
Author :
Patil, Manish M. ; Subbaraman, Shaila ; Joshi, Shirish
Author_Institution :
Dept. of Electron., MAE Coll. of Eng., Pune, India
Abstract :
With increased complexity in control and automation systems, efforts are going on for developing reliable and safe control systems. IEC61131-3 is most commonly used control specification standard. Development of IEC61499 is an effort to utilize proven software engineering practices that can provide benefits such as portability, interoperability, configurability and re-configurability to these systems. But, researchers have raised questions on its effectiveness for defining system level architecture, successful exploitation of current software engineering practices and many other ambiguities [1, 2, and 3]. Irrespective of which standard is used for control specification, verification of such systems and their safety assurance is one of the major challenges.
Keywords :
IEC standards; IEEE standards; VLSI; circuit complexity; field programmable gate arrays; hardware description languages; integrated circuit design; program diagnostics; programmable controllers; simulation languages; FPGA implementation; IEC 61131-3 standard; IEC 61499 standard; IEC 62050 standard; IEEE 1076.6 standard; PLC program analysis; PLC system validation; RTL synthesis; VHDL; VLSI design; automation system complexity; control system complexity; control system reliability; control system safety; functional block; integrated circuit design; integrated circuit verification methodology; ladder diagram; modeling languages; register transfer level synthesis; safety assurance; software engineering; system level architecture; Control systems; Field programmable gate arrays; Generators; Integrated circuit modeling; Safety; Timing; Functional Block; Ladder Diagram; PLC Response Time Analysis; PLC Verification and Validation; PLC on FPGA; VHDL;
Conference_Titel :
Electronic System Design (ISED), 2011 International Symposium on
Conference_Location :
Kochi, Kerala
Print_ISBN :
978-1-4577-1880-9
DOI :
10.1109/ISED.2011.47
