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...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English English |
| Published: |
Association for Computing Machinery
2018
|
| Subjects: | |
| 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 |
Internet
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