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 |
| _version_ | 1848823317939617792 |
|---|---|
| author | Murni, Fatehah Mezhuyev, Vitaliy |
| author_facet | Murni, Fatehah Mezhuyev, Vitaliy |
| author_sort | Murni, Fatehah |
| building | UMP Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T02:55:13Z |
| format | Conference or Workshop Item |
| id | ump-29602 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English English |
| last_indexed | 2025-11-15T02:55:13Z |
| publishDate | 2018 |
| publisher | Association for Computing Machinery |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | ump-296022024-02-16T07:21:48Z http://umpir.ump.edu.my/id/eprint/29602/ Design and process metamodels for modelling and verification of safety-related software applications in smart building systems Murni, Fatehah Mezhuyev, Vitaliy QA76 Computer software 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. Association for Computing Machinery 2018-12-28 Conference or Workshop Item PeerReviewed pdf en http://umpir.ump.edu.my/id/eprint/29602/1/Design%20and%20process%20metamodels%20for%20modelling%20and%20verification%20.pdf pdf en 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 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 (Published) https://doi.org/10.1145/3301551.3301577 |
| spellingShingle | QA76 Computer software Murni, Fatehah Mezhuyev, Vitaliy Design and process metamodels for modelling and verification of safety-related software applications in smart building systems |
| title | Design and process metamodels for modelling and verification of safety-related software applications in smart building systems |
| title_full | Design and process metamodels for modelling and verification of safety-related software applications in smart building systems |
| title_fullStr | Design and process metamodels for modelling and verification of safety-related software applications in smart building systems |
| title_full_unstemmed | Design and process metamodels for modelling and verification of safety-related software applications in smart building systems |
| title_short | Design and process metamodels for modelling and verification of safety-related software applications in smart building systems |
| title_sort | design and process metamodels for modelling and verification of safety-related software applications in smart building systems |
| topic | QA76 Computer software |
| url | http://umpir.ump.edu.my/id/eprint/29602/ 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 |