Software engineering in industrial automation: State-of-the-art review
V Vyatkin - IEEE Transactions on Industrial Informatics, 2013 - ieeexplore.ieee.org
This paper presents one perspective on recent developments related to software
engineering in the industrial automation sector that spans from manufacturing factory …
engineering in the industrial automation sector that spans from manufacturing factory …
Verification of PLC programs given as sequential function charts
Abstract Programmable Logic Controllers (PLC) are widespread in the manufacturing and
processing industries to realize sequential procedures and to avoid safety-critical states. For …
processing industries to realize sequential procedures and to avoid safety-critical states. For …
Enabling industry 4.0 service-oriented architecture through digital twins
F Schnicke, T Kuhn, PO Antonino - … , ECSA 2020 Tracks and Workshops, L' …, 2020 - Springer
A major goal of Industry 4.0 is to increase changeability of production processes, and to
reduce the additional cost for individualized products. A service oriented production …
reduce the additional cost for individualized products. A service oriented production …
[PDF][PDF] Review of model-based testing approaches in production automation and adjacent domains-current challenges and research gaps
As systems have been and are becoming more and more complex, the task of quality
assurance is increasingly challenging. Model-based testing is a research field addressing …
assurance is increasingly challenging. Model-based testing is a research field addressing …
Transformation of GRAFCET to PLC code including hierarchical structures
R Julius, M Schürenberg, F Schumacher… - Control Engineering …, 2017 - Elsevier
GRAFCET is an advantageous modelling language for the specification of controllers in
discrete event systems. It allows for hierarchically structuring a control program's …
discrete event systems. It allows for hierarchically structuring a control program's …
Formal representation of GRAFCET to automatically generate control code
F Schumacher, A Fay - Control Engineering Practice, 2014 - Elsevier
Within the engineering of control code, model-based approaches become more and more
important. Basically GRAFCET serves as a suitable modeling language but lacks an …
important. Basically GRAFCET serves as a suitable modeling language but lacks an …
Regression verification for programmable logic controller software
Automated production systems are usually driven by Programmable Logic Controllers
(PLCs). These systems are long-living–yet have to adapt to changing requirements over …
(PLCs). These systems are long-living–yet have to adapt to changing requirements over …
Migration from PLC to IEC 61499 using semantic web technologies
This paper proposes a new methodology of migration from IEC 61131-3 PLCs to IEC 61499
function blocks. The aim of this migration process is to recreate IEC 61131-3 applications in …
function blocks. The aim of this migration process is to recreate IEC 61131-3 applications in …
Formal modeling of sequential function charts with time Petri nets
Sequential function charts (SFCs) are among the standard languages for programmable
logic controllers (PLCs) ubiquitous in automated manufacturing and production systems …
logic controllers (PLCs) ubiquitous in automated manufacturing and production systems …
Two CEGAR-based approaches for the safety verification of PLC-controlled plants
J Nellen, K Driessen, M Neuhäußer, E Ábrahám… - Information Systems …, 2016 - Springer
In this paper we address the safety analysis of chemical plants controlled by programmable
logic controllers (PLCs). We consider a specification of the control program of the PLCs …
logic controllers (PLCs). We consider a specification of the control program of the PLCs …