v2.3.2 (2689)

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 se301b sur la conception de logiciel pour systèmes embarqués temps réels critiques (se301 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

nombre d'heure en présentiel

30

nombre de blocs

20

Volume horaire par type d'activité pédagogique : types d'activité

  • Contrôle de connaissance : 2
  • Travaux dirigés : 2
  • Leçon : 12
  • Travaux pratiques : 14

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

La note obtenue rentre dans le calcul de votre GPA.

Veuillez patienter