MARTE 1.1 RTF Avatar
  1. OMG Issue

MARTE11 — TimedElement.on default value should refer to the ideal clock

Open Closed All
  • Key: MARTE11-78
  • Legacy Issue Number: 14904
  • Status: closed  
  • Source: THALES ( Sebastien Demathieu)
  • Summary:

    TimedElement.on default value should refer to the ideal clock, by the mean of a default property (e.g. instance value)

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

    The intent was actually to do so. When attribute "on" is not used, then it implicitly
    refers to idealClk. However, "idealClk" is defined in "TimeLibrary", which actually
    applies the "Time" profile. So what is requested in the issue would actually create
    a cyclic dependency.
    The resolution proposes to add a sentence to make the intent clear as suggested
    by the issue.
  • Updated: Fri, 6 Mar 2015 23:15 GMT