TimeSquare - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Patents Year : 2012



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.
No file

Dates and versions

hal-01355710 , version 1 (24-08-2016)


  • HAL Id : hal-01355710 , version 1


Nicolas Chleq, Benoît Ferrero, Julien Deantoni, Frédéric Mallet, Charles André. TimeSquare: Logical Time Matters. France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012. ⟨hal-01355710⟩
260 View
0 Download


Gmail Facebook X LinkedIn More