Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPPELLA Rafik Henia, Laurent Rioux Thales Research & Technology, France Zain A. H. Hammadeh, Rolf Ernst TU Braunschweig, Germany Sophie Quinton INRIA Grenoble, France

Bounding Deadline Misses for Weakly Hard Real-Time Systems Worst-case is not always the only relevant case ! E.g. weakly-hard real-time system: Deadline misses are accepted if their distribution is bounded over time Aerial video tracking system Objective: Provide weakly-hard guarantees by bounding the distribution of end-to-end deadline misses of task chains in uniprocessor systems

Performance Viewpoint Analysis for weakly hard systems Bounding Deadline Misses for Weakly Hard Real-Time Systems Designed in CAPELLA CAPELLA Tool TEMPO Framework Design Model Design Model Verification Model Model Abstraction 1 2 3 4 5 6 Result Adaptation Compute Results Performance Viewpoint Analysis for weakly hard systems