| | | |
Version: 1.0
Support Eclipse Version: 3.3-3.4
License: Free EPL
Development Status: Beta
Company: Aoste Inria / I3S
| |  | Home Page |  | Plugin Support |  | Discussion Forum |  |
| | Update Site URL: http://www-sop.inria.fr/aoste/dev/time_square/site.xml |
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.
Added on: 09-Jan-2009
|
