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
- Travaux Pratiques : 14
- Leçon : 12
- Travaux Dirigés : 2
- Contrôle de connaissance : 2
Diplôme(s) concerné(s)
- M2 CPS - Cyber Physical Systems
- M2 DS - Data Science
- Programme de mobilité des établissements français partenaires
- Echange international non diplomant
- Diplôme d'ingénieur
Parcours de rattachement
Pour les étudiants du diplôme Diplôme d'ingénieur
SE301a
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme M2 CPS - Cyber Physical Systems
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 2.5 ECTS
Pour les étudiants du diplôme Echange international non diplomant
Vos modalités d'acquisition :
examen, rapports de TP/projet
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 3 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Diplôme d'ingénieur
Vos modalités d'acquisition :
examen, rapports de TP/projet
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 3 ECTS
- Crédit d'Option 3A acquis : 3
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Programme de mobilité des établissements français partenaires
Vos modalités d'acquisition :
examen, rapports de TP/projet
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M2 DS - Data Science
Programme détaillé
cf descriptif anglais
Mots clés
Méthodes formelles, logiques temporelles, ingénierie dirigée par les modèles, génération de code, tolérance aux fautesMéthodes pédagogiques
cours, TP, TDSupport pédagogique multimédia
