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 Alvin Seville (talk | contribs) at 10:18, 1 February 2014 (removing and categorizing). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Clock Constraints Specification Language or CCSL, 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=593413753"