A constraint-based WCET computation framework

Hajer Herbegue (1) , M Filali (2, 3) , Hugues Cassé (1, 4)

1 IRIT-TRACES - Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 CNRS - Centre National de la Recherche Scientifique
4 UT3 - Université Toulouse III - Paul Sabatier

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.

Mots clés: Modélisation et simulation

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Cryptographie et sécurité [cs.CR]; Interface homme-machine [cs.HC]; Architectures Matérielles [cs.AR]; Modélisation et simulation

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⟩