Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

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

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Volumes horaires

    • CM : 8.25
    • TD : 8.25
    Crédits ECTS : 2.0

Objectifs

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

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ôles 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

Equipe->Programmation-logiciel

Bibliographie

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

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

mise à jour le 15 janvier 2017

Université Grenoble Alpes