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.
Type de document :
Brevet
France, Patent n° : IDDN.FR.001.430002.000.S.A.2012.000.10600. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-01355710
Contributeur : Team Aoste <>
Soumis le : mercredi 24 août 2016 - 09:49:59
Dernière modification le : jeudi 25 août 2016 - 01:04:49

Identifiants

  • HAL Id : hal-01355710, version 1

Collections

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>

Partager

Métriques

Consultations de la notice

239