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 :

    Actualité

    La campagne de candidature est ouverte jusqu'au 30 juin sur le site de l'UPMC. Plus d'informations dans l'onglet Candidature et inscription.

    » Lire la suite

    Contact

    Responsable :

    Kévin BAILLY

    kevin.bailly(at)upmc.fr

     

    Secrétariat :

    Florence GIANGRANDE

    florence.giangrande(at)upmc.fr

    Site Internet de la spécialité

    Bruno Gas - 14/01/16