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 InternetArchiveBot (talk | contribs) at 07:07, 5 July 2019 (Rescuing 1 sources and tagging 0 as dead. #IABot (v2.0beta15)). 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 software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE.[1]

CCSL provides a concrete syntax to handle logical clocks. The term logical clock refers to Leslie Lamport's logical clocks and its usage in CCSL is directly inspired from Synchronous programming languages (like Esterel or Signal).

A solver of CCSL constraints is implemented in the TimeSquare tool.[2]

References

  1. ^ "Archived copy". Archived from the original on 2014-02-09. Retrieved 2014-01-28. {{cite web}}: Unknown parameter |dead-url= ignored (|url-status= suggested) (help)CS1 maint: archived copy as title (link)
  2. ^ http://timesquare.inria.fr/
Retrieved from "https://en.wikipedia.org/w/index.php?title=Clock_Constraints_Specification_Language&oldid=904878106"