Reverse Engineering Behavioural Models of IoT Devices - Université Clermont Auvergne
Communication Dans Un Congrès Année : 2019

Reverse Engineering Behavioural Models of IoT Devices

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02134046 , version 1

Citer

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⟩
264 Consultations
315 Téléchargements

Partager

More