Static analysis for industrial automation systems (Tutorial)

Authors Michael Moser
Rudolf Ramler
Title Static analysis for industrial automation systems (Tutorial)
Type misc
Organization MoSEMInA 2014 - 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, co-located with ICSE 2014, Hyderabad, India, May 31 - June 7, 2014
Month May/June
Year 2014
SCCH ID# 1447

Static analysis is a highly successful measure when applied in software development. However, there is a lack of corresponding methods and tools in context of industrial automation systems. In this talk we give an overview of different applications of static analysis and the opportunities they provide for software development in industrial automation.