v2.1.2 (1856)

Formation Continue - SE751 : Systèmes Embarqués Critiques Temps Réel

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 pédagogiques

L’objectif de ce cours consiste à donner les connaissances nécessaires pour la conception et la réalisation de systèmes embarqués critiques. Le cours s’articule autour de 3 grandes thématiques, comme les algorithmes et architectures de référence, la programmation et les environnements d’exécution de systèmes critiques, et l’analyse et la modélisation de systèmes embarqués critiques. Les cours proposés s’accompagnent toujours de mises en pratiques. L’algorithmique donne par exemple lieu à la mise en oeuvre de ceux, les environnements d’exécution comme ARINC 653 et OSEK sont utilisés sur des exemples concrets.

Les principales compétences visées sont:
Comprendre les problèmes et les solutions pour la conception des systèmes embarqués critiques
Pouvoir analyser et évaluer les systèmes embarqués critiques
Connaître quelques standards industriels du domaine

nombre d'heure en présentiel

29

effectifs minimal / maximal

10/25

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

Pour les étudiants du diplôme Systèmes embarqués

Vos modalités d'acquisition :

Il s’agira d’un contrôle de connaissances de 1h30.
Les travaux pratiques peuvent être rendus ce qui peut donner lieu à l’ajout de quelques points supplémentaires à l’examen.

Le rattrapage est autorisé (Max entre les deux notes)
    L'UE est acquise si Note finale >= 10
    • Crédits ECTS acquis : 2.5 ECTS

    Programme détaillé

    Ordonnancement sur systèmes mono-coeur
    Ordonnancement sur systèmes multi-cœurs
    TD ordonnancement mono et multi-coeurs
    TP Ordonnancement sur systèmes mono-coeur
    TP POSIX pour le temps réel
    Réseaux et Bus temps réel   
    Architectures pour l’avionique   
    TP ARINC 653
    Déterminisme et temps réel dans les architectures matérielles
    TP Déterminisme et temps réel dans les architectures matérielles
    Analyse du pire temps d’exécution
    TP Analyse du pire temps d’exécution
    Examen

    Mots clés

    Systèmes critiques. Algorithmes. Architectures. Ordonnancement. Analyse. Evaluation.
    Veuillez patienter