Informatique sûre et temps réel

Télécharger le fichier PDF (118 KB)

Objectif de l'unité d'enseignement

Cette unité d'enseignement vise à apporter une compréhension des systèmes temps réel embarqués en donnant les clés de la modélisation et de la programmation d'applications multi-tâches sur des systèmes d'exploitation temps réel couramment utilisés et des outils permettant de garantir la sûreté de fonctionnement.

contenu de l'unité d'enseignement

- Introduction aux systèmes d'exploitation temps réel, quelques exemples.

- Tâches et objets du noyau (sémaphores, files d'attente, etc.), ordonnancement, synchronisation et communication.

- Temporisation, système d'entrées-sorties, exceptions et interruptions.

- Outils d'analyse d'une application temps réel, réseaux de Petri.

- Stratégie globale de validation, sûreté de fonctionnement logicielle.

pré-requis

Langage C

modalités de contrôle des connaissances

Examens répartis, TP, Projet dans le cadre de l'UE Projet Intégratif pour les étudiants qui en font le choix.