Présentation de la mention

Вид материалаДокументы

Содержание


Responsable : Laurent PAUTET
Proceedings of the 13th International Conference On Real-Time Systems
Responsable : Fabrice KORDON
Подобный материал:
1   ...   51   52   53   54   55   56   57   58   ...   133




Acronyme : fset

Spécialité : SAR

3 ECTS

Niveau : 500

Semestre : S3

Titre : Fondements des systèmes embarqués temps réel

Responsable : Laurent PAUTET

Répartition hebdomadaire ou semestrielle


(30h/7 semaines)

Contenu



FSET permet à l'étudiant de découvrir le domaine du temps réel et de l'embarqué et d'assimiler les notions de base en la matière. Cette unité d'enseignement s'intéresse plus particulièrement aux fondements algorithmiques, aux systèmes d'exploitation et aux langages de programmation appliqués au domaine du temps réel. Cette unité d'enseignement vise à donner aux étudiants les notions de base sur les systèmes temps réel embarqués. En plus d'une partie introductive, l'enseignement est découpé en trois parties. Les fondements algorithmiques portant sur la gestion des ressources (ordonnancement, partage, communication) et sur la sûreté de fonctionnement sont abordés. Par la suite sont présentés les systèmes d’exploitation temps réel et leurs interfaces, en particulier noyaux temps réel embarqués (notamment POSIX). Elle aborde également les architectures, les communications et les outils qu'ils mettent en oeuvre. Enfin, une présentation des langages de programmation aborde la mise en oeuvre des systèmes temps réel au travers des langages de programmation. On y présente principalement l'approche asynchrone (Ada, Java, par exemple). La partie synchrone étant faite par ailleurs dans l’UE Langages Synchrones (LS)

Expérience du responsable dans le domaine de l’UE



Outre le pilotage et la réalisation de nombreux logiciels libres internationalement connus (notamment dans la communauté des systèmes répartis et celle des systèmes temps réel), je participe à de nombreux comités de programme dans le domaine (par exemple ISORC ou RTS). Je participe à de nombreux projets européens dont le projet ASSERT et j’entretiens de nombreuses collaborations avec les industriels du domaine.

Réalisations du responsable dans le domaine de l’UE




  • Responsable de l’enseignement des systèmes temps réel embarqués à l’ENST. Plusieurs publications dans de nombreuses conférences du domaine.
    Laurent Pautet, Jérôme Hugues, Fabrice Kordon. Towards Proof-Based Real-Time Distribution Middleware. In Proceedings of the 13th International Conference On Real-Time Systems, Paris, France, April 2005
  • Responsable scientifique du projet PolyORB (300 KLOC). PolyORB est un intergiciel libre utilisé par des industriels et des universitaires et labelisé par le consortium Objectweb. Ce logiciel se caractérise notamment par des propriétés temps réel. Ce logiciel est maintenu par la société AdaCore pour des industriels du domaine du temps réel.
  • Responsable scientifique pour l’ENST du projet européen IST-FP6 IP-ASSERT (ayant pour coordinateur l’Agenace Spatiale Européenne)







Acronyme : grar

Spécialité : SAR

3 ECTS

Niveau : 500

Semestre : S4

Titre : Groupe de recherche applications réparties

Responsable : Fabrice KORDON

Répartition hebdomadaire ou semestrielle


(30h/7 semaines)

Contenu



L'objectif de cette UE est de présenter les techniques de base pour la recherche (étude bibliographique, présentations scientifique, rédaction d'états de l'art). Ces activités seront centrés dans le domaine des applications réparties (modélisation, vérification, réalisation).

Expérience du responsable dans le domaine de l’UE



Diplômé du doctorat de l'UPMC en 1992 puis d'une habilitation à diriger des recherches en 1992, mes activités de recherche se situent au confluent des méthodes formelles, des systèmes répartis et du génie Logiciel. J'ai lancé de nombreuses directions de recherche et encadre simultanément 6 à 7 thèses d'Université (dont certaines en collaboration avec de jeunes docteurs).

Réalisations du responsable dans le domaine de l’UE




  • Responsable scientifique de plusieurs projets de recherche
  • Responsable scientifique du thème Systèmes Répartis et Coopératifs depuis 2002
  • Membre du steering committe de la conférence rapid System prototyping (IEEE)depuis 1999
  • Membre du steering committe des "Monterey worekshop series" (NSF/ARO) depuis 2004