v2.11.0 (5679)

Enseignement scientifique & technique - CSC_5SE01_TP : Systèmes Temps Réel Embarqués Critiques (STREC) - SE301a partie 1

Domaine > Informatique.

Descriptif

Cette unité d'enseignement vise à donner aux étudiants les connaissances indispensables pour la conception de systèmes temps réel embarqués critiques. Notamment, l'enseignement se concentre sur les problèmes liés à la satisfaction de contraintes non-fonctionnelles (contraintes matérielles, temporelles, etc.) dans le cadre de la conception de systèmes temps réel et souvent critiques. Plus particulièrement, le cours porte sur des aspects algorithmiques comme la théorie de l’ordonnancement, sur la conception bas niveau avec mise en œuvre sur noyaux temps réel, sur la modélisation, l’analyse et la production de code embarqué, sur les approches pour la sûreté de fonctionnement ou encore sur les standards industriels  propres à l’avionique, l’automobile ou le ferroviaire.
Objectifs d'apprentissage :

  • Algorithmes et Architectures de référence
    • Algorithmes d'ordonnancement de tâches et serveurs périodiques
    • Systèmes et architectures dans l’avionique et l’automobile
    • Motifs de conception pour la tolérance aux fautes
    • Synthèse de logiciel embarqué à partir de modèle (AADL -> C)
  • Programmation
    • Programmation temps réel via différentes API
    • Programmation de la tolérance aux fautes
    • Implémentation d'un ordonnanceur
  • Analyse et Modélisation
    • Tests d'ordonnancement analytiques
    • Calcul de pire temps d'exécution
    • Définition et interprétation de modèles pour calculs de fiabilité / disponibilité pour systèmes critiques
Prérequis : SE201, SE202 et SE205, soit :
  • Programmation C élémentaire.
  • Principes de la compilation 
  • Fonctionnement d'un processeur et hiérarchie mémoire.
  • Programmation concurrente élémentaire : expression de la concurrence, mécanismes de synchronisation
  • Mathématiques : probabilités discrètes élémentaires

30 heures en présentiel (20 blocs ou créneaux)
réparties en:
  • Leçon : 17
  • Travaux Pratiques : 10
  • Contrôle de connaissance : 2
  • Travaux Dirigés : 1

45 heures de travail personnel estimé pour l’étudiant.

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

Littérale/grade européen

Pour les étudiants du diplôme Programme de mobilité des établissements français partenaires

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 :

Contrôle de connaissances (2h00) et comptes rendus de TP.

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 Master M2 - Systèmes embarqués et traitement de l'information

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 Echange international non diplomant

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 3 ECTS

La note obtenue rentre dans le calcul de votre GPA.

Programme détaillé

 

Veuillez patienter