This is an old revision of this page, as edited by Frederic.boulanger(talk | contribs) at 08:21, 28 January 2014(←Created page with ''''CCSL''', the Clock Constraints Specification Language is a software language for modeling relations between clocks. It is part of the model of time in the MAR...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 08:21, 28 January 2014 by Frederic.boulanger(talk | contribs)(←Created page with ''''CCSL''', the Clock Constraints Specification Language is a software language for modeling relations between clocks. It is part of the model of time in the MAR...')
CCSL, the Clock Constraints Specification Language 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].
