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.
CITATION STYLE
Hauck-Stattelmann, S., Biallas, S., Schlich, B., Kowalewski, S., & Jetley, R. (2015). Analyzing the restart behavior of industrial control applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9109, pp. 585–588). Springer Verlag. https://doi.org/10.1007/978-3-319-19249-9_38
Mendeley helps you to discover research relevant for your work.