Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes
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 tempsréel en utilisant des 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.
In this paper, we present an evaluation technique for feasability of hard real-time systems which relies on Markovian analysis. First, we model a real-time application by using Markov chains. Then, we integrate execution constraints checking into the random walks. To improve complexity, we introduce a reduction technique compatible with both the application and the constraints to be checked.
B.CHAUVIÈRE, D.GENIET
Reçu le 8 avril 2005.
Accepté le 5 mars 2007.
temps-réel, chaînes de Markov, modélisation, contraintes d'exécution, vérification de contraintes, réduction des chaînes de Markov.
real-time, Markov chains, model, execution constraints, contraints checking, Markov chains reduction.
Français
|
