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
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érequisConception 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
mise à jour le 15 janvier 2017