ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 26/10 - 2007  - pp.1269-1303  - doi:10.3166/tsi.26.1269-1303
TITRE
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 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.


ABSTRACT
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.


AUTEUR(S)
Bernard CHAUVIÈRE, Dominique GENIET

Reçu le 8 avril 2005.    Accepté le 5 mars 2007.

MOTS-CLÉS
temps-réel, chaînes de Markov, modélisation, contraintes d'exécution, vérification de contraintes, réduction des chaînes de Markov.

KEYWORDS
real-time, Markov chains, model, execution constraints, contraints checking, Markov chains reduction.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (1,24 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier