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 128.79.189.124 (talk) at 09:12, 20 February 2014. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The Clock Constraint Specification Language or CCSL, is a polychronous software language for modeling relations between clocks. It is part of the model of time in the MARTE UML profile.

CCSL provides a concrete syntax to handle logical clocks and is inspired by synchronous languages (like Esterel_(langage)).

[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=596312577"