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...

Bibliographie

La programmation sous UNIX / JM.Rifflet.. Ediscience 1995
L'environnement de programmation UNIX / B.Kernighan, R.Pike. Intereditions 1987
Programming with threads / S.Kleiman, S.Shah, B.Smaalders. Prentice Hall. Prentice Hall
Les Réseaux de Petri / M. Diaz. Hermes Science
Systèmes temps réel 1. Techniques de description et de vérification, Traité ICC. Informatique et Systèmes d'Information, Ed. Lavoisier, N°ISBN 2-7462-1303-6, 2006
Vérification de logiciels : techniques et outils du model-checking / Ph. Schnoebelen, B. Bérard. Vuibert
Introduction aux systèmes temps réel / C. Bonnet, L. Demeure. Hermes 1999