TimeSquare: Logical Time Matters

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.
Complete list of metadatas

https://hal.inria.fr/hal-01355710
Contributor : Team Kairos <>
Submitted on : Wednesday, August 24, 2016 - 9:49:59 AM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM

Identifiers

  • HAL Id : hal-01355710, version 1

Citation

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⟩

Share

Metrics

Record views

352