User Tools

Site Tools


Issue 14899: Missing mappings between analysis duration, arrival patterns and clock constraints (marte-rtf)

Source: THALES (Mr. Sebastien Demathieu, sebastien.demathieu(at)

Nature: Enhancement

Severity: Critical

Summary: The mappings between the analysis arrival patterns (periodic, sporatic, …) and Time durations, and clock constraints in CCSL should be defined in the specification.

The kinds of timing specification that can be done with arrival patterns are in an expressive domain (vocabulary, and abstraction intent) different than the one expected for the use of CCSL. But they are compatible in their usage over behaviorSpecifications. It may be good to have this mapping as a Library in the Annex C, but this does not invalidate the current specification. I suggest to deferre this issue for a possible future version of the standard.

14899_internal_link.txt · Last modified: 2010/07/20 18:55 by medinajl