Abstract | ||
---|---|---|
Critical infrastructure such as chemical plants, manufacturing facilities or tidal barrages are usually operated using specialized control devices. These devices are programmed using domain-specific programming languages for which static code analysis techniques are not widely used yet. This paper compares a sophisticated academic tool to a lightweight compliance check approach regarding the detection of programming errors that only occur after program restart. As this is a common problem in industrial control code, the paper proposes a way to improve the accuracy of analyses for this class of errors. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-319-19249-9_38 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
Static Analysis,Abstract Interpretation,Programmable Logic Controllers | Static program analysis,Software engineering,Abstract interpretation,Computer science,Static analysis,Critical infrastructure,Real-time computing,Programmable logic controller | Conference |
Volume | ISSN | Citations |
9109 | 0302-9743 | 2 |
PageRank | References | Authors |
0.38 | 1 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stefan Hauck-Stattelmann | 1 | 13 | 1.39 |
Sebastian Biallas | 2 | 48 | 5.77 |
Bastian Schlich | 3 | 214 | 17.98 |
Stefan Kowalewski | 4 | 602 | 65.14 |
Raoul Jetley | 5 | 93 | 7.06 |