George Giorgidze
Functional Programming Laboratory, School of Computer Science, University of Nottingham, United Kingdom
Henrik Nilsson
Functional Programming Laboratory, School of Computer Science, University of Nottingham, United Kingdom
Download articlehttp://dx.doi.org/10.3384/ecp09430137Published in: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009
Linköping Electronic Conference Proceedings 43:22, p. 208-218
Published: 2009-12-29
ISBN: 978-91-7393-513-5
ISSN: 1650-3686 (print), 1650-3740 (online)
This paper explores a novel approach to the implementation of non-causal modelling and simulation languages supporting highly structurally dynamic systems. One reason the support for structural dynamics is limited in present mainstream non-causal modelling and simulation languages is that they are designed and implemented on the assumption that symbolic processing of models and ultimately compilation of simulation code takes place prior to simulation. We seek to lift that restriction; without sacrificing efficiency; by exploiting just-in-time (JIT) compilation to allow new simulation code; reflecting structural changes; to be generated as the simulation progresses. Our work is carried out in a framework called Functional Hybrid Modelling that supports higher-order modelling; as higher-order modelling lends itself naturally to expressing structural dynamism. However; the central ideas of the paper should be of general interest in the area of structural dynamism. The paper provides an in-depth description of the implementation techniques we have developed as well as a performance evaluation.
Non-causal Modelling and Simulation; Structurally Dynamic Systems; Functional Programming; Just-In-Time Compilation; Symbolic/Numerical Methods