Upload
khawlamanaa
View
219
Download
6
Embed Size (px)
DESCRIPTION
temps reel
Citation preview
Analyse de Faisabilit des Systmes Temps RelLe but de ce TD est danalyser la faisabilit dun systme de tches temps-rel.Pour cela vous devez comprendre les notions de condition de charge, de priodedtude et de temps de rponse.
xExercice 1. Affectation des priorits, analyse de chargeSystme S1 Cot Priode Echance
1 3 7 62 3 8 5
1. Tracez le diagramme temporel dexcution du systme sur une feuille jointe. Vousallez tracer uniquement la premire instance des 2 tches du systmes S1. Af-fectez les priorits en Rate Monotonic. Le systme est il faisable ?
2. Affectez maintenant les priorits en Deadline Monotonic. Le systme est il faisableau vu de ce trac ? Que conclure quand loptimalit de RateMonotonic ?
3. Effectuez une analyse de charge dans les 2 cas. Que pouvez vous conclure aveccette tude de charge ?
xExercice 2. Busy Period Vous allez tudier les systmes S2 et S3.Systme S1 Cot Priode Echance Priorit
1 2 7 7 H2 3 11 11 M3 5 13 13 L
Systme S2 Cot Priode Echance Priorit1 4 8 10 H2 3 6 8 L
1. Tracez le diagramme temporel dexcution des deux systmes sur les feuillesjointes.
1
2. Calculez la Busy Period de niveau H, M et L pour le systme S1 et de niveauxH et L pour le systme S2 en utilisant la Fonction de Demande Processeur.
3. Relevez les Busy Period sur le diagramme dexcution des systmes.4. Relevez sur le diagramme dexcution les temps de rponse de chacune des tchesi des systmes S1 et S2 . Indiquez le pire temps de rponse.
5. Calculez les pires temps de rponse de chacune des tches i des systmes S1et S2.
6. Le calcul de la Busy Period tait il ncessaire ?
xExercice 3. Analyse de Faisabilit RTSJ1. Les mthodes addIfFeasible() et isFeasible() permettent de vrifier priori
que les tches sont ordonnanables.2. Vous allez programmer les systmes S1, S2, S3 et effectuer un test de faisabi-
lit.3. Le systme S4 est il faisable ? Vous allez le programmer et tester sa faisabilit
avec RI.
Systme S4 Cot Priode Echance Priorit1 3 6 6 H2 4 6 6 L
4. Que penser des rsultats ?
xExercice 4. Ralisation de la classe AdmssionControl1. Coder la mthode phiBusy qui calcul la Busy period de niveau Phi.
BPi = mint>0{t =
kHP (i)i
t
Tk
Ck} (1)
Avec HPj lensemble des tches de priorit suprieure i. On calcul Qi lenombre de priodes dans la priode dtude de niveau i.
Qi =
BPiTi
(2)
2. Coder la mthode responseTime qui calcul le pire temps de rponse dune tche.
2