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