Formal UML-based Modeling and Analysis for Securing Location-based IoT Applications
Hector Cardenas, Ryan Zimmerman, Antonio Rosales Viesca, Mustafa Al Lail, Alfredo J. Pérez · 2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS) · 2022
We present a process and a tool to apply formal methods in Internet of Things (IoT) applications using the Unified Modeling Language (UML). As there are no best practices to develop secured IoT systems, we have developed a plug-in tool that integrates a framework to validate UML software models and we present the design of a location-based IoT application as a use case for the validation tool.