Automatic Fault Localization for Programmable Logic Controllers ★

Abstract

Abstract. Programmable Logic Controllers (PLCs) are widely applied to control safety critical systems. Efficient formal and non-formal methods to detect faulty behavior have been developed, but finding the cause of the buggy behavior is often still a manual process. Automatic fault localization for PLCs is studied in this paper. Methods for automated debugging are analyzed and compared with respect to accuracy and run time. The experimental results on industrial models show a high accuracy at low run time costs.

Automated debugging from pre-silicon to post-silicon

“…Automated approaches in pre-silicon debugging rely on simulation [1], Binary Decision Diagrams (BDD) [2], and Boolean Satisfiability (SAT) [3]. In [4], SAT-based debugging is used to debug different abstraction levels of the system description. The post-silicon debugging requires a larger effort.…”