Article | Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany | Error-free Control Programs by means of Graphical Program Design; Simulation-based Verification and Automatic Code Generation Linköping University Electronic Press Conference Proceedings
Göm menyn

Title:
Error-free Control Programs by means of Graphical Program Design; Simulation-based Verification and Automatic Code Generation
Author:
Stephan Seidel: Fraunhofer Institute for Integrated Circuits, Design Automation Division, Germany Ulrich Donath: Fraunhofer Institute for Integrated Circuits, Design Automation Division, Germany
DOI:
10.3384/ecp11063628
Download:
Full text (pdf)
Year:
2011
Conference:
Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany
Issue:
063
Article no.:
070
Pages:
628-637
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2011-06-30
ISBN:
978-91-7393-096-3
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

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

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

Author:
Stephan Seidel, Ulrich Donath
Title:
Error-free Control Programs by means of Graphical Program Design; Simulation-based Verification and Automatic Code Generation
DOI:
http://dx.doi.org/10.3384/ecp11063628
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

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

Author:
Stephan Seidel, Ulrich Donath
Title:
Error-free Control Programs by means of Graphical Program Design; Simulation-based Verification and Automatic Code Generation
DOI:
https://doi.org10.3384/ecp11063628
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2019-10-02