COURS // MGL849 Modélisation, analyse et programmation des systèmes temps réel
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
| Trimestre | Cours | Groupe |
|---|
Description du cours
- Cycle : 2
- Nombre de crédits : 3
- Discipline : Sciences
- Relève de : École de technologie supérieure
Description
Les systèmes temps réel et embarqués sont omniprésents. Ces systèmes sont souvent caractérisés par des contraintes de temps sévères. En outre, ils sont naturellement concurrents, distribués et souvent critiques. La complexité de tels systèmes est continuellement en croissance. Par conséquent, la conception et l'implémentation de systèmes temps réels corrects et fiables sont des tâches cruciales et complexes. La modélisation de ces systèmes utilisant des méthodes et langages de modélisation standards, comme AADL ou UML MARTE, permet d'une part de maitriser leur complexité, et d'autre part, d'utiliser des techniques d'analyse sophistiquées comme l'analyse d'ordonnancement et d'estimation du temps de réponse au pire cas. Dans ce cours, on introduit les concepts, terminologies et problématiques relatives aux systèmes temps réel et embarqués; le paradigme de programmation concurrente et les problématiques associées à la concurrence; les notions de fiabilité et les techniques de tolérance aux fautes; les méthodes et langages standards de modélisation; et les techniques d'analyse de systèmes temps réel.
