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.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00115120
Contributeur : Bernard Chauvière <>
Soumis le : lundi 20 novembre 2006 - 13:35:37
Dernière modification le : lundi 20 novembre 2006 - 13:35:37

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

77