Static analysis for industrial automation systems (Tutorial)

Autoren Michael Moser
Rudolf Ramler
TitelStatic analysis for industrial automation systems (Tutorial)
OrganisationMoSEMInA 2014 - 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, co-located with ICSE 2014, Hyderabad, India, May 31 - June 7, 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.