TimeSquare
Timesquare est un solver de contraintes écrites en CCSL, un langage permettant de manipuler le temps logique polychrone. La résolution des contraintes fournit une trace sur laquelle il est possible de brancher des "back-end". Les "back-end" permettent de s'abonner aux différents événements de la spécification dans le but de faire un traitement spécifique. Timesquare fournit un ensemble de back-ends existants dont :
- création d'un timing-diagram (VCD)
- animation d'un diagramme UML Papyrus
- exécution de code java
- analyse de power
- ...
Interopérabilité
Le format d'entrée est spécifique (CCSL). Il y a de fortes corrélations avec le profil MARTE et en particulier le modèle de temps (CCSL ayant été introduit en annexe de la spécification officielle de MARTE). Le format de la trace de sortie a été utilisé dans le projet RT-Simex. Il permet de générer une trace en VCD (IEEE Standard 1364-1995). Il existe également des travaux qui décrivent la traduction d'une spécification CCSL en logique temporelle et vers le langage polychrone Signal.
Environnement du logiciel
Le logiciel tourne dans le RCP Eclipse (version Indigo).
Autres logiciels aux fonctionnalités équivalentes
Il existe des liens avec signal polychrony.
Documentation utilisateur
Voir sur http://timesquare.inria.fr
Contributions
Un projet existe sur gforge.inria.fr mais il n'est pour l'instant pas public et les contributions se font sur demande.