Rsum du cours - Systmes Temps Rel (STR)
Chapitre 1 Introduction aux systmes temps rel (STR)
--------------------------------------------------------
Dfinition dun STR :
- Rsultat dpend de la logique + respect des dlais.
- "Un rsultat juste hors dlai est un rsultat faux."
- Ex : guidage missile, pression centrale nuclaire.
Contraintes temporelles :
- Respect des chances, pas seulement rapidit.
- STR dur (ex : airbag), mou (jeux vido), ferme.
Caractristiques :
- Contraintes temporelles, Interaction avec lenvironnement, Fiabilit (fail-safe), Prdictibilit, Dterminisme.
Objectifs :
- Ractivit, scurit, fiabilit domaines critiques.
tapes de dveloppement :
1. Analyse des exigences
2. Conception & modlisation
3. Choix HW/SW
4. Programmation multitche
5. Tests & optimisation
Chapitre 2 Multitche dans les STR
------------------------------------
Dfinitions :
- Tche processus ou thread (dpend contexte)
- Multitche = excution simule ou relle de plusieurs tches
Architecture :
- Mono-cur pseudo-parallle
- Multi-cur parallle rel
Ordonnancement :
- FIFO, Round Robin premptif, EDF, RMA, DMA
Partage de ressources :
- Mutex, smaphores pour viter conflits
Synchronisation :
- Dpendances entre tches (vnements, messages...)
Communication inter-tches :
- Files dattente, botes aux lettres
Gestion des bugs :
- Deadlocks, famine, inversion de priorit + ISR
Chapitre 3 Conception & Modlisation
--------------------------------------
Pourquoi modliser ?
- Prvention d'erreurs, optimisation, validation.
Outils :
- UML, Simulink, LabVIEW, QNX, Rseaux de Petri
Symbiose HW/SW :
- Indispensable pour la fiabilit dun STR.
Chapitre 4 Perspectives
--------------------------
Analyse des exigences : identifier deadlines, perfs, fonctions critiques.
Choix HW/SW : mono/multicur, SMP/AMP.
Programmation : paralllisme, multitche, ordonnancement.
Tests : dterminisme, fiabilit avec outils comme Tracealyzer.