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

Environnement de programmation d'applications temps réel

Projet EP-ATR

Page de présentation du projet

Localisation : Rennes  

Mots-clés : EP-ATR, temps réel, langage synchrone, parallélisme, programmation par contraintes, Signal, environnement de programmation, système dynamique, méthode formelle, preuve de programme, synthèse de programme, automate de contrôle, graphe de dépendance, ordonnancement, synthèse d'architecture

• Composition de l'équipe
• Présentation générale et objectifs
• Actions de recherche
  • Environnement de programmation temps réel et applications
    • Environnement de programmation
    • Documentation de l'environnement
    • Expérimentations de Signal, méthodologie de programmation et vérification
  • Modèle et langage (évolution)
    • Format commun des langages synchrones
    • Spécification multi-formalisme et interopérabilité
      • Traduction de STATECHARTS en SIGNAL
      • SSL : System Specification Language
    • Nouvelle version de Signal : Signal V4
    • Synthèse de types et systèmes de modules
    • 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 : SIGNALGTi
      • Expressivité des opérateurs de préemption
    • Processus mobiles
    • Extension de Signal à des modèles probabilistes
    • Extension de Signal à des systèmes hybrides
  • Vérification et synthèse
    • Structure de l'ensemble des états admissibles
    • Propriétés dynamiques sur événements discrets
    • Génération d'automates
    • Expressivité et complexité de Sigali
    • Preuves interactives
  • Méthodes d'implémentation et études d'architectures
    • Nouvelles fonctionnalités et distribution de programmes Signal
      • Séparation du contrôle et des calculs
      • Calcul de lignées sur entrées
      • Mises en oeuvre distribuées
    • Conception de systèmes matériel-logiciel
    • Prototypage de composants matériels
• Actions industrielles
  • Projet Sacres
  • Projet Synchron
  • Action Speak
  • TNI
  • EDF
  • France Télécom - Cnet
  • Motorola
  • Projet Reutel
  • AQL
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
    • Asie et Océan Pacifique
• Diffusion des résultats
  • Actions d'enseignement
  • Participation à des colloques
  • Animations scientifiques
  • Diffusion de logiciels
• Références
• Abstract