TimeSquare
Abstract
TimeSquare is a software environment for the modeling, simulation and analysis of timing constraints in embedded systems. It relies specifically on the Time Model of the Marte UML profile, and more accurately on the associated Clock Constraint Specification Language (CCSL) for the expression of timing constraints.