A Design Flow for Building Automation and Control Systems. Yang, Y., Pinto, A., Sangiovanni-Vincentelli, A., & Zhu, Q. In 2010 31st IEEE Real-Time Systems Symposium, pages 105–116, November, 2010. ISSN: 1052-8725
doi  abstract   bibtex   
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.
@inproceedings{yang_design_2010,
	title = {A {Design} {Flow} for {Building} {Automation} and {Control} {Systems}},
	doi = {10.1109/RTSS.2010.26},
	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.},
	booktitle = {2010 31st {IEEE} {Real}-{Time} {Systems} {Symposium}},
	author = {Yang, Yang and Pinto, Alessandro and Sangiovanni-Vincentelli, Alberto and Zhu, Qi},
	month = nov,
	year = {2010},
	note = {ISSN: 1052-8725},
	keywords = {Algorithm design and analysis, Atmospheric modeling, Buildings, Computational modeling, Computer architecture, Control systems, Libraries},
	pages = {105--116},
}

Downloads: 0