Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel TESL
TESL - Tagged Events Specification Language
Date de dernière version : 28 octobre 2014

Responsable : BOULANGER Frédéric


TESL is a declarative language for specifying discrete event behaviors for simulation. It takes many features from CCSL, the Clock Constraints Specification Language, keeping only the synchronous operators on clocks. TESL also takes ideas from the Tagged Signal Model by adding support for time tags and relations between the time scales of different clocks. The algorithm for solving TESL specifications also relies on ideas from the constructive semantics of the Esterel synchronous language.

Pour en savoir plus: http://wdi.supelec.fr/software/TESL/

Logiciel - Licence : EPL



Activités de recherche

Membres
  BOULANGER Frédéric

Equipe
  Modélisation Hétérogène

Logiciels et brevets
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes