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)
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 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 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 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.
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
