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

Autoren Herbert Prähofer
Florian Angerer
Rudolf Ramler
Hermann Lacheiner
Friedrich Grillenberger
TitelOpportunities and challenges of static code analysis of IEC 61131-3 programs
BuchtitelProceedings of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA2012)
Typin Konferenzband
VerlagIEEE Xplore
SeitenDOI: 10.1109/ETFA.2012.6489535
SCCH ID#1231

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.