Article | Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany | Using Static Parametric Design to Support Systems Engineering of Industrial Automation Systems

Title:
Using Static Parametric Design to Support Systems Engineering of Industrial Automation Systems
Author:
Hongchao Ji: Bosch Rexroth AG, Lohr am Main, Germany Lars Mikelsons: Bosch Rexroth AG, Lohr am Main, Germany Karl Kempf: Bosch Rexroth AG, Lohr am Main, Germany Dieter Schramm: University of Duisburg-Essen, Duisburg, Germany
DOI:
10.3384/ecp12076971
Download:
Full text (pdf)
Year:
2012
Conference:
Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Issue:
076
Article no.:
102
Pages:
971-980
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2012-11-19
ISBN:
978-91-7519-826-2
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

This paper proposes a static parametric design methodology for application of the model based systems engineering (MBSE) paradigm in the world of Modelica. This methodology allows for parameter synthesis of the industrial automation systems under consideration of customer requirements. Furthermore; the parametrized system can be verified automatically. An integrated system model consisting of requirements; system design and verification models is created and can be used as a design template to generate a new parameter set according to the change of customer requirements. A case study from the practice is presented to proof the concept of this methodology.

Keywords: MBSE; SysML; Modelica; Parameter Synthesis

Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Author:
Hongchao Ji, Lars Mikelsons, Karl Kempf, Dieter Schramm
Title:
Using Static Parametric Design to Support Systems Engineering of Industrial Automation Systems
DOI:
http://dx.doi.org/10.3384/ecp12076971
References:
[1] http://www.acceleo.org.
[2] Hubert Dubois; Marie-Agnès Peraldi-Frati; and Fadoi Lakhal. A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. In 15th IEEE International Conference on Engineering of Complex Computer Systems; ICECCS 2010; Oxford; United Kingdom; 22-26 March 2010; pages 233–242; 2010.
[3] Martin Glinz. On Non-Functional Requirements. In 15th IEEE International Requirements Engineering Conference; RE 2007; October 15-19th; 2007; New Delhi; India; pages 21–26; 2007.
[4] Hongchao Ji; Oliver Lenord; and Dieter Schramm. A Model Driven Approach for Requirements Engineering of Industrial Automation Systems. In Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT’07); pages 13–24; 2011.
[5] Thomas Johnson; Christiaan J.J. Paredis; and Roger Burkhart. Integrating Models and Simulations of Continuous Dynamics into SysML. In Proceedings of 6th International Modelica Conference; Bielefeld; Germany; 3-4;March; 2008.
[6] Christiaan J.J. Paredis; Yves Bernard; Roger M. Burkhart; Hans-Peter de Koning; Sanford Friedenthal; Peter Fritzson; Nicolas F. Rouquette; and Wladimir Schamai. An Overview of the SysML-Modelica Transformation Specification. In 2010 INCOSE International Symposium; July 2010.
[7] Adrian Pop; David Akhvlediani; and Peter Fritzson. Towards Unified System Modeling with the ModelicaML UML Profile. In Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT’07); pages 13–24; 2007.
[8] Wladimir Schamai. Modelica Modeling Language (ModelicaML). Technical report; EADS Innovation Works; Germany; 2009.
[9] Wladimir Schamai; Peter Fritzson; Chris Paredis; and Adrian Pop. Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations. In Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009; number 43 in Linköping Electronic Conference Proceedings; pages 612–621. Linköping University Electronic Press; Linköpings universitet; December 2009.
[10] Wladimir Schamai; Philipp Helle; Peter Fritzson; and Christiaan J. J. Paredis. Virtual Verification of System Designs against System Requirements. In Models in Software Engineering - Workshops and Symposia at MODELS 2010; Oslo; Norway; October 2-8; 2010; Reports and Revised Selected Papers; pages 75–89; 2010.
[11] http://www.omgsysml.org.
[12] VDI. Design Methodology for Mechatronic Systems (VDI 2206). Technical report; VDI; 2004.

Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Author:
Hongchao Ji, Lars Mikelsons, Karl Kempf, Dieter Schramm
Title:
Using Static Parametric Design to Support Systems Engineering of Industrial Automation Systems
DOI:
http://dx.doi.org/10.3384/ecp12076971
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment