Abstract
Declarative, Equation-Based Object-Oriented (EOO) modeling languages, like Modelica, support modeling of physical systems by composition of reusable component models. An important application area is modeling of cyber-physical systems. EOO languages typically feature a connection construct allowing component models to be assembled into systems much like physical components are. Different designs are possible. This paper introduces, formalizes, and validates an approach based on explicit nodes that expressly is designed to work for functional EOO languages supporting higher-order modeling. The paper also considers Modelica-style connections and explains why that design does not work for functional EOO languages, thus mapping out the design space.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Accellera Organization. Verilog-AMS Language Reference Manual - Analog & Mixed-Signal Extensions to Verilog HDL Version 2.3.1 (2009)
Ashenden, P.J., Peterson, G.D., Teegarden, D.A.: The System Designer’s Guide to VHDL-AMS: Analog, Mixed-Signal, and Mixed-Technology Modeling. Morgan Kaufmann Publishers, USA (2002)
Axelsson, E., Claessen, K., Sheeran, M.: Wired: Wire-Aware Circuit Design. In: Borrione, D., Paul, W. (eds.) CHARME 2005. LNCS, vol. 3725, pp. 5–19. Springer, Heidelberg (2005)
Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: hardware design in Haskell. In: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, pp. 174–184. ACM Press, New York (1998)
Broman, D.: Flow Lambda Calculus for Declarative Physical Connection Semantics. Technical Reports in Computer and Information Science No. 1. LiU Electronic Press (2007)
Broman, D.: Meta-Languages and Semantics for Equation-Based Modeling and Simulation. PhD thesis, Department of Computer and Information Science, Linköping University, Sweden (2010)
Broman, D., Fritzson, P.: Higher-Order Acausal Models. Simulation News Europe 19(1), 5–16 (2009)
Cellier, F.E.: Continuous System Modeling. Springer, New York (1991)
Dassault Systems. Multi-Engineering Modeling and Simulation - Dymola - CATIA - Dassault Systemes, http://www.dymola.com (last accessed: September 16, 2011)
Elmqvist, H., Mattsson, S.E., Otter, M.: Modelica - A Language for Physical System Modeling, Visualization and Interaction. In: Proceedings of the IEEE International Symposium on Computer Aided Control System Design (1999)
Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press, New York (2004)
Furic, S.: Enforcing model composability in Modelica. In: Proceedings of the 7th International Modelica Conference, Como, Italy, pp. 868–879 (2009)
Giorgidze, G., Nilsson, H.: Embedding a Functional Hybrid Modelling Language in Haskell. In: Scholz, S.-B., Chitil, O. (eds.) IFL 2008. LNCS, vol. 5836, pp. 138–155. Springer, Heidelberg (2011)
Giorgidze, G., Nilsson, H.: Higher-Order Non-Causal Modelling and Simulation of Structurally Dynamic Systems. In: Proceedings of the 7th International Modelica Conference, Como, Italy, pp. 208–218. LiU Electronic Press (September 2009)
IEEE Std 1076.1-2007. IEEE Standard VHDL Analog and Mixed-Signal Extensions. IEEE Press (2007)
Kunkel, P., Mehrmann, V.: Differential-Algebraic Equations Analysis and Numerical Solution. European Mathematical Society (2006)
Lee, E.A.: CPS foundations. In: Proceedings of the 47th Design Automation Conference, DAC 2010, pp. 737–742. ACM Press, New York (2010)
Mattsson, S.E., Söderlind, G.: Index reduction in differential-algebraic equations using dummy derivatives. SIAM Journal on Scientific Computing 14(3), 677–692 (1993)
Modelica Association. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification Version 3.2 (2010), http://www.modelica.org
Nilsson, H., Peterson, J., Hudak, P.: Functional Hybrid Modeling. In: Dahl, V. (ed.) PADL 2003. LNCS, vol. 2562, pp. 376–390. Springer, Heidelberg (2002)
Pantelides, C.C.: The Consistent Initialization of Differential-Algebraic Systems. SIAM Journal on Scientific and Statistical Computing 9(2), 213–231 (1988)
Petzold, L.R.: A Description of DASSL: A Differential/Algebraic System Solver. In: IMACS Trans. on Scientific Comp., 10th IMACS World Congress on Systems Simulation and Scientific Comp., Montreal, Canada (1982)
Quarles, T.L., Newton, A.R., Pedersen, D.O., Sangiovanni-Vincentelli, A.: SPICE3 Version 3f3 User’s Manual. Technical report, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley (1993)
Jones, S.P.: Haskell 98 Language and Libraries – The Revised Report. Cambridge University Press (2003)
Wan, Z., Hudak, P.: Functional reactive programming from first principles. In: PLDI 2000: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, pp. 242–252. ACM Press, New York (2000)
Zimmer, D.: Enhancing Modelica towards variable structure systems. In: Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, Berlin, Germany, pp. 61–70. LiU Electronic Press (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broman, D., Nilsson, H. (2012). Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. In: Russo, C., Zhou, NF. (eds) Practical Aspects of Declarative Languages. PADL 2012. Lecture Notes in Computer Science, vol 7149. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27694-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-27694-1_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27693-4
Online ISBN: 978-3-642-27694-1
eBook Packages: Computer ScienceComputer Science (R0)