LOG550 - Conception de systèmes informatiques en temps réel

Ce cours vise à concevoir et à réaliser des systèmes logiciels temps réel en tenant compte des contraintes temporelles, des mécanismes d'ordonnancement, de synchronisation, de communication entre processus et de fiabilité propres à ce type de système.

Au terme de ce cours, la personne étudiante sera en mesure de :

• analyser les exigences et les caractéristiques propres aux systèmes logiciels temps réel;
• spécifier un système logiciel temps réel à l'aide de méthodologies adaptées aux contraintes temporelles;
• concevoir l'architecture d'un logiciel temps réel intégrant des mécanismes de communication, de synchronisation et d'ordonnancement;
• implémenter un logiciel temps réel sur une plateforme matérielle ou microprocesseur à l'aide d'outils appropriés;
• évaluer le temps de réponse, la fiabilité et la tolérance aux fautes d'un système temps réel;
• valider expérimentalement le comportement d'un logiciel temps réel en laboratoire.

Éléments de contenu : définition du temps réel. Revue des systèmes en temps réel et leurs caractéristiques générales. Exigences du temps réel. Méthodologies et techniques de spécification et de conception de systèmes temps réel. Principales méthodes de communication et de synchronisation entre processus. Technique de compilation croisée et optimisation de code. Techniques d ordonnancement de tâches temps réel. Analyse du temps de réponse. Système d'exploitation temps réel. Mécanisme des interruptions et leur programmation. Fiabilité et tolérance aux fautes.