v1.17.9 (1402)

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.

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