Ensimag Rubrique Formation 2022

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

  • Volumes horaires

    • CM 8.25
    • TD 8.25

    Crédits ECTS

    Crédits ECTS 2.0

Objectif(s)

Présenter les modèles fondamentaux du temps et du parallélisme pour comprendre à la fois la conception des
systèmes numériques intégrés et la conception des systèmes logiciels temps-réel et embarqués.

Contact Florence MARANINCHI

Contenu(s)

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



Prérequis

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

Contrôle des connaissances

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

Informations complémentaires

Cursus ingénieur->Filière SLE->Semestre 3
Equipe->Programmation-logiciel

Bibliographie

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