What is it about?
This research automatically learns behavioral models of communication protocols from real devices and compares them with protocol specifications. It also checks whether multiple protocols running on the same device interact unexpectedly, using NFC and Bluetooth Low Energy as practical examples.
Featured Image
Photo by Kelly Sikkema on Unsplash
Why is it important?
Communication devices often implement several protocols, making compliance testing difficult and leaving room for hidden interactions or flaws. This work combines automata learning with formal equivalence checking to provide stronger evidence of protocol correctness, helping engineers detect nonconformance, improve interoperability, and uncover unexpected protocol interactions earlier in development.
Perspectives
This work addresses several challenges in learning communication protocols, most notably the handling of timeout-heavy protocol behavior, which is a major source of apparent non-determinism during active automata learning. Furthermore, the introduced dispatcher mechanism enables the automated learning and analysis of multiple protocols operating on the same device, making it possible to systematically detect protocol interactions and interference. To the best of our knowledge, this is a completely novel approache that combines automata learning, formal behavioral equivalence checking, and multi-protocol interference analysis in a rigorous and automated framework.
Stefan Marksteiner
AIT Austrian Institute of Technology
Read the Original
This page is a summary of: Learning single and compound-protocol automata and checking behavioral equivalences, International Journal on Software Tools for Technology Transfer, February 2025, Springer Science + Business Media,
DOI: 10.1007/s10009-025-00797-y.
You can read the full text:
Contributors
The following have contributed to this page
