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 Bearcat (talk | contribs) at 00:00, 31 January 2014 (categorization/tagging using AWB). 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=593199596"