Conference article

Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications

Gregory Provan
Computer Science Department, University College Cork, Cork, Ireland

Download article

Published in: Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011

Linköping Electronic Conference Proceedings 56:10, p. 87-96

Show more +

Published: 2011-11-03

ISBN: 978-91-7519-825-5

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


While significant research has been done on applying equation-oriented object languages; such as Modelica; to the simulation of complex systems; much research remains to use such languages for generating application-specific embedded code. We describe a method for using a hybrid system language (as a reference model); from which we generate reduced-order models suitable for creating embedded code for tasks such as control and diagnostics. We apply our approach to the generation of embedded diagnostics code for the operation of heating; ventilation and air-conditioning (HVAC) for complex buildings.


Embedded systems; efficient code generation; model-driven development


[1] AC Antoulas; DC Sorensen; and S. Gugercin. A surveyof model reduction methods for large-scale systems. In Structured matrices in mathematics; computer science; andengineering; volume 280; page 193. Amer. Mathematical Society; 2001.

[2] M. Behrens and G. Provan. Temporal model-based diagnostics generation for hvac control systems. Proc. Itnl.Conf. on Theory and Practice of Model Transformations (ICMT); pages 31–44; 2010.

[3] M. Behrens; G. Provan; M. Boubekeur; and A. Mady. Model-driven diagnostics generation for industrial automation. In 7th IEEE International Conference on Industrial Informatics (INDIN); pages 708–714. IEEE; 2009.

[4] DR Clark; CW Hurley; and CR Hill. Dynamic modelsfor HVAC system components. ASHRAE transactions; 91(1):737–751; 1985.

[5] D.B. Crawley; J.W. Hand; M. Kummert; and B.T. Griffith.Contrasting the capabilities of building energy performancemsimulation programs. Building and Environment; 43(4):661–673; 2008.

[6] K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal; 45(3):621–645; 2006.

[7] B. Denckla and P.J. Mosterman. Formalizing causal blockdiagrams for modeling a class of hybrid dynamic systems. In Decision and Control; 2005 and 2005 European Control Conference. CDC-ECC’05. 44th IEEE Conference on; pages 4193–4198. IEEE; 2005.

[8] H. Elmqvist; M. Otter; D. Henriksson; B. Thiele; and S.E.Mattsson. Modelica for embedded systems. In Proceedings of the 7th International Modelica Conference; pages 354– 363. Linköping University Electronic Press; 2009.

[9] A. Feldman; J. Pietersma; and A. van Gemund. All roadslead to fault diagnosis: Model-based reasoning with lydia. Proc. BNAICŠ06; 2006.

[10] J.A. Fox. An introduction to engineering fluid mechanics. McGraw-Hill; 1974.

[11] P. Fritzson; A. Pop; and M. Sjölund. Towards modelica 4 meta-programming and language modeling with metamodelica 2.0. Technical Report Computer and Information Science; ISSN 1654-7233; 2011.

[12] P.A. Fritzson. Principles of object-oriented modeling and simulation with Modelica 2.1. Wiley-IEEE Press; 2004.

[13] Z. Hemel; L. Kats; and E. Visser. Code generation bymodel transformation. Theory and Practice of Model Transformations; pages 183–198; 2008.

[14] T.A. Henzinger. The theory of hybrid automata. In Logic in Computer Science; 1996. LICS’96. Proceedings.; Eleventh Annual IEEE Symposium on; pages 278–292. IEEE; 1996.

[15] J. Larsson and P. Fritzson. A modelica-based format forflexible code generation and causal model transformation. In 5th International Modelica Conference; 2006. Vienna: Arsenal; 2006.

[16] A. Mady; M. Boubekeur; and G. Provan. Compositionalmodel-driven design of embedded code for energy-efficient buildings. In 7th IEEE International Conference on Industrial Informatics (INDIN); pages 250–255. IEEE; 2009.

[17] T. Mens and P. Van Gorp. A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science; 152:125–142; 2006.

[18] G. Provan. Generating Reduced-Order Diagnosis Modelsfor HVAC Systems. In Itnl. Workshop on Principles of Diagnosis; Murnau; Germany; October 2011.

[19] T. Reis and T. Stykel. A survey on model reduction ofcoupled systems. Model Order Reduction: Theory; Research Aspects and Applications; pages 133–155; 2008.

[20] Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence; 32(1):57–95; 1987.

[21] T. Salsbury. A survey of control technologies in the buildingautomation industry. In Proc. of the 16th IFAC World Congress; pages 331–341; 2005.

[22] J. Schein and S.T. Bushby. A hierarchical rule-based fault detection and diagnostic method for HVAC systems. HVAC&R Research; 12(1):111–125; 2006.

[23] J. Schein; S.T. Bushby; N.S. Castro; and J.M. House. A rule-based fault detection method for air handling units. Energy and buildings; 38(12):1485–1492; 2006.

[24] J.L. Stein and L.S. Louca. A component-based modeling approach for system design: Theory and implementation. Ann Arbor; 1001:48109–2125.

[25] C. Turner; M. Frankel; and U.S.G.B. Council. Energy performance of LEED for new construction buildings. New Buildings Institute; 2008.

[26] M. Wetter. Modelica Library for Building Heating; Ventilation and Air-Conditioning Systems. In Proc. IBPSA Conference; pages 652–659; 2010.

Citations in Crossref