Jens Frenkel
Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany
Günter Kunze
Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany
Peter Fritzson
PELAB – Programming Environment Lab, Dept. Computer Science, Linköping University, Sweden
Martin Sjölund
PELAB – Programming Environment Lab, Dept. Computer Science, Linköping University, Sweden
Adrian Pop
PELAB – Programming Environment Lab, Dept. Computer Science, Linköping University, Sweden
Willi Braun
FH Bielefeld, University of Applied Sciences, Germany
Download article
http://dx.doi.org/10.3384/ecp11063232Published in: Proceedings of the 8th International Modelica Conference; March 20th-22nd; Technical Univeristy; Dresden; Germany
Linköping Electronic Conference Proceedings 63:26, p. 232-238
Published: 2011-06-30
ISBN: 978-91-7393-096-3
ISSN: 1650-3686 (print), 1650-3740 (online)
Modelica is well suited for modelling complex physical systems due to the acausal description it is using. The causalisation of the model is carried out prior to each simulation. A significant part of the causalisation process is the symbolic manipulation and optimisation of the model. Despite the growing interest in Modelica; the capabilities of symbolic manipulation and optimisation are not fully utilized. This paper presents an approach to increase the customisability; access; and reuse of symbolic optimisation by a more modular and flexible design concept. An overview of the common symbolic manipulation and optimisation algorithms of a typical Modelica compiler is presented as well as a general modular design concept for a Modelica compiler backend. The modularisation concept will be implemented in a future version of the OpenModelica compiler.
[1] Peter Fritzson: Principles of Object-Oriented Modelling and Simulation with Modelica 2.1; Page 57ff; Wiley IEEE Press; 2004.
doi: 10.1109/9780470545669.
[2] Roberto Parrotto; Johan Åkesson; and Francesco Casella: An XML representation of DAE systems obtained from continuous-time Modelica models; EOOLT 2010.
[3] S. E. Mattsson and G. Söderlind: Index Reduction in Differential Algebraic Equations Using Dummy Derivatives; SIAM Journal on Scientific Computing; Vol. 14. No. 3; pp. 677-692; 1993.
doi: 10.1137/0914043.
[4] S.E. Mattsson; H. Olsson and H. Elmqvist: Dynamic Selection of States in Dymola. Modelica Workshop 2000 Proceedings; pp. 61-67;
[5] P. Kunkel and V. Mehrmann: Index reduction for differential-algebraic equations by minimal extension; ZAMM; vol. 84; pp. 579–597; 2004.
doi: 10.1002/zamm.200310127.
[6] F. E. Cellier; E. Kofman: Continuous System Simulation; Springer; 2006.
[7] Bonvini; Donida; Leva: Modelica as a design tool for hardware-in-the-loop simulation; Proceedings 7th Modelica Conference; Como; Italy; Sep. 20-22; 2009
[8] A. Pop and P. Fritzson: MetaModelica: A Unified Equation-Based Semantical and Mathematical Modelling Language. In Proceedings of Joint Modular Languages Conference 2006 (JMLC2006) LNCS Springer Verlag. Jesus College; Oxford; England; Sept 13-15; 2006.
[9] P. Fritzson; A. Pop; D. Broman; P. Aronsson: Formal Semantics Based Translator Generation and Tool Development in Practice. In Proceedings of 20th Australian Software Engineering Conference (ASWEC 2009); Gold Coast; Queensland; Australia; April 14 – 17; 2009.
[10] R.E. Tarjan: Depth First Search and Linear Graph Algorithms; SIAM Journal of Computting; 1; pp. 146-160; 1972.
doi: 10.1137/0201010.
[11] H. Lundvall and P. Fritzson: Event Handling in the OpenModelica Compiler and Run-time System. In Proceedings of the 46th Conference on Simulation and Modelling of the Scandinavian Simulation Society (SIMS2005); Trondheim; Norway; October 13-14; 2005. An extended version in Linköping University Press; www.ep.liu.se.
