L'objectif de ce cours est de présenter les notions de base sur lesquelles s’appuient à la fois les systèmes temps-réel complexes et/ou critiques, les architectures matérielles et logicielles associées et les méthodes de conception et des techniques de validation. Le cours aborde les aspects asynchrones de la programmation multi-tâches (ordonnancement, RdP, sémaphores, etc.), les approches par automates synchrones et les concepts théoriques associés (langages synchrones, graphe d’états-transitions, preuve par équivalence observationnelle, etc.). L'accent est mis sur les aspects systèmes et les problèmes de mise en oeuvre logicielle, en présentant différentes classes de problèmes et les solutions adaptées.

Dernière mise à jour : jeudi 4 novembre 2010