Projet EP-ATR

Environnement de programmation d'applications temps réel

Rapport d'activité 1995

Page WWW du projet

Localisation : Rennes  

Mots clefs : EP-ATR, temps réel, langage synchrone, parallélisme, programmation par contraintes, Signal, environnement de programmation, interface graphique, système dynamique, calcul formel, preuve de programme, synthèse de programme, graphe conditionnel hiérarchisé, analyse de dépendances, automate, architecture multiprocesseur, VHDL, synthèse d'architecture

• 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