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 Derek Andrews (talk | contribs) at 01:37, 31 January 2014 (wikiffied and added cat). 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=593211296"