Aller au contenu Aller au menu Aller à la recherche

accès rapides, services personnalisés
Master Sciences, Technologies, Santé
MENTION SCIENCES POUR L'INGÉNIEUR (SPI)

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.

 

Jennyta Bara - 02/12/15

Traductions :

    Contact

    Responsable :

    Catherine ACHARD

    catherine.achard (at) upmc.fr

     

    Secrétariat :

    Florence GIANGRANDE

    florence.giangrande (at) upmc.fr

    Site Internet de la spécialité

    Bruno Gas - 01/12/15