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

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...

Full description

Bibliographic Details
Main Authors: Murni, Fatehah, Mezhuyev, Vitaliy
Format: Conference or Workshop Item
Language:English
English
Published: Association for Computing Machinery 2018
Subjects:
QA76 Computer software
Online Access:http://umpir.ump.edu.my/id/eprint/29602/
http://umpir.ump.edu.my/id/eprint/29602/1/Design%20and%20process%20metamodels%20for%20modelling%20and%20verification%20.pdf
http://umpir.ump.edu.my/id/eprint/29602/7/Design%20and%20Process%20Metamodels%20for%20Modelling%20and%20Verification%20of%20Safety-Related%20Software%20Applications%20in%20Smart%20Building%20Systems%20%28paper%29.pdf

Similar Items

Similar Items