Présenter les modèles fondamentaux du temps et du parallélisme pour comprendre à la fois la conception des
systèmes numériques intégrés et la conception des systèmes logiciels temps-réel et embarqués.

1) Modèles du temps et du parallélisme (synchrone, asynchrone, mixte), notion de temps-réel et de distribution, notion de test et de vérification, principes des langages de programmation du domaine.
2) Programmation des applications embarquées (langages pour le temps-réel critique).

Conception de circuits digitaux, automates, programmation séquentielle, systèmes d'exploitation et programmation concurrente.

Distributed Systems, principles and paradigms, A. Tanenbaum, Prentice-Hall
Real-Time Systems, Jane W.S. Liu, Prentice Hall, 2000

Devoir surveillé (2h)(E)

N1=E1
N2=E2