TimeSquare

Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 08/01/14
  • Correction mineure : 08/01/14
  • Auteur de la fiche : Julien Deantoni (AOSTE UNS/I3S/INRIA)
  • Responsable thématique : Dirk Hoffmann (Centre de Physique des Particules de Marseille (CPPM-IN2P3))
Mots-clés

TimeSquare : simulation de temps logique et physique en CCSL (Clock Constraint Specification Language)

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.

 

Fonctionnalités générales du logiciel

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.

Contexte d’utilisation du logiciel

Le logiciel a été utilisé pour diverses applications telles que la spécification de modèles de calcul, la réalisation d'analyse temporelle sur EAST-ADL, encoder formellement la notion de tâche périodique, le déploiement d'applications, etc.

CCSL et Timesquare sont également utilisés pour décrire les aspects concurrents et temporels de la sémantique de langage dans un but de composition au sein du projet GEMOC (http://gemoc.org/sle13/).

Pour plus de détails, voir liste des publications sur le site timeSquare ci-dessous.

Publications liées au logiciel