A Design Flow for Building Automation and Control Systems
A Design Flow for Building Automation and Control Systems
复制标题
楼宇自动化和控制系统的设计流程
DOI：
10.1109/rtss.2010.26
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Qi Zhu
中科院分区：
文献类型：
--
作者：
Yang Yang;A. Pinto;A. Sangiovanni;Qi Zhu
提出了一种建筑自动化与控制系统的系统级设计流程。设计流程的输入是在基于模型的环境（如Simulink）中给出的控制算法的高级描述。输入规范被转换为中间格式，然后自动细化为分布式实现。细化包括功能规范在一组计算和通信资源上的最优映射，以及软件合成，为映射设计中的每个组件生成代码，同时保证与原始规范的语义等价。用温度控制系统的实验来说明该流程。
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.