v2.11.0 (5679)

Enseignement scientifique & technique - SE301a : Systèmes Temps Réel Embarqués Critiques (STREC) 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)

Parcours de rattachement

Format des notes

Numérique sur 20

Littérale/grade européen

Pour les étudiants du diplôme Systèmes embarqués et traitement de l'information

Le rattrapage est autorisé (Note de rattrapage conservée)
    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

    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.

    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 Cyber Physical Systems

    Programme détaillé

     

    Veuillez patienter