Reverse Engineering Behavioural Models of IoT Devices - Université Clermont Auvergne Access content directly
Conference Papers Year :

Reverse Engineering Behavioural Models of IoT Devices


This paper addresses the problem of recovering behavioural models from IoT devices in order to help engineers understand how they are functioning and audit them. We present a model learning approach called ASSESS, which takes as inputs execution traces collected from IoT devices and generates models called systems of Labelled Transition Systems (LTSs). ASSESS generates as many LTSs as components integrated and identified into a device. The approach is specialised to IoT devices as it takes into account two architectures often used to integrate components with this kind of system (cyclic functioning, loosely-coupled or decoupled architectures). We experimented the approach on two IoT devices and an IoT gateway to evaluate the model conciseness and the approach efficiency.
Fichier principal
Vignette du fichier
papier.pdf (645.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02134046 , version 1 (20-05-2019)


  • HAL Id : hal-02134046 , version 1


Sébastien Salva, Elliott Blot. Reverse Engineering Behavioural Models of IoT Devices. 31st International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2019, Lisbon, Portugal. ⟨hal-02134046⟩
222 View
269 Download


Gmail Facebook Twitter LinkedIn More