Table des matières

• Table des matières
• Composition de l'équipe
• Présentation générale et objectifs
• Actions de recherche
  • Programmation temps réel en Signal
    • Brève description du langage
    • Environnement de programmation
    • Expérimentations de Signal, méthodologie de programmation et vérification
  • Études sur le langage et évolution
    • Nouvelle version de Signal : Signal V4
    • Horloges régulières en Signal
    • Intervalles de temps et préemption de tâches
      • Séquencement de tâches flots de données en SIGNAL : SIGNAL GT
      • Primitives de préemption dans les langages réactifs
    • Extension de Signal à des modèles probabilistes
  • Propriétés temporelles des programmes Signal
    • Structure de l'ensemble des états admissibles
    • Étude des propriétés de synchronisation
  • Méthodes d'implémentation et études d'architectures
    • Distribution de programmes Signal
    • Génération d'automates et ``retiming''
    • Format commun des langages synchrones
    • Synthèse de circuits et conception de systèmes matériel--logiciel
• Actions industrielles
  • TNI
  • Projet Synchron
  • Projet Sacres
  • Thomson
  • EDF
  • France Télécom -- Cnet
  • Activités en télécommunication
  • Action Speak
• Actions nationales et internationales
  • Groupement C2A
  • GDR 134
  • Groupe de travail productique
  • Projet inter--PRC ASAR
  • Collaboration franco--indienne
• Diffusion des résultats
  • Colloques et congrès
  • Actions d'enseignement
  • Diffusion de logiciels
• Références