MARTE 1.2 RTF Avatar
  1. OMG Issue

MARTE12_ — Missing mappings between analysis duration, arrival patterns and clock constraints

Open Closed All
  • Key: MARTE12_-23
  • Legacy Issue Number: 14899
  • Status: closed  
  • Source: THALES ( Sebastien Demathieu)
  • Summary:

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

  • Reported: MARTE 1.0 — Thu, 31 Dec 2009 05:00 GMT
  • Disposition: Deferred — MARTE 1.2
  • Disposition Summary:

    Deferred

    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 deferring again this issue for a possible future version of the standard.
  • Updated: Tue, 8 Jan 2019 19:22 GMT