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

Autoren Herbert Prähofer
Florian Angerer
Rudolf Ramler
Hermann Lacheiner
Friedrich Grillenberger
Editoren
Titel Opportunities and challenges of static code analysis of IEC 61131-3 programs
Buchtitel Proceedings of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA2012)
Typ in Konferenzband
Verlag IEEE Xplore
ISBN 978-1-4673-4735-8
Monat May
Jahr 2013
Seiten 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.