Opportunities and challenges of static code analysis of IEC 61131-3 programs
|Autoren|| Herbert Prähofer|
|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)|
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.