On présente à l’étudiant les notions de systèmes temps réel et leurs caractéristiques principales telles que les contraintes de temps, la criticité, la distribution, la concurrence et le parallélisme.
L'étudiant est initié dans ce cours à la programmation de systèmes temps réel et embarqués par la biais de laboratoires pratiques.
L’étudiant est initié dans ce cours à la modélisation des systèmes temps réel en utilisant des langages de modélisation standards appropriés.
L’étudiant sera aussi exposé à des techniques d’analyse afin de procéder à des vérifications formelles des modèles de systèmes temps réel. En particulier, on présente les techniques d’analyse d’ordonnancement et d’estimation du temps de réponses au pire cas.
Le contenu du cours est structuré comme suit :
- Introduction aux systèmes temps réel et embarqués et leurs caractéristiques
- Concurrence et parallélisme dans les systèmes temps réel
- Mécanismes et outils de synchronisation
- Problèmes d’inter-blocage et approches de solutions
- Protocoles d’accès aux ressources
- Méthodes, langages et outils de modélisation de systèmes temps réel
- Techniques d’analyse d’ordonnancement et d’estimation de temps de réponses des systèmes temps réel