A live static code analysis architecture for PLC software
| Title | A live static code analysis architecture for PLC software |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Obster, M., Kowalewski, S. |
| Conference Name | 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) |
| ISBN Number | 978-1-5090-6505-9 |
| Keywords | composability, Computer architecture, control engineering computing, Debugging, development process, Human Behavior, IEC 61131-3, IEC standards, live static code analysis architecture, PLC software, program diagnostics, programmable controllers, pubcrawl, regular compiler, resilience, Resiliency, Software, software engineering, static analysis, static code analysis, Timing, Tools |
| Abstract | Static code analysis is a convenient technique to support the development of software. Without prior test setup, information about a later runtime behavior can be inferred and errors in the code can be found before using a regular compiler. Solutions to apply static code analysis to PLC software following the IEC 61131-3 already exist, but using these separate tools usually creates a gap in the development process. In this paper we introduce an architecture to use static analysis directly in a development environment and give instant feedback to the developer while he is still editing the PLC software. |
| URL | https://ieeexplore.ieee.org/document/8247707 |
| DOI | 10.1109/ETFA.2017.8247707 |
| Citation Key | obster_live_2017 |
- programmable controllers
- tools
- timing
- static code analysis
- static analysis
- software engineering
- Software
- Resiliency
- resilience
- regular compiler
- pubcrawl
- composability
- program diagnostics
- PLC software
- live static code analysis architecture
- IEC standards
- IEC 61131-3
- Human behavior
- development process
- debugging
- control engineering computing
- computer architecture