MARTE 1.2 RTF Avatar
  1. OMG Issue

MARTE12_ — TIME model overview: consistency of bullet descriptions

  • Key: MARTE12_-37
  • Legacy Issue Number: 17339
  • Status: closed  
  • Source: UNS / I3S / INRIA ( Julien DeAntoni)
  • Summary:

    problem:
    In section Overview of the time model chapter, there are three bullets to describe the time. In these bullet titles, the slash ('/') character has different meaning:

    • Causal/temporal --> it should be understood as causal vs temporal
    • Clocked/synchronous --> it should be understood as Clocked or synchronous
    • Physical/real-time --> it should be understood as Physical or real-time

    proposed resolution:

    the bullet should be renamed with:

    • Causal (untimed):
    • Synchronous (partially timed):
    • Physical (real-time):

    additionally, to keep consistency, the last sentence of the last bullet should be rephrased, for instance with :
    "Physical time models refine the partially timed models by adding reference(s) to one or more physical dimensions, for instance to derive the admissible speed of a reaction."

  • Reported: MARTE 1.1 — Fri, 27 Apr 2012 04:00 GMT
  • Disposition: Resolved — MARTE 1.2
  • Disposition Summary:

    Update the paragraph in question according to the proposed resolution.

    the bullet should be renamed with:

    • Causal (untimed):
    • Synchronous (partially timed):
    • Physical (real-time):
      additionally, to keep consistency, the last sentence of the last bullet should be rephrased, for instance with : "Physical time models refine the partially timed models by adding reference(s) to one or more physical dimensions, for instance to derive the admissible speed of a reaction."
  • Updated: Wed, 19 Dec 2018 16:37 GMT