@inproceedings{16e17b37612f4dd6aec3a7a6e85caeef,
title = "Automated PLC software testing using adapted UML sequence diagrams",
abstract = "Current production plants are highly customizable and flexible in their processes. This flexibility is mainly realized by software. It causes an increasing complexity of control software components and the need of new methods for comprehensive and automated testing approaches to ensure a requested level of quality at high efficiency. A survey among mechanical engineering companies of the industries aerospace, automotive and machine/plant automation was conducted. Aspects of requirements engineering, testing, simulation, processes, tools, etc. were addressed to reveal research demands of PLC (Programmable Logic Controller) control software development in machine/plant automation. A system architecture embedding UML sequence diagrams for testing is proposed. We further contribute transformation rules of semantically adapted UML sequence diagrams to the cyclic execution logic of PLCs for reactive systems. The approach can be applied to any IEC 61131-3 programming language of the automation control software. A prototypical realization shows proof of concept and reveals the potential for future work.",
keywords = "IEC 61131-3, PLC, Real-Time, Semantics, Software Testing, UML",
author = "Benjamin Kormann and Dmitry Tikhonov and Birgit Vogel-Heuser",
year = "2012",
doi = "10.3182/20120523-3-RO-2023.00148",
language = "English",
isbn = "9783902661982",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "PART 1",
pages = "1615--1621",
booktitle = "Proceedings - INCOM'12, 14th IFAC Symposium on Information Control Problems in Manufacturing",
edition = "PART 1",
note = "14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'12 ; Conference date: 23-05-2012 Through 25-05-2012",
}