Conference article

Error-free Control Programs by means of Graphical Program Design; Simulation-based Verification and Automatic Code Generation

Stephan Seidel
Fraunhofer Institute for Integrated Circuits, Design Automation Division, Germany

Ulrich Donath
Fraunhofer Institute for Integrated Circuits, Design Automation Division, Germany

Download article

Published in: Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany

Linköping Electronic Conference Proceedings 63:70, p. 628-637

Show more +

Published: 2011-06-30

ISBN: 978-91-7393-096-3

ISSN: 1650-3686 (print), 1650-3740 (online)


Currently the formalisation in the process of creating automation control programs starts with the programming of the real-time controller. But inconsistencies in the requirements definition and misinterpretations will lead to errors in the program which have to be resolved through expensive software-in-the-loop and field tests. This paper introduces a holistic approach for the formalisation of the control design already in the design phase. It also illustrates the design flow for the model-based creation of error-free control programs. Created by means of graphical editors the system definition; which includes the control algorithm; is transferred into Modelica code and thus the executable system model is used for the simulation-based verification. The simulation results are compared to the requirements. Once these are fulfilled and no further errors found; program code for the real-time controller is generated automatically. In this paper Structured Text for programmable logic controllers (PLCs) according to IEC 61131 is generated. In final software-in-the-loop tests the real-time capabilities of the control program are validated.


Graphical program design; Modelica; IEC 61131; Structured Text; Software in the Loop


[1] HSchwabe; S.: Modellbasierter Systems-Engineering-Prozess. ECONOMIC ENGINEERING 3/2009; S. 58-59; visited on: 20.01.2011

[2] Haufe; J.; Donath; U.; Lantzsch; G.: Modellbasierter Entwurf von Steuerungen in der Automatisierungstechnik. Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS); Dresden; March 2009

[3]; visited on: 20.01.2011

[4] OMG Unified Modeling Language Superstructure V2.2

[5] Donath; U.; Haufe; J.; Blochwitz; T.; Neidhold; T.: A new approach for modeling and verification of discrete control components within a Modelica environment. Proceedings of the 6th Modelica Conference; Bielefeld; March 2008; p. 269-276

[6] Hhttp://www.simulationx.comH; visited on: 20.01.2011

[7] Int. Electrotechnical Commission: IEC Standard 61131-3: Programmable controllers - Part 3; 1993

[8] Lindner L.: Rapid Control Prototyping by Transformation of Hierarchical State Machine Control Models into IEC 61131 PLC Code. Diploma thesis; TU Dresden; 2009.

[9] Siemens AG. Software for SIMATIC controllers.; visited on 20.01.2011

[10] Siemens AG. S7-SCL V5.3 for S7-300/400 Manual; 2005

[11] Siemens AG. SIMATIC S7-PLCSIM V5.4 Manual; 2007.

[12] Seidel S.; et al.: Modelling the Real-time Behaviour of Machine Controls Using UML Statecharts. Proceedings of the 15th International IEEE Conference on Emerging Technologies and Factory Automation; Bilbao; September 2010

Citations in Crossref