Design and process metamodels for modelling and verification of safety-related software applications in smart building systems

Smart building is an example of a cyber-physical system that adopts the internet of things in order to every component, each person, and every process can be accessed from everywhere. This paper proposes a novel software engineering approach for the design of the smart building systems, namely, the metamodels for modelling and verification of smart building safety-related software applications. Two different metamodels are proposed: the design metamodel and the process metamodel. Their use allows not only to define a design structure and safety properties of smart embedded devices but also to model and validate corresponding safety scenarios. To demonstrate an effectiveness of the proposed approach, a case study is done to model and verify a prototype of a safety-related software system in a smart building

A Multi-Stakeholder Information Model to Drive Process Connectivity In Smart Buildings

Smart buildings utilise IoT technology to provide stakeholders with efficient, comfortable, and secure experiences. However, previous studies have primarily focused on the technical aspects of it and how it can address specific stakeholder requirements. This study adopts socio-technical theory principles to propose a model that addresses stakeholders' needs by considering the interrelationship between social and technical subsystems. A systematic literature review and thematic analysis of 43 IoT conceptual frameworks for smart building studies informed the design of a comprehensive conceptual model and IoT framework for smart buildings. The study's findings suggest that addressing stakeholder requirements is essential for developing an information model in smart buildings. A multi-stakeholder information model integrating multiple stakeholders' perspectives enhances information sharing and improves process connectivity between various systems and subsystems. The socio-technical systems framework emphasises the importance of considering technical and social aspects while integrating smart building systems for seamless operation and effectiveness. The study's findings have significant implications for enhancing stakeholders' experience and improving operational efficiency in commercial buildings. The insights from the study can inform smart building systems design to consider all stakeholder requirements holistically, promoting process connectivity in smart buildings. The literature analysis contributed to developing a comprehensive IoT framework, addressing the need for holistic thinking when proposing IoT frameworks for smart buildings by considering different stakeholders in the building