MARTE 1.0b2 FTF Avatar
  1. OMG Issue

MARTE — Missing Delay and Offset in SAM

  • Key: MARTE-127
  • Legacy Issue Number: 11882
  • Status: closed  
  • Source: Universidad de Cantabria ( Julio Medina)
  • Summary:

    The name-definition of the attribute DelayTime leads to confusion, but if it remains, the profile require a mechanism to express the voluntary relinquish of the CPU during a time. This is what is normally called a delay, this is implemented with primitives like sleep, clock_nanosleep in POSIX, mdelay in linux, delay in ADA, etc. The usage of constraints/observers in this case is not desirable, since these are analysis models not specifications, and contraints will be used for verification against analysis results. A special kind of step that includes offsets and delays is suggested fdor inclusion, even at GQAM level.

  • Reported: MARTE 1.0b1 — Sat, 22 Dec 2007 05:00 GMT
  • Disposition: Resolved — MARTE 1.0b2
  • Disposition Summary:

    Be explicit and conformant with existing practice: replace the attribute SaStep::delayTime with three new attributes, SaStep::nonpreemptionBlocking, SaStep::selfSuspensionBlocking, and SaStep::numberSelfSuspensions.
    If an additional specialization of GaStep is needed-and arguably it is-then that SHALL be addressed in a new and separate issue allocated to GQAM.

  • Updated: Fri, 6 Mar 2015 20:58 GMT