GOGONEL , Adriana

No description

Probabilistic analysis are considered nowadays an interesting solution for real-time systems as the probabilityof appearance of worst-case values is small (10−45 per hour of functioning) compared to the acceptedprobability of failure (10−9 per hour of functioning for the highest safety level in avionics). In order to takeinto account this...

The arrival of modern and more complex processors (e.g., use of caches, multi-and many-core processors) increases the timing variability of tasks, i.e., the worst case execution time (WCET) is becoming significantly larger, while the probability of appearance of a worst case execution time is extremely low. Approaches taking into account this...

International audience

The use of increasingly complex hardware and software platforms in response to the ever rising performance demands of modern real-time systems complicates the verification and validation of their timing behaviour, which form a time-and-effort-intensive step of system qualification or certification. In this paper we relate the current state of...