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 articlehttp://dx.doi.org/10.3384/ecp11063628

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)

Abstract

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.

Keywords

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

References

[1] HSchwabe; S.: Modellbasierter Systems-Engineering-Prozess. ECONOMIC ENGINEERING 3/2009; S. 58-59 http://www.berner-mattner.com/.../BernerMattner_Fachartikel_ModellbasSystemsEngProzess.pdf; 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] https://www.modelica.org/documents/ModelicaSpec30.pdf; 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. http://www.automation.siemens.com/mcms/automation/en/automation-systems/industrial-automation/Pages/Default.aspx; 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