Towards an MDRE Approach to Verify Security and safety of Heterogeneous IoT Apps
Lobna Abuserrieh, Manar H. Alalfi · 2024
The rapid growth of IoT technology across various domains presents challenges in coordinating diverse IoT devices operating on different platforms within shared environments. Our study introduces a Model Driven Reverse Engineering (MDRE) approach to analyze and verify critical properties in heterogeneous IoT applications. By applying this approach to platforms such as SmartThings, Open-HAB, and Amazon Alexa, we illustrate its efficacy in bolstering the security and safety of interconnected IoT systems.