Development of Building Automation and Control Systems
Yang Yang, Qi Xin Zhu, Mehdi Maasoumy, Alberto Luigi Sangiovanni-Vincentelli · IEEE Design & Test of Computers · 2012
In this paper, we proposed a design flow for BAC systems that enables integrating heterogeneous input models, conducts automatic design space exploration, and performs software synthesis on distributed platforms while guaranteeing correctness and reducing communication load. We believe these capabilities can enable the building designers to better adopt model-based design methodologies, and facilitate them to improve design productivity, optimize system performance, and reduce cost.