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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
International Electrotechnical Commission, IEC 61131-3 Programmable Controllers Part 3: Programming languages (2003)
Stattelmann, S., Biallas, S., Schlich, B., Kowalewski, S.: Applying Static Code Analysis on Industrial Controller Code. In: Emerging Technology and Factory Automation (2014)
Nair. S., Jetley, R., Nair, A., Hauck-Stattelmann, S.: A Static Code Analysis Tool for Control System Software. In: 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (2015)
Bornot, S., Huuck, R., Lakhnech, Y., Lukoschus, B.: Utilizing Static Analysis for Programmable Logic Controllers. In: 4th International Conference on Automation of Mixed Processes (2000)
Prahofer, H., Angerer, F., Ramler, R., Lacheiner, H., Grillenberger, F.: Opportunities and Challenges of Static Code Analysis of IEC 61131-3 programs. In: Emerging Technology and Factory Automation (2012)
Martin, F., Alt, M., Wilhelm, R., Ferdinand, C.: Analysis of Loops. In: Koskimies, K. (ed.) CC 1998. LNCS, vol. 1383, pp. 80–94. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Hauck-Stattelmann, S., Biallas, S., Schlich, B., Kowalewski, S., Jetley, R. (2015). Analyzing the Restart Behavior of Industrial Control Applications. In: Bjørner, N., de Boer, F. (eds) FM 2015: Formal Methods. FM 2015. Lecture Notes in Computer Science(), vol 9109. Springer, Cham. https://doi.org/10.1007/978-3-319-19249-9_38
Download citation
DOI: https://doi.org/10.1007/978-3-319-19249-9_38
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19248-2
Online ISBN: 978-3-319-19249-9
eBook Packages: Computer ScienceComputer Science (R0)