This paper proposes a new method for deriving quantitative event information for compositional multiprocessor performance anal-ysis. This procedure brakes down the complexity into the analy-sis of individual components (tasks mapped to resources) and the propagation of the timing information with the help of event mod-els. This paper improves previous methods to derive event models in a multiprocessor system by providing tighter bounds and allow-ing arbitrarily shaped event models. The procedure is based on a a simple yet expressive resource model called the multiple event busy time which can be derived on the basis of classical schedul-ing theory — it can therefore be provided for a large domain of scheduling policies. Our experiments show...
International audienceFormal analysis methods of embedded systems provide safe, but unfortunately of...
The paper presents important probabilistic elements that should be taken into consideration in the a...
Timing properties of applications strongly depend on resources that are allocated to them. Applicati...
Complex embedded systems consist of hardware and software components from different domains, such as...
We present a compositional approach to analyze timing behavior of complex platforms with different s...
Many approaches to determine the response time of a task have difficulty to model tasks with multipl...
We present a compositional approach to analyze timing behavior of complex platforms with different s...
Formal methods are growing in importance for performance analy-sis of real-time systems, but embedde...
In this article we present a novel approach to analyzing performance properties of parallel applicat...
Part 5: ARAMIS Special SessionInternational audienceFor most embedded safety-critical systems not on...
International audienceEstimating safe upper bounds on task execution times is required in the design...
Abstract—For hard real-time systems, timeliness of operations has to be guaranteed. Static timing an...
International audienceTiming prediction of complex parallel data flowapplications on multiprocessor ...
International audienceAs multiprocessor systems become increasinglypopular, the timing performance m...
To identify the causes of performance problems or to predict process behavior, it is essential to ha...
International audienceFormal analysis methods of embedded systems provide safe, but unfortunately of...
The paper presents important probabilistic elements that should be taken into consideration in the a...
Timing properties of applications strongly depend on resources that are allocated to them. Applicati...
Complex embedded systems consist of hardware and software components from different domains, such as...
We present a compositional approach to analyze timing behavior of complex platforms with different s...
Many approaches to determine the response time of a task have difficulty to model tasks with multipl...
We present a compositional approach to analyze timing behavior of complex platforms with different s...
Formal methods are growing in importance for performance analy-sis of real-time systems, but embedde...
In this article we present a novel approach to analyzing performance properties of parallel applicat...
Part 5: ARAMIS Special SessionInternational audienceFor most embedded safety-critical systems not on...
International audienceEstimating safe upper bounds on task execution times is required in the design...
Abstract—For hard real-time systems, timeliness of operations has to be guaranteed. Static timing an...
International audienceTiming prediction of complex parallel data flowapplications on multiprocessor ...
International audienceAs multiprocessor systems become increasinglypopular, the timing performance m...
To identify the causes of performance problems or to predict process behavior, it is essential to ha...
International audienceFormal analysis methods of embedded systems provide safe, but unfortunately of...
The paper presents important probabilistic elements that should be taken into consideration in the a...
Timing properties of applications strongly depend on resources that are allocated to them. Applicati...