A design flow for building automation and control systems

Yang Yang*, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Qi Zhu

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings - 31st IEEE Real-Time Systems Symposium, RTSS 2010
Pages105-115
Number of pages11
DOIs
StatePublished - 2010
Event31st IEEE Real-Time Systems Symposium, RTSS 2010 - San Diego, CA, United States
Duration: Nov 30 2010Dec 3 2010

Publication series

NameProceedings - Real-Time Systems Symposium
ISSN (Print)1052-8725

Other

Other31st IEEE Real-Time Systems Symposium, RTSS 2010
CountryUnited States
CitySan Diego, CA
Period11/30/1012/3/10

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'A design flow for building automation and control systems'. Together they form a unique fingerprint.

Cite this