Execution trace analysis for a precise understanding of latency violations - Equipe System on Chip Access content directly
Journal Articles Software and Systems Modeling Year : 2023

Execution trace analysis for a precise understanding of latency violations

Abstract

Despite the amount of proposed works for the verification of embedded systems, understanding the root cause of violations of requirements in simulation or execution traces is still an openissue, especially when dealing with temporal properties such as latencies. Is the violation due to an unfavorable real-time scheduling, to contentions on buses, to the characteristics of functional algorithms or hardware components? The paper introduces the Precise Latency ANalysis approach (PLAN), a new trace analysis technique whose objective is to classify execution transactions according to their impact on latency. To do so, we rely first on a model transformation that builds up a dependency graph from an allocation model, thus including hardware and software aspects of a system model. Then, from this graph and an execution trace, our analysis can highlight how software or hardware elements contributed to the latency violation. The paper first formalizes the problem before applying our approach to simulation traces of SysML models. A case study defined in the AQUAS European project illustrates the relevance of our approach. Last, a performance evaluation gives computation times for several models and requirements.
Fichier principal
Vignette du fichier
SoSyMjournal.pdf (1.74 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03930026 , version 1 (09-01-2023)

Identifiers

Cite

Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert. Execution trace analysis for a precise understanding of latency violations. Software and Systems Modeling, 2023, ⟨10.1007/s10270-022-01076-z⟩. ⟨hal-03930026⟩
51 View
54 Download

Altmetric

Share

Gmail Facebook X LinkedIn More