Compressing Microcontroller Execution Traces to Assist System Analysis

Abstract : Recent technological advances have made possible the retrieval of execution traces on microcontrollers. However, the huge amount of data in the collected trace makes the trace analysis extremely difficult and time-consuming. In this paper, by leveraging both cycles and repetitions present in an execution trace, we present an approach which offers a compact and accurate trace compression. This compression may be used during the trace analysis without decompression, notably for identifying repeated cycles or comparing different cycles. The evaluation demonstrates that our approach reaches high compression ratios on microcontroller execution traces.
Type de document :
Communication dans un congrès
Gunar Schirner; Marcelo Götz; Achim Rettberg; Mauro C. Zanella; Franz J. Rammig. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-403, pp.139-150, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_13〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00853716
Contributeur : Mickaël Delahaye <>
Soumis le : lundi 13 février 2017 - 16:52:19
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40
Document(s) archivé(s) le : dimanche 14 mai 2017 - 15:01:29

Fichier

978-3-642-38853-8_13_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. Gunar Schirner; Marcelo Götz; Achim Rettberg; Mauro C. Zanella; Franz J. Rammig. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-403, pp.139-150, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_13〉. 〈hal-00853716〉

Partager

Métriques

Consultations de la notice

212

Téléchargements de fichiers

28