Descriptif
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.Objectifs pédagogiques
cf descriptif anglais
30 heures en présentiel
48 heures de travail personnel estimé pour l’étudiant.
Diplôme(s) concerné(s)
Format des notes
Numérique sur 20Littérale/grade américainPour les étudiants du diplôme M2 CPS - Système Cyber Physique
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 7
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 7
- Crédits ECTS acquis : 2.5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
