Static analysis for industrial automation systems (Tutorial)

M. Moser, R. Ramler. Static analysis for industrial automation systems (Tutorial). 2014.

  • Michael Moser
  • Rudolf Ramler
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

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.