Edge Rewrite
location Source code View original
// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a40897a70b9c5e37

Jump to content

Clock Constraints Specification Language

Add links
From Wikipedia, the free encyclopedia

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

[edit]
  1. ↑ "The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems | www.omgwiki.org/marte". Archived from the original on 2014-02-09. Retrieved 2014-01-28.
  2. ↑ "TimeSquare – LOGICAL TIME MATTERS".


Retrieved from "https://en.wikipedia.org/w/index.php?title=Clock_Constraints_Specification_Language&oldid=1313682682"