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 metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal-clermont-univ.archives-ouvertes.fr/hal-02134046
Contributor : Sébastien Salva <>
Submitted on : Monday, May 20, 2019 - 11:37:47 AM
Last modification on : Wednesday, May 29, 2019 - 1:16:43 AM

File

papier.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02134046, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

53

Files downloads

25