Infrastructure pour la gestion générique et optimisée des traces d’exécution pour les systèmes embarqués

Abstract : Validation process is a critical aspect of systems development. This process is a major concern for embedded systems, to assess their autonomous behavior, led by technical and physical constraints. The growth of embedded systems complexity during last years prevents the use of complex and costly development processes such as formal methods. Thus, post-conception validations must be applied. Execution traces are effective for validation and understanding as they allow the capture of systems behavior during their executions. However, trace analysis tools face two major challenges. First, the management of huge execution traces. Second, the ability to retrieve relevant metrics, from the low-level information the trace contains. This thesis was done as part of the SoC-TRACE projet, and presents three contributions. Our first contribution is a definition of a generic execution trace format that expresses semantics. Our second contribution is a workflow-based infrastructure for generic and automatic trace analysis. This infrastructure addresses the problem of huge traces management using streaming mechanisms. It allows modular and configurable analyses, as well as automatic analyses execution. Our third contribution is about the definition of a generic performance analyses for Linux systems. This contribution provides methods and tools for trace recording, and also analysis workflow to obtain unified performance profiles. We validate our contributions on traces from use cases given by STMicroelectronics, partner of the project, and also on traces recorded from benchmarks executions. Our trace format with semantics allowed us to automatically bring out execution problems. Using streaming mechanisms, we have been able to analyze traces that can reach several hundreds of gigabytes. Our generic analysis method for systems let us to automatically highlight, without any prior knowledge, internal behavior of benchmark programs. Our generic solutions point out a similar execution behavior of benchmarks on different machines and architectures, and showed their impact on the execution.
Document type :
Theses
Complete list of metadatas

Cited literature [66 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01492474
Contributor : Abes Star <>
Submitted on : Monday, April 10, 2017 - 9:59:08 AM
Last modification on : Friday, October 25, 2019 - 1:25:52 AM
Long-term archiving on : Tuesday, July 11, 2017 - 12:22:09 PM

File

MARTIN_2017_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01492474, version 2

Collections

Citation

Alexis Martin. Infrastructure pour la gestion générique et optimisée des traces d’exécution pour les systèmes embarqués. Systèmes embarqués. Université Grenoble Alpes, 2017. Français. ⟨NNT : 2017GREAM001⟩. ⟨tel-01492474v2⟩

Share

Metrics

Record views

1133

Files downloads

2109