Add to ORKGNational audienceOTAWA 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
This paper presents a flexible method that utilises real-time model checking to determine safe and s...
In this paper, a novel approach to high-level (i.e. architec-ture independent) worst case execution ...
Advanced design techniques of safety-critical applications use specialized development model based m...
OTAWA is a tool dedicated to the WCET computation of critical real-time systems. The tool was enhanc...
The analysis of the worst-case execution times is necessary in the design of critical real-time syst...
WCET calculus is nowadays a must for safety critical systems. As a matter of fact, basic real-time p...
International audienceWorst-Case Execution Time (WCET) is a key component to check temporal constrai...
International audienceIn this article, we present OTAWA, a framework for computing the Worst Case Ex...
International audienceDuring software development, architecture decisions should be documented so th...
In this paper, we propose the use of constraint logic programming as a way of modeling context-sensi...
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precis...
International audienceThe UML Profile for Modeling and Analysis of Real-Time and Embedded systems pr...
Abstract The safety of our day-to-day life depends crucially on the cor-rect functioning of embedded...
The integration of worst case execution time (WCET) analysis in model-based designs allows timing pr...
International audienceThis paper presents the initial step of an aid design method earmarked for ope...
This paper presents a flexible method that utilises real-time model checking to determine safe and s...
In this paper, a novel approach to high-level (i.e. architec-ture independent) worst case execution ...
Advanced design techniques of safety-critical applications use specialized development model based m...
OTAWA is a tool dedicated to the WCET computation of critical real-time systems. The tool was enhanc...
The analysis of the worst-case execution times is necessary in the design of critical real-time syst...
WCET calculus is nowadays a must for safety critical systems. As a matter of fact, basic real-time p...
International audienceWorst-Case Execution Time (WCET) is a key component to check temporal constrai...
International audienceIn this article, we present OTAWA, a framework for computing the Worst Case Ex...
International audienceDuring software development, architecture decisions should be documented so th...
In this paper, we propose the use of constraint logic programming as a way of modeling context-sensi...
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precis...
International audienceThe UML Profile for Modeling and Analysis of Real-Time and Embedded systems pr...
Abstract The safety of our day-to-day life depends crucially on the cor-rect functioning of embedded...
The integration of worst case execution time (WCET) analysis in model-based designs allows timing pr...
International audienceThis paper presents the initial step of an aid design method earmarked for ope...
This paper presents a flexible method that utilises real-time model checking to determine safe and s...
In this paper, a novel approach to high-level (i.e. architec-ture independent) worst case execution ...
Advanced design techniques of safety-critical applications use specialized development model based m...