IoT-SafeMod: Model-Driven Security and Safety for IoT Applications
Lobna Abuserrieh, Manar H. Alalfi · 2025
The Internet of Things (IoT) is transforming everyday life by automating tasks through platforms such as SmartThings, OpenHab, IFTTT, and Alexa. However, early developments in IoT often encounter challenges related to verification, particularly for non-technical users and across various IoT platforms. To address this issue, we present, IoT-SafeMod, a Model-Driven Engineering (MDE) tool that utilizes UML models with integrated real-time verification. This tool helps designers address security and safety issues proactively during the mod-eling phase. This paper discusses the development and effectiveness of IoT-SafeMod in ensuring secure and safe IoT systems through early verification in the development process.