• Details
• Metrics
• Errors
• Screenshots

Categories:

Free Tagging:

Aoste BDD Binary Decision Diagram CCSL Clock Constraint Specification Language I3S INRIA JavaBDD Kermeta Marte MDT Modeling Observer Papyrus Time Model UML VCD

Login or register to tag items

TimeSquare is a software environment for modeling and analyzing timed systems. It supports an implementation of the Time Model introduced in the MARTE UML profile, and its companion Clock Constraint Specification Language (CCSL).

TimeSquare has four main functionalities:

* 1. interactive clock-related specifications, through dialog boxes,
* 2. clock constraint checking,
* 3. generation of a consistent temporal structure, using a Boolean solver,
* 4. displaying and exploring waveforms, written in the IEEE standard VCD format.