In the last years, many research projects have focused on the design of complex Building Management Systems (BMSes) aiming at materializing the Smart Buildings vision. Unfortunately, multi-user management is not totally supported in modern BMSes, multi-tenant implications have not been adequately investigated and also some other issues remain unsolved in state-of-the-art approaches. For instance, a behavioral analysis regarding the correct control of the building is needed to ensure the correct functioning of the Smart Building control system. In this paper we will present an approach to formally verify a Smart Building control system. Differently from the existing solutions, mainly derived from the control theory world, we propose a stochastic method that copes with the probabilities that each rule inside a ruleset has to be triggered. This method leverages the features and the capabilities of the specific scenario represented by Smart Buildings, in order to simplify Building managers duties in real world applications. The power of this method has been validated through a wide set of rules obtained by means of an experimental campaign. The analyses show that users generally tend to (unconsciously) specify sinks and assertive rules, symptom that a collaborative management approach is far to be applicable in real world applications without the help of a tool such as the one presented in this paper.

Sink state analysis in multi-tenant smart buildings

PISCITELLO, ANDREA;NACCI, ALESSANDRO ANTONIO;RANA, VINCENZO;SANTAMBROGIO, MARCO DOMENICO;SCIUTO, DONATELLA
2016

Abstract

In the last years, many research projects have focused on the design of complex Building Management Systems (BMSes) aiming at materializing the Smart Buildings vision. Unfortunately, multi-user management is not totally supported in modern BMSes, multi-tenant implications have not been adequately investigated and also some other issues remain unsolved in state-of-the-art approaches. For instance, a behavioral analysis regarding the correct control of the building is needed to ensure the correct functioning of the Smart Building control system. In this paper we will present an approach to formally verify a Smart Building control system. Differently from the existing solutions, mainly derived from the control theory world, we propose a stochastic method that copes with the probabilities that each rule inside a ruleset has to be triggered. This method leverages the features and the capabilities of the specific scenario represented by Smart Buildings, in order to simplify Building managers duties in real world applications. The power of this method has been validated through a wide set of rules obtained by means of an experimental campaign. The analyses show that users generally tend to (unconsciously) specify sinks and assertive rules, symptom that a collaborative management approach is far to be applicable in real world applications without the help of a tool such as the one presented in this paper.
2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a Better Tomorrow, RTSI 2016
9781509011315
9781509011315
Energy Engineering and Power Technology; Biomedical Engineering; Instrumentation; Computer Networks and Communications; Computer Science Applications1707 Computer Vision and Pattern Recognition; Human Factors and Ergonomics
File in questo prodotto:
File Dimensione Formato  
Ruleset minimization in multi-tenant Smart Buildings.pdf

Accesso riservato

: Pre-Print (o Pre-Refereeing)
Dimensione 696.81 kB
Formato Adobe PDF
696.81 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1009335
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact