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
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


Files produced by the author(s)


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


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⟩



Record views


Files downloads