RA 1995     RA 1997
Suivant : Composition de l'équipe

PROJET MEIJE

Parallélisme, Synchronisation et Temps-Réel

Rapport d'activité 1996

Page de présentation du projet - Rapport d'activité au format PostScript

Localisation : Sophia

Mots-clés : MEIJE, concurrence, coopération, réactivité, synchronisation, langage fonctionnel, sémantique, mobilité, langage synchrone, temps réel, parallélisme asynchrone, vérification de programme

• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Sémantique des langages concurrents d'ordre supérieur
    • Sémantique de la mobilité
    • Mobilité et vérification
  • Esterel et la programmation réactive synchrone
    • Etude de la causalité
    • Le compilateur Esterel v5
    • Formats communs de représentation
  • Scripts et objets réactifs
    • Scripts Réactifs
    • La programmation par ICOBJS
    • Production d'automates à partir de la POR/RLib
  • Vérification et analyse de systèmes communicants
    • Vérification par représentation implicite et BDD
    • Vérification par représentation explicite d'espaces d'états
    • Application de techniques déductives aux preuves de bisimulation
• Actions industrielles
  • CTI CNET « Modélisation de processus mobiles et vérification de processus synchrones »
  • CTI CNET « Objets Réactifs »
  • Genie-Dassault
  • Motorola
  • Soft Mountain/ France Telecom
  • Alcatel-AAR Reutel
  • Ventes du compilateur Esterel v5
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
• Diffusion des résultats
  • Enseignement
  • Participation à des conférences et colloques
  • Organisation de colloques et de cours
  • Diffusion de produits
  • Autre
• Références
• Abstract