Loading...
Adaptation of Model Transformation for Safety Analysis of IoT-based Applications
Abdulhamid, Alhassan Ghafir, Ibrahim Lei, Ci
Abdulhamid, Alhassan
Ghafir, Ibrahim
Lei, Ci
Publication Date
2023-08
End of Embargo
Supervisor
Rights
© 2023 Springer. This version of the article has been accepted for publication, after peer review (when applicable) and is subject to Springer Nature’s AM terms of use. The Version of Record is available online via the doi below
Peer-Reviewed
Yes
Open Access status
embargoedAccess
Accepted for publication
Institution
Department
Awarded
Embargo end date
Abstract
The Internet of Things (IoT) paradigm has continued to provide valuable services across various domains. However, guaranteeing the safety assurance of the IoT system is increasingly becoming a concern. While the growing complexity of IoT design has brought additional safety requirements, developing safe systems remains a critical design objective. In earlier studies, a limited number of approaches have been proposed to evaluate the safety requirements of IoT systems through the generation of static safety artefacts based on manual processes. This paper proposes a model-based approach to the safety analysis of the IoT system. The proposed framework explores the expressiveness of UML/SysML graphical modelling languages to develop a dynamic fault tree (DFT) as an analysis artefact of the IoT system. The framework was validated using a hypothetical IoT-enabled Smart Fire Detection and Prevention System (SFDS). The novel framework can capture dynamic failure behaviour, often ignored in most model-based approaches. This effort complements the inherent limitations of existing manual static failure analysis of the IoT systems and, consequently, facilitates a viable safety analysis that increases public assurance in the IoT systems.
Version
Accepted manuscript
Citation
Abdulhamid A, Kabir S, Ghafir I and Lei C (2023) Adaptation of Model Transformation for Safety Analysis of IoT-based Applications. The UNIfied Conference of DAMAS, IncoME and TEPEN Conferences. August 2023. University of Huddersfield. Mechanisms and Machine Science, vol 152.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Conference paper