Université Paris 7 École Normale Supérieure de Cachan École Normale Supérieure École Polytechnique
Université Paris 6 Université Paris 11 École Nationale Supérieure des Télécommunications
Centre National de la Recherche Scientifique Commissariat à l'Energie Atomique Institut National de Recherche en Informatique et en Automatique

Parisian Master of Research in Computer Science

Master Parisien de Recherche en Informatique (MPRI)

[Home page] [The MPRI course] [Practical information]


Systemes synchrones (24h, 3 ECTS)

Responsables : Marc Pouzet (Univ. Pierre et Marie Curie et ENS Ulm) et Jean Vuillemin (ENS Ulm)

Plan du cours et intervenants prévus pour 2010-2011

  1. Langages synchrones (4 cours - 12h, Marc Pouzet)
  2. Circuits synchrones (4 cours - 12h, Jean Vuillemin)
  3. TD/TP (2 * 3h, Louis Mandel)

Débuts des cours: mercredi 23 septembre 2010, 16h15 - 19h15, ENS.

Objectifs :

Les langages synchrones rencontrent actuellement de nombreux succès dans la réalisation de systèmes embarqués qui sont à la fois très complexes et très sûrs. On en rencontre des exemples très significatifs d'utilisation dans les avions, les trains, les centrales nucléaire ou les téléphones portables. Le système de commande de vol des Airbus, par exemple, est développé avec l'outil SCADE fondé sur le langage synchrone Lustre.

Le cours proposé donne une introduction au modèle de concurrence synchrone et aux langages de programmation qui en sont issus. Il présente leurs fondements théoriques, la sémantique des principaux langages, leur compilation, leur vérification formelle en abordant les travaux les plus récents. Ce cours prend en compte les aspects logiciels et matériels qui sont indissociablement liés.

Cette année, nous consacrerons un cours de 3h a la formalisation d'un compilateur de Lustre vers C à l'aide de Coq ainsi qu'un cours sur la théorie des systèmes N-synchrones. Deux séances de TD/TP sur machine seront organisées.

Plan du cours :

1. Fondements des systèmes synchrones

2. Langages synchrones

3. Vérification et preuve de systèmes synchrones

4. Circuits synchrones

Langues du cours :

Le cours sera a priori en français. Cependant, s'il est suivi par des étudiants non francophones et en accord avec les étudiants, ce cours pourra être donné en anglais.

Supports de cours :

Des notes de cours seront disponibles sous la forme de polycopiés ou de transparents, en français ou en anglais.

Pré-requis :

Cours liés :

Bibliographie :

Les années précédentes

Équipe pédagogique

M. Pouzet PU Pierre et Marie Curie et ENS LIENS
J. Vuillemin PU ENS Ulm LIENS
Louis Mandel MC Univ. Paris-Sud 11 LRI

Attachment Action Size Date Who Comment
Stages_qa_IP_version1.doc manage 34.5 K 26 Oct 2004 - 06:47 LouisGranboulan  


Topic C-2-23-1 . { Edit | Attach | Ref-By | Printable | Diffs | r1.18 | > | r1.17 | > | r1.16 | More }
Revision r1.18 - 23 Jul 2010 - 12:19 - MarcPouzet WebSite.C-2-23-1 moved from WebSite.C-2-23 on 20 Jun 2005 - 20:21 by LouisGranboulan - put it back

Copyright © 1999-2010 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding MPRI? Send feedback