Première période

1. Conception et Programmation Avancée
   • Design patterns, composants, etc.
   • Programmation défensive, instrumentation du code.

2. Programmation synchrone (systèmes embarqués synchrones)
   • Langages Lustre, Esterel, Statecharts.
   • Spécification de systèmes temps-réel embarqués.
   • Outils de simulation et d'analyse.

3. Modélisation et Spécification
   • Langages de spécification (par exemple SDL, UML).
   • Formalismes de modélisation : Automates communicants, automates hiérarchiques, MSC, réseaux de Petri, etc.
   • Formalismes de spécification (logiques de premier ordre, logiques temporelles).
   • Logique de Hoare pour les programmes séquentiels, extension aux systèmes concurrents.