Abstract | ||
---|---|---|
Static code analysis techniques are a well-established tool to improve the efficiency of software developers and for checking the correctness of safety-critical software components. However, their use is often limited to general purpose or “mainstream” programming languages. For these languages, static code analysis has found its way into many integrated development environments and is available to a large number of software developers. In other domains, e. g., for the programming languages used to develop many industrial control applications, tools supporting sophisticated static code analysis techniques are rarely used. This paper reports on the experience of the authors while adapting static code analysis to a software development environment for engineering the control software of industrial process automation systems. The applicability of static code analysis for industrial controller code is demonstrated by a case study using a real-world control system. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/ETFA.2014.7005254 | ETFA |
Keywords | DocType | Citations |
control system,process control,production engineering computing,software development,control software,industrial controller code,program diagnostics,static code analysis techniques,software engineering,industrial process automation systems,automation,computer languages | Conference | 3 |
PageRank | References | Authors |
0.40 | 3 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stefan Stattelmann | 1 | 95 | 6.98 |
Sebastian Biallas | 2 | 48 | 5.77 |
Bastian Schlich | 3 | 214 | 17.98 |
Stefan Kowalewski | 4 | 602 | 65.14 |