Opportunities and challenges of static code analysis of IEC 61131-3 programs

Authors Herbert Prähofer
Florian Angerer
Rudolf Ramler
Hermann Lacheiner
Friedrich Grillenberger
Editors
Title Opportunities and challenges of static code analysis of IEC 61131-3 programs
Booktitle Proceedings of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA2012)
Type in proceedings
Publisher IEEE Xplore
ISBN 978-1-4673-4735-8
Month May
Year 2013
Pages DOI: 10.1109/ETFA.2012.6489535
SCCH ID# 1231
Abstract

Static code analysis techniques analyze programs by examining the source code without actually executing them. Usually, it allows increasing the quality of software by finding bad code smells and potential defects in early development stages. Today, they are widely spread and intensively used in general purpose programming and tools are numerous for established programming languages like C/C++, Java, C# and others. However, in the domain of PLC programming static code analysis tools are generally not available yet. In this paper therefore we present an approach for static code analysis of PLC programs. We discuss opportunities static code analysis can offer for PLC programming, review the techniques to be used, and present a tool which implements a rule-based analysis approach for a dialect of the IEC 61131-3 languages.