Analyse de traces d'exécutions pour les systèmes embarqués : détection d'anomalies par corrélation temporelle - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport Technique) Année : 2014

Analyse de traces d'exécutions pour les systèmes embarqués : détection d'anomalies par corrélation temporelle

Alexis Martin

Résumé

La complexité croissante des systèmes embarqués, tant au niveau matériel que logiciel, rend difficile leur développement et en particulier les tâches de débogage et d'optimisation des performances. L'utilisation d'outils de débogage ou d'analyse interactifs implique une perturbation importante du fonctionnement normal des systèmes. L'alternative est d'effectuer la mise au point du système après son exécution en utilisant des traces d'exécution. Les traces d'exécution de systèmes embarqués contiennent usuellement de nombreuses informations concernant des événements de bas niveau (appels système, interruptions,...). Elles ne donnent qu'une vision microscopique du comportement et sont difficiles à comprendre et à analyser pour un acteur humain. Les développeurs ont besoin d'outils qui représentent les traces de manière synthétique et qui les aiguillent dans leur recherche de problèmes. Dans ce rapport nous décrivons une méthode de detection automatique de problèmes d'exécution se basant sur des traitements statistiques et la notion de correlation temporelle. La méthode distingue entre phénomènes normaux et anormaux dans la trace et identifie des possibles déclencheurs de ces derniers. La méthode a été implémentée au sein de l'infrastructure FrameSoC et a été validée avec un scénario de décodage multimédia.
Fichier principal
Vignette du fichier
RT-450.pdf (3.83 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01073315 , version 1 (09-10-2014)

Identifiants

  • HAL Id : hal-01073315 , version 1

Citer

Alexis Martin, Vania Marangozova-Martin. Analyse de traces d'exécutions pour les systèmes embarqués : détection d'anomalies par corrélation temporelle. [Rapport Technique] RT-0450, Inria. 2014, pp.20. ⟨hal-01073315⟩
173 Consultations
199 Téléchargements

Partager

More