Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software TESL
TESL - Tagged Events Specification Language
Date of the last release: 20 April 2018

Person in charge : 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.

More information:

Software - Licence : EPL

Research activities

  BOULANGER Frédéric

  Heterogeneous Modeling

Software & patents
Low-cost Solution for Tangible Interfaces

Browsing Linked Data Catalogs with LODAtlas

Query Intermediate Representation Library