v2.11.0 (5776)

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

Domaine > Informatique.

Descriptif

Cette unité d'enseignement complète les savoir-faire et connaissances acquis en se301a sur la conception de logiciel pour systèmes embarqués temps réels critiques (se301a requis). Plus particulièrement, le cours porte l'accent plus sur la dimension "critique" par rapport à se301b mais approfondi certains concepts de la conception d'applications temps réel. Ainsi, vous verrez différentes méthodes de calculs de pire temps d'exécution d'un code séquentiel, des méthodes de synthèse de code à partir de modèles comportementaux (Description en AADL et génération automatique de code C pour plateforme embarquée temps réel et analyse).

Vous verrez aussi  comment la notion de logiciel critique contraint la conception au-delà de l'analyse d'ordonnançabilité. Vous aurez déjà vu un exemple de telles contraintes dans se301a dans le cas du développement pour plateforme avionique, e.g. ARINC 653. Le but ici est d'aborder la théorie motivant l'usage de cette démarche de développement.

Objectifs d'apprentissage :

  • Algorithmes et Architectures de référence
    • Synthèse de logiciel embarqué à partir de modèle (AADL -> C) à temps de réponse garanti.
    • Introduction à la tolérance aux fautes logicielle/matérielle  (comment produire des résultats justes)
    • Motifs de conception pour la gestion des défaillances temporelles en temps réel (comment produire les résultat au bon moment)
  • Programmation
    • Programmation de zone de confinement d'erreur par enveloppe et réplication
    • Programmation des modes dégradés de fonctionnement par chien de garde temporel (i.e. gestion des défaillance temporelles)
  • Analyse et Modélisation
    • Calcul de pire temps d'exécution sans et avec prise en compte de caches
    • Définition et vérification de modèles pour calculs de fiabilité / disponibilité pour systèmes critiques

Pré-requis (obligatoire) : SE301A, SE201, Cours de 1A (INF104)

Site pédagogique (contenu pédagogiques-- transparents et sujets de tp) : strec.wp.imt.fr

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

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

Diplôme(s) concerné(s)

Pour les étudiants du diplôme Diplôme d'ingénieur

SE301a

Format des notes

Numérique sur 20

Littérale/grade européen

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 Programme de mobilité des établissements français partenaires

La note obtenue rentre dans le calcul de votre GPA.

Support pédagogique multimédia

Oui

Veuillez patienter