Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 2006

Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes

Abstract

Dans ce papier, nous proposons une méthode d'évaluation de l'ordonnançabilité reposant sur une analyse markovienne. Tout d'abord, nous modélisons une application temps-réel en utilisant les chaînes de Markov. Nous intégrons ensuite la vérification des contraintes d'exécution. Pour diminuer la complexité, nous introduisons une technique de réduction compatible, d'une part avec l'application, et d'autre part avec les contraintes à vérifier.
No file

Dates and versions

inria-00115120 , version 1 (20-11-2006)

Identifiers

  • HAL Id : inria-00115120 , version 1

Cite

Bernard Chauvière, Dominique Geniet. Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2006. ⟨inria-00115120⟩
63 View
0 Download

Share

Gmail Facebook X LinkedIn More