MGL849 - Modélisation, analyse et programmation des systèmes temps réel
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.
Ce cours présente 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.