Static analysis for industrial automation systems (Tutorial)

Autoren Michael Moser
Rudolf Ramler
Editoren
Titel Static analysis for industrial automation systems (Tutorial)
Typ sonst
Organisation 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
Monat May/June
Jahr 2014
SCCH ID# 1447
Abstract

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.