Exploring Integrated Circuit Verification Methodology for Verification and Validation of PLC Systems

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.