Skip to Main content Skip to Navigation
Journal articles

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

Résumé : 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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00115120
Contributor : Bernard Chauvière <>
Submitted on : Monday, November 20, 2006 - 1:35:37 PM
Last modification on : Tuesday, March 30, 2021 - 12:08:01 PM

Identifiers

  • HAL Id : inria-00115120, version 1

Collections

Citation

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, Lavoisier, 2006. ⟨inria-00115120⟩

Share

Metrics

Record views

172