Title | ||
---|---|---|
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. |
Abstract | ||
---|---|---|
This paper presents an efficient static analysis for programmable logic controller code. For each program line (or each function block call), the analysis calculates an over-approximation of the possible values each variable can assume during all possible executions. This information can then be used to automatically check for certain critical program conditions such as division-by-zero and array-out-of-bounds. To make this approach applicable to large programs comprising many variables, we present a technique that only stores the values of a subset of the variables based on their context and liveness. We show how to detect typical problems in real PLC code. |
Year | DOI | Venue |
---|---|---|
2014 | 10.3182/20140514-3-FR-4046.00065 | IFAC Proceedings Volumes |
Keywords | Field | DocType |
Formal verification,Programmable logic controllers,Industry automation,Software tools,Software safety | Abstract interpretation,Computer science,Static analysis,Programmable logic controller,Function block diagram,Computer engineering,Liveness,Formal verification | Conference |
Volume | Issue | ISSN |
47 | 2 | 1474-6670 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sebastian Biallas | 1 | 48 | 5.77 |
Stefan Kowalewski | 2 | 602 | 65.14 |
Stefan Stattelmann | 3 | 95 | 6.98 |
Bastian Schlich | 4 | 214 | 17.98 |