Skip to Main content Skip to Navigation
New interface
Conference papers

Virtual Testing for Smart Buildings

Julien Bruneau 1 Charles Consel 1, 2 Marcia O'Malley 3 Walid Taha 4, 5 Wail Masry Hannourah 6 
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Abstract : Smart buildings promise to revolutionize the way we live. Applications ranging from climate control to fire management can have significant impact on the quality and cost of these services. However, smart buildings and any technology with direct effect on human safety and life must undergo extensive testing. Virtual testing by means of computer simulation can significantly reduce the cost of testing and, as a result, accelerate the development of novel applications. Unfortunately, building physically-accurate simulation codes can be labor intensive. To address this problem, we propose a framework for rapid, physically-accurate virtual testing. The proposed framework supports analytical modeling of both a discrete distributed system as well as the physical environment that hosts it. The discrete models supported are accurate enough to allow the automatic generation of a dedicated programming framework that will help the developer in the implementation of these systems. The physical environment models supported are equational specifications that are accurate enough to produce running simulation codes. Combined, these two frameworks enable simulating both active systems and physical environments. These simulations can be used to monitor the behavior and gather statistics about the performance of an application in the context of precise virtual experiments. To illustrate the approach, we present models of Heating, Ventilating and Air-Conditioning (HVAC) systems. Using these models, we construct virtual experiments that illustrate how the approach can be used to optimize energy and cost of climate control for a building.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Julien Bruneau Connect in order to contact the contributor
Submitted on : Monday, July 9, 2012 - 11:16:04 AM
Last modification on : Friday, November 18, 2022 - 9:25:04 AM
Long-term archiving on: : Wednesday, October 10, 2012 - 2:30:39 AM


Files produced by the author(s)


  • HAL Id : hal-00715753, version 1



Julien Bruneau, Charles Consel, Marcia O'Malley, Walid Taha, Wail Masry Hannourah. Virtual Testing for Smart Buildings. IE 2012 - 8th International Conference on Intelligent Environments, Jun 2012, Guanajuato, Mexico. ⟨hal-00715753⟩



Record views


Files downloads