Execution trace analysis for a precise understanding of latency violations - Télécom Paris
Article Dans Une Revue Software and Systems Modeling Année : 2023

Execution trace analysis for a precise understanding of latency violations

Résumé

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

Dates et versions

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

Identifiants

Citer

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⟩
129 Consultations
103 Téléchargements

Altmetric

Partager

More