Module-Preserving Compilation of Modelica Models

Dirk Zimmer
Department of Computer Science, ETH Zurich, Switzerland

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp09430028

Ingår i: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009

Linköping Electronic Conference Proceedings 43:104, s. 880-889

Visa mer +

Publicerad: 2009-12-29

ISBN: 978-91-7393-513-5

ISSN: 1650-3686 (tryckt), 1650-3740 (online)


Large Modelica models pose serious problems for compilation and simulation. The standard process for the compilation of Modelica models is insufficient since it requires the flattening of the system and generates thereby overly large executables. In this paper we elaborate the concept of module-preserving compilation. This technique aims to generate more compact executables and thereby shall enable the simulation of very large systems in the future. To this end; we introduce an appropriate terminology and design a set of data structures and algorithms that enable the embedment of module preservation into the translation of Modelica models. This paper represents theoretical work only and aims to open up a fruitful discussion on this topic.


Flattening; Translation; Causalization


[1] Cellier; F. E.: World3 in Modelica: Creating System Dynamics Models in the Modelica Framework. In: Proc. 6th Interna-tional Modelica Conference; Bielefeld; Germany (2008) Vol.2 393-400.

[2] Cellier; F.E.; C. Clauß; A. Urquía: Electronic Circuit Modeling and Simulation in Modelica. In: Proc. 6th Eurosim Congress on Modelling and Simulation; Ljubljana; Slovenia (2007) Vol.2; 1-10.

[3] Dynasim AB; Dymola Users’ Manual; Version 6.0; Lund; Sweden; 2006.

[4] Fritzson; P.; P. Aronsson; H. Lundvall; K. Nyström; A. Pop; L. Saldamli D. Broman: The OpenModelica Modeling; Simulation; and Software Development Environment. In: Simulation News Europe (2005) 44/45.

[5] Kofman; E.; S. Junco: Quantised State Systems: A DEVS Approach for Continuous Systems Simulation. In: Transactions of SCS; (2001) 18(3); pp.123-132.

[6] Pantelides; C.: The Consistent Initialization of Differential-Algebraic Systems. In: SIAM J. Sci. and Stat. Comput. (1988) Vol 9; No. 2; 213-231.

[7] Pothen; A.; Chin-Ju Fan: Computing the Block Triangular Form of a Sparse Matrix. In: ACM Transactions on Mathematical Software (1990) Vol 16; No. 4 303-324. doi: 10.1145/98267.98287.

[8] Tarjan; R.: Depth-first search and linear graph algorithms. In: SIAM Journal on Computing. (1972) Bd. 1; No. 2; 146-160. doi: 10.1137/0201010.

[9] Zimmer; D.: Introducing Sol: A General Methodology for Equation-Based Modeling of Variable-Structure Systems In: Proc. 6th International Modelica Conference; Bielefeld; Germany; (2008) Vol.1; 47-56

[10] Zimmer; D.: Enhancing Modelica towards variable structure systems. In: Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT); Berlin; Germany (2007) 61-70

Citeringar i Crossref