Paper Info
Title
Sink state analysis in multi-tenant smart buildings
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.
Year
DOI
Venue
2016
10.1109/RTSI.2016.7740572
2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI)
Keywords
Field
DocType
sink state analysis,multitenant smart building,building management system,BMS,multiuser management,behavioral analysis,smart building control system,stochastic method,probability,assertive rules,collaborative management
Building management system,Computer science,Risk analysis (engineering),Human–computer interaction,Building automation,Behavioral analysis,Control system,Building science,Approaches of management
Conference
ISBN
Citations 
PageRank 
978-1-5090-1132-2
0
0.34
References 
Authors
5
5
Name
Order
Citations
PageRank
Andrea Piscitello191.46
Alessandro Antonio Nacci2729.48
Vincenzo Rana318322.09
Marco D. Santambrogio477191.15
D. Sciuto51720176.61