Clock Constraints Specification Language Explained

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]

Notes and References

  1. Web site: The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems | www.omgwiki.org/marte . 2014-01-28 . https://web.archive.org/web/20140209053118/http://www.omgmarte.org/ . 2014-02-09 . dead .
  2. Web site: TimeSquare – LOGICAL TIME MATTERS.

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Clock Constraints Specification Language".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.