Page - 59 - in Intelligent Environments 2019 - Workshop Proceedings of the 15th International Conference on Intelligent Environments

Figure1. Usecasesdiagramfor smartbuildingsystem Figure2. Smartbuildingsystemarchitecture parameter, security protocols) anduser profiles (e.g., Privileges, access level).A sensor is responsible for collecting several information (e.g., Device state, internal condition, external environment condition) for the data processing phase. The controller process the data detected by sensors. This processingmay end up in an automatic initiation of action(s)within thebuilding for its selfmanagement. Internal conditionscanbeanoma- lies (e.g., device failure), intrusion, humidity level or elevator state.External conditions canbe locationoccupation(e.g.,garage, rooftop,floor),doorsandwindowslockstateor weather conditions (e.g.,windspeed, temperature, rainfall). Figure2presents theproposedhierarchical architecture for smart building systems. Theblackarcsdesignatecomposition(e.g.,BehaviorFeatures iscomposedofCondition, User is composed of Public Data) while the blue edges indicate generalization (e.g., Appliance is aThing,Sensor is anAppliance).The representedentities areas follows: • SmartBuildingSystem:definedbymodule(s), thing(s) andbehavior feature(s). • Module:oneofthedesiredmoduleswithinthesmartbuildingsystem(i.e.,Energy saving,Safety&security,Comfort&assistance). • BehaviorFeature: a behavioral requirement for the smart building system. It is definedbypropertie(s), condition(s) andvariable(s). • Property:a feature toverify the systemregardingsafety,deadlockor liveness. • Condition: a guard to define for a better systemcontrol and automation such as theminimum temperature forwhich the air conditioner turnOn automatically or the luminositydegree forwhich the lightsneed tobeswitchedOnorOff. A.LyazidiandS.Mouline /BuiS:AMethodology forSmartBuildingModeling 59