logo Insalogo Insa

Systèmes concurrents et temps réel

Objectifs

Ce module traite de la spécification, la modélisation et la réalisation de systèmes parallèles, communicants, synchronisés et contraintes par le temps.

Pré-requis

PSM : Introduction au système d'exploitation. Langage C. Notions d'assembleur.
MSC : Théorie des graphes
PTR : Langage C

Evaluation

L'évaluation des acquis d'apprentissage est réalisée en continu tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs...