Loading [a11y]/accessibility-menu.js
Design and implementation of automatic verification for PLC systems | IEEE Conference Publication | IEEE Xplore

Design and implementation of automatic verification for PLC systems


Abstract:

Programmable Logic Controller (PLC) have been widely used in industries, and safety and reliability of them has been urgently concerned. However, it's hard to verify all ...Show More

Abstract:

Programmable Logic Controller (PLC) have been widely used in industries, and safety and reliability of them has been urgently concerned. However, it's hard to verify all the cases to discover the logical flaws of complex systems by traditional testing. Formal verification methods introduce mathematical rigor in their analysis thereby guaranteeing exhaustive state space coverage. But there is not an effective and efficient tool for PLC verification, and the general-purpose formal tools need lots of relevant knowledge. This paper proposes an automatic verification tool for PLC systems. It includes graphical modeling, syntax check, code generation, code optimization and representation of the counter-examples which violate some system properties.
Date of Conference: 16-18 July 2013
Date Added to IEEE Xplore: 07 October 2013
ISBN Information:
Conference Location: New York, NY, USA

References

References is not available for this document.