Skip to Main content Skip to Navigation
Conference papers

Reverse Engineering Behavioural Models of IoT Devices

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Sébastien Salva <>
Submitted on : Monday, May 20, 2019 - 11:37:47 AM
Last modification on : Wednesday, February 24, 2021 - 4:24:03 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads