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

Bourse

¿ 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