TimeSquare - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Brevet Année : 2012

TimeSquare

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01355710 , version 1

Citer

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⟩
266 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More