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
Download article
http://dx.doi.org/10.3384/ecp12076971Published in: Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Linköping Electronic Conference Proceedings 76:102, p. 971-980
Published: 2012-11-19
ISBN: 978-91-7519-826-2
ISSN: 1650-3686 (print), 1650-3740 (online)
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.
[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.
