Article | Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011 | Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications

Title:
Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications
Author:
Gregory Provan: Computer Science Department, University College Cork, Cork, Ireland
Download:
Full text (pdf)
Year:
2011
Conference:
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011
Issue:
056
Article no.:
010
Pages:
87-96
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2011-11-03
ISBN:
978-91-7519-825-5
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

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.

Keywords: Embedded systems; efficient code generation; model-driven development

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

Author:
Gregory Provan
Title:
Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications
References:

[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.

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

Author:
Gregory Provan
Title:
Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment