Using execution graphs to model a prefetch and write buffers and its application to the Bostan MPPA - Proceeding of the 9th European Congress on Embedded Real Time Software and Systems Access content directly
Conference Papers Year : 2018

Using execution graphs to model a prefetch and write buffers and its application to the Bostan MPPA

Abstract

Verifying the temporal properties of critical systems embedded in vehicles, like planes or cars, is crucial to avoid catastrophic issues. A key component of this verification is the Worst Case Execution Time (WCET) of the programs composing these systems. A common and sound approach to compute WCET is based on static analysis of the programs that requires, in turn, to precisely model the behavior and the timings of the hardware. Processor-specific features such as pipelines, caches, and buffers influence the hardware performances significantly. Hence taking processor features into account when estimating WCET is essential. Modeling the processor's features formally to ensure safe and accurate estimation is then a must. In this paper, we present the methodology applied to capture the behavior of prefetch and write buffers of the Kalray Bostan MPPA microprocessor, and to incorporate the established models with the Execution Graph (XG) to obtain WCET estimation. These analyses are then applied to the Mälardalen benchmark suite and the experimentation results validate the feasibility of our approach.
Fichier principal
Vignette du fichier
Using execution graphs to model a prefetch and write buffers and its application to the Bostan MPPA.pdf (1.16 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02441594 , version 1 (15-01-2020)

Identifiers

  • HAL Id : hal-02441594 , version 1

Cite

Wei-Tsun Sun, Hugues Cassé, Christine Rochange, Hamza Rihani, Claire Maiza. Using execution graphs to model a prefetch and write buffers and its application to the Bostan MPPA. 9th European Congress on Embedded real time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. ⟨hal-02441594⟩
122 View
77 Download

Share

Gmail Facebook X LinkedIn More