2025/2026 - CSC_5SE02_TP - Modélisation, Vérification, et Génération des Systèmes Complexes (voie MASC)

Ce cours vise à élargir votre compréhension des méthodologies de conception du logiciel pour les systèmes embarqués temps réel critiques (il est fortement attendu que les étudiantes/étudiants qui souhaitent s'inscrire suivent SE301a au préalable). Ce cours présente des savoir faire et des connaissances en génie logiciel qui restent à la frontière entre la recherche et le développement en vérification de modèles, ingénierie dirigée par les modèles et tolérance aux pannes pour les systèmes temps réel.