Modèles formels du temps et du parallelisme - 4MMMFTP6

1) Modèles du temps et du parallélisme (synchrone, asynchrone, mixte), notion de temps-réel et de distribution, notion de test et de vérification, principes des langages de programmation du domaine.
2) Programmation des applications embarquées (langages pour le temps-réel critique).

Conception de circuits digitaux, automates, programmation séquentielle, systèmes d'exploitation et programmation concurrente.

CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) :

SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique : non
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous
Documents interdits (ex : livres, tous documents) : rien
Matériel (ex : calculatrices):

• matériel autorisé, préciser : rien
• matériel interdit, préciser : téléphones, tablettes, ordinateurs, calculettes
  Commentaires :

SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique : non
Durée : 1h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous
Documents interdits (ex : livres, tous documents) : rien
Matériel (ex : calculatrices):

• matériel autorisé, préciser : rien
• matériel interdit, préciser : téléphones, tablettes, ordinateurs, calculettes
  Commentaires :

N1=E1
N2=E2

Examen 1ère session : écrit, 2h
Examen 2ème session : écrit 1h

Distributed Systems, principles and paradigms, A. Tanenbaum, Prentice-Hall
Real-Time Systems, Jane W.S. Liu, Prentice Hall, 2000