Development of building automation and control systems

IEEE Design and Test of Computers

Volumn 29, Issue 4, 2012, Pages 45-55

  Yang, Yang ^a   Zhu, Qi ^b   Maasoumy, Mehdi ^a   Sangiovanni Vincentelli, Alberto ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Building Automation and Control; Design space exploration; Intermediate format; Software synthesis

Indexed keywords

ABSTRACTION LEVEL; AUTOMATIC EXTRACTION; BUILDING AUTOMATION; BUILDING AUTOMATION AND CONTROL SYSTEMS; BUILDING AUTOMATION AND CONTROLS; COMPUTING COST; DESIGN FLOWS; DESIGN SPACE EXPLORATION; DESIGN SPACES; DISTRIBUTED IMPLEMENTATION; DOMAIN EXPERTS; ENTRY POINT; EXCHANGE MODELS; INPUT MODELS; INTERMEDIATE FORMATS; MODEL-BASED DESIGN; MODELICA; PERFORMANCE METRICS; SIMULINK; SOFTWARE SYNTHESIS;

ABSTRACTING; ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DESIGN; INTELLIGENT BUILDINGS; SPECIFICATIONS;

BRIDGES;

EID: 84867784863     PISSN: 07407475     EISSN: None     Source Type: Journal    
DOI: 10.1109/MDT.2012.2201130     Document Type: Article

References (12)

1. ANTLR. [Online]. Available: http://www.antlr.org/.
2. EIKON-LogicBuilder for WebCTRL. [Online]. Available: http://www. automatedlogic.com.
3. Modelica. [Online]. Available: http://www.modelica.org.
4. Simulink. [Online]. Available: http://www.mathworks.com.
5. F. Balarin, M. D'Angelo, A. Davare et al. "Platform-based design and frameworks: Metropolis and Metro II," in Model-Based Design for Embedded Systems, G. Nicolescu and P. J. Mosterman, Eds. Boca Raton, FL: CRC, 2009.
6. M. Di Natale, A. Benveniste, P. Caspi et al. "Applying LTTA to guarantee flow of data requirements in distributed systems using controller area networks," in Proc. Design, Autom. Test Eur. Workshop D ependable Softw. Syst., 2008.
7. M. Maasoumy, A. Pinto, and A. Sangiovanni-Vincenteli, "Model-based hierarchical optimal control design for HVAC systems," in Proc. 2011 ASME Dynam. Syst. Contr. Conf. (DSCC), 2011.
8. A. Pinto, L. P. Carloni, and A. L. Sangiovanni-Vincentelli, "COSI: A framework for the design of interconnection networks," IEEE Design Test Comput., vol. 25, no. 5, May 2008.
9. A. Pinto, A. L. Sangiovanni-Vincentelli, L. P. Carloni et al. "Interchange formats for hybrid systems: Review and proposal," in Proc. 8th Int. Workshop Hybrid Syst. Computation and Contr., 2005, pp. 526-541. (Pubitemid 41252089)
10. S. Tripakis, C. Pinello, A. Benveniste et al. "Implementing synchronous models on loosely time triggered architectures," IEEE Trans. Comput., vol. 57, no. 10, pp. 1300-1314, Oct. 2008.
11. Y. Yang, A. Pinto, A. Sangiovanni-Vincentelli, and Q. Zhu, "A design flow for building automation and control systems," in Proc. IEEE 2010 31st Real-Time Syst. Symp. (RTSS), Dec. 3-30, 2010, pp. 105-116.
12. Y. Yang, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "Efficient distribution of triggered synchronous block diagrams, EECS Dept., Univ. California, Berkeley, Tech. Rep. UCB/EECS-2011-115, Oct. 2011.