Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2017

Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA

Résumé

Real-time systems with functional dependencies between tasks often require guarantees on end-to-end delays. For many of these systems, end-to-end deadline misses are accepted if one can limit their frequency. Such systems are called weakly-hard. Recent work has shown that typical worst-case analysis (TWCA) can compute an upper bound on the number of potential deadline misses in a sequence of activations of a task chain. In a joint collaboration between Thales and TU Braunschweig, the use of TWCA to limit the number of deadline misses in an aerial video tracking (AVT) system was evaluated. The AVT case-study, the complete automated model-based tool chain from the design environment to the timing verification using TWCA, as well as the results of the evaluation will be presented in the demonstration. The tool chain involves four tools: the design modeling tool CAPELLA extended by a performance viewpoint which allows annotating the design model with timing properties needed to perform TWCA, the pivot model TEMPO which handles mismatches between the semantics of the design model and the semantics of the model used in TWCA, the scheduling analysis tool pyCPA that performs TWCA and finally the graphical tool TimingGraphics used to visualize the TWCA results. To show the pertinence of the use of TWCA, we will also compare in the demonstration the obtained results with those obtained using worst-case analysis and simulation.
Fichier principal
Vignette du fichier
RTAS17.pdf (158.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01674754 , version 1 (03-01-2018)

Identifiants

  • HAL Id : hal-01674754 , version 1

Citer

Rafik Henia, Laurent Rioux, Nicolas Sordon, Zain a H Hammadeh, Rolf Ernst, et al.. Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA. RTAS 2017 - IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2017, Pittsburgh, United States. , pp.1-2. ⟨hal-01674754⟩
145 Consultations
180 Téléchargements

Partager

Gmail Facebook X LinkedIn More