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

Murni, Fatehah and Mezhuyev, Vitaliy (2018) Design and process metamodels for modelling and verification of safety-related software applications in smart building systems. In: ICIT '18: Proceedings of the 6th International Conference on Information Technology: IoT and Smart City. ICIT 2018: IoT and Smart City , 29 - 31 December 2018 , Hong Kong. pp. 60-64.. ISBN 9781450366298

Preview

Pdf
Design and process metamodels for modelling and verification .pdf
Download (541kB) | Preview

Pdf
Design and Process Metamodels for Modelling and Verification of Safety-Related Software Applications in Smart Building Systems (paper).pdf
Restricted to Repository staff only
Download (575kB) | Request a copy

DOI/Official URL: https://doi.org/10.1145/3301551.3301577

Abstract

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.

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	Indexed by Scopus
Uncontrolled Keywords:	Cyber-physical system; Domain-specific modelling language; Metamodeling; Model-driven architecture; Smart building
Subjects:	Q Science > QA Mathematics > QA76 Computer software
Faculty/Division:	Faculty of Computer System And Software Engineering Institute of Postgraduate Studies
Depositing User:	Mrs Norsaini Abdul Samat
Date Deposited:	16 Feb 2024 07:21
Last Modified:	16 Feb 2024 07:21
URI:	http://umpir.ump.edu.my/id/eprint/29602
Download Statistic:	View Download Statistics

Actions (login required)

View Item