Skip to Main content Skip to Navigation
Conference papers

A constraint-based WCET computation framework

Abstract : OTAWA is a tool dedicated to the WCET computation of critical real-time systems. The tool was enhanced in order to take into account modern micro-architecture features, through an ADL-based approach. Architecture constraints are expresses such that they can be solved by well known efficient constraint solvers. In this paper, we present how we could describe some complex architecture features using the Sim-nML language. We are also concerned by the validation and the animation point of views.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01217165
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, October 19, 2015 - 10:44:38 AM
Last modification on : Thursday, March 18, 2021 - 2:34:35 PM
Long-term archiving on: : Thursday, April 27, 2017 - 7:09:43 AM

File

herbergue_12743.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01217165, version 1
  • OATAO : 12743

Citation

Hajer Herbegue, M Filali, Hugues Cassé. A constraint-based WCET computation framework. 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013), Oct 2013, Sophia Antipolis, France. pp. 33-36. ⟨hal-01217165⟩

Share

Metrics

Record views

162

Files downloads

69