Précédent : Expérimentations de Signalméthodologie de Remonter : Actions de recherche Suivant : Format commun des langages synchrones

Modèle et langage (évolution)

Mots-clés : Signal, environnement de programmation

• 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