Enseignement

Conception de systèmes critiques avec la méthode Event-B (3A - Ingénieur CentraleSupelec)

• Les concepts de base de la méthode Event-B,
• La modélisation par raffinement,
• Validation par animation et model-checking,
• La modélisation par la spécification de théories.

Volume horaire : 7.5h CM + 7.5h TD + 6h Projet

Systèmes d'exploitation (3A - Ingénieur CentraleSupelec)

• Système de fichiers
• Gestion des processus sous UNIX
• Introduction à la programmation Shell
• Gestion des processus, des threads et synchronisation
• Organisation et Gestion de la mémoire

Volume horaire : 12h CM + 6h TD + 6h TP

Architectures Applicatives (3A - Ingénieur CentraleSupelec)

• Développement d'applications Web avec Jakarta EE

Volume horaire : 1.5h CM + 3h TP

Conception et vérification de systèmes critiques (2A - Ingénieur CentraleSupelec)

• Introduction aux méthodes formelles
• La spécification des propriétés avec la logique LTL
• La spécification des propriétés avec la logique CTL

Volume horaire : 4.5h CM + 3h TD

Computer Architecture and Software Execution Process (1A - Bachelor CentraleSupelec/ESSEC)

• Computer Architecture
• Data representation
• Compilation and interpretation processes
• Internal Architecture of Microprocessors
• Memory management

Volume horaire : 7.5h CM + 4.5h TD + 6h TP