 |
 |
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.
Keywords :
Modélisation et simulation
Cited literature [17 references]
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
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)