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
effectifs minimal / maximal:
10/25Format des notes
Numérique sur 20Littérale/grade européenPour 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 obligatoire si :
- Note initiale < 6
- le rattrapage peut être demandé par l'étudiant si :
- 6 ≤ note initiale < 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