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