RTProb -Real Time Probabilsitic Tool for Probabilistic Schedulability Analysis using Markov Chain - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

RTProb -Real Time Probabilsitic Tool for Probabilistic Schedulability Analysis using Markov Chain

RTProb - Outil probabilsitique en temps réel pour l'analyse probabiliste de la plannabilité à l'aide de la chaîne de Markov

Résumé

This paper presents a probabilistic schedulability analysis tool for probabilistic Real-Time Systems (pRTS). By pRTS we intend a real-time system in which at least one of its parameter is defined using a probability distribution; in our case this parameter is the task Worst Case Execution Time (WCET) which is the probabilistic, probabilistic WCET (pWCET). The tool implements a formalism which is based on formal methods for modelling and analysis of pRTSs. It uses pWCETs to construct Continuous Time Markov Chain models, one per task job. For each job, the CTMC describes the job execution by taking into account all the interferences (probabilistic delays) that might exist. The tool also interface with model checkers for checking the models built. The results of the analysis as given by the tool are the probability of deadline miss and the response time curves for each task and for each job of the tasks.
Cet article présente un outil d'analyse de la plannabilité probabiliste pour les systèmes probabilistes en temps réel (pRTS). Par pRTS nous entendons un système en temps réel dans lequel au moins un de ses paramètres est défini en utilisant une distribution de probabilité; Dans notre cas, ce paramètre est la tâche Worst Case Execution Time (WCET) qui est le WCET probabiliste et probabiliste (pWCET). L'outil implémente un formalisme basé sur des méthodes formelles pour la modélisation et l'analyse des pRTS. Il utilise pWCET pour construire des modèles de chaîne de Markov en temps continu, un par tâche. Pour chaque travail, le CTMC décrit l'exécution du travail en tenant compte de toutes les interférences (retards probabilistes) qui pourraient exister. L'outil interfère également avec les vérificateurs de modèle pour vérifier les modèles construits. Les résultats de l'analyse tels que donnés par l'outil sont la probabilité d'absence d'échéance et les courbes de temps de réponse pour chaque tâche et pour chaque tâche des tâches.
Fichier principal
Vignette du fichier
DTIS18194.1531142160.pdf (125.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02932058 , version 1 (07-09-2020)

Identifiants

  • HAL Id : hal-02932058 , version 1

Citer

Jasdeep Singh, Luca Santinelli, Guillaume Infantes, David Doose, Julien Brunel. RTProb -Real Time Probabilsitic Tool for Probabilistic Schedulability Analysis using Markov Chain. WATERS 2018, Jul 2018, BARCELONE, Spain. ⟨hal-02932058⟩

Collections

ONERA
22 Consultations
14 Téléchargements

Partager

Gmail Facebook X LinkedIn More