Zhang, HongmingBowen, JudyTurner, Jessica DawnKönig, Jemma Lynette2026-06-162026-06-162026Zhang, H., Bowen, J., Turner, J., & Konig, J. (2026). Verifying interoperability in evolving IoT systems. Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering, 1, 851-858. https://doi.org/10.5220/0014905600004015978-989-758-828-02184-4895https://hdl.handle.net/10289/18372As IoT devices age they must be replaced to maintain reliability and performance. During upgrades, ensuring interoperability among new and existing devices is critical for preserving designated system behaviours. Existing formal verification approaches rely on system documentation or source code to build formal models or extract flat models from system logs. We propose a novel log-driven verification framework that automatically discovers executable Hierarchical Colored Petri Nets (HCPNs) from raw IoT system logs. The framework integrates model checking to verify cross-layer interoperability during IoT system evolution and device replacement. We demonstrate the effectiveness of our approach using a street lighting system study.enAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/interoperabilityIoTmodel checkingprocess miningsoftware engineeringsystem upgradeConference Contribution10.5220/0014905600004015