DocumentCode :
2352043
Title :
A Design Flow for Building Automation and Control Systems
Author :
Yang, Yang ; Pinto, Alessandro ; Sangiovanni-Vincentelli, Alberto ; Zhu, Qi
fYear :
2010
fDate :
Nov. 30 2010-Dec. 3 2010
Firstpage :
105
Lastpage :
116
Abstract :
We propose a system-level design flow for building automation and control (BAC) systems. The input to the design flow is a high level description of the control algorithms given in a model-based environment such as Simulink. The input specification is translated into an intermediate format, and then automatically refined into a distributed implementation. Refinement includes optimal mapping of the functional specification on a set of computation and communication resources, and software synthesis, which generates code for each component in the mapped design while guaranteeing semantic equivalence with the original specification. Experiments with a temperature control system are presented to illustrate the flow.
Keywords :
building management systems; control system CAD; distributed processing; formal specification; Simulink; building automation; building control systems; distributed implementation; functional specification; optimal mapping; software synthesis; system-level design flow;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Systems Symposium (RTSS), 2010 IEEE 31st
Conference_Location :
San Diego, CA
ISSN :
1052-8725
Print_ISBN :
978-0-7695-4298-0
Type :
conf
DOI :
10.1109/RTSS.2010.26
Filename :
5702222
Link To Document :
بازگشت