Jump to content

Clock Constraints Specification Language

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Frederic.boulanger (talk | contribs) at 08:22, 28 January 2014. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

CCSL, the Clock Constraints Specification Language is a software language for modeling relations between clocks. It is part of the model of time in the MARTE UML profile[1]. A solver of CCSL constraints is implemented in the TimeSquare tool[2].


References

  1. ^ http://www.omgmarte.org/
  2. ^ http://timesquare.inria.fr/
Retrieved from "https://en.wikipedia.org/w/index.php?title=Clock_Constraints_Specification_Language&oldid=592764867"