Omg issue Number

Disposition: Resolved

OMG Issue No: 11417

Title: Capitalize "rtf" Stereotype to "Rtf"

Source:

SODIUS (Philippe Soulard, psoulard AT sodius DOT com)

Summary:

The name of the RealTimeFeature stereotype, “rtf”, should be replaced with “Rtf” to follow the capitalization conventions within MARTE.

Resolution:

The name of the RealTimeFeature stereotype SHALL be “Rtf”.

Revised Text:

In Figure 13.11, 13,16, 13,17, 13.20, 13.21, and 13.22, replace “rtf” with “Rtf”

In Section 13.3.2.9, on page 161, replace “rtf” with “Rtf”.

In Section 13.4.2, on page 166, replace “rtf” with “Rtf”.

Disposition: Resolved

Disposition: UnderWay

OMG Issue No: 11504

Title: Annex D3 MARTE model library for time

Source:

INRIA (Mr. Charles Andre, [e-mail] [e-mail] [e-mail])

Summary:

In Annex D3 MARTE model library for time, 2 enumerations (EventKind and TimeStandardKind) have to be moved from the Time library to the TimeTypesLibrary, because these enumerations are used in the profile definition.

Resolution:

Proceed with the proposed modifications.

Revised Text:

Page 438-440 old text:

This section provides model elements related to Time, gathered in two model libraries (Figure D.7). The TimeTypesLibrary library is used in the Time profile, the TimeLibrary is for users.

Figure D.6 – Structure of the MARTE time model library

TimeTypesLibrary library

This package contains enumerations used in the Time profile (Figure D.8). TimeNatureKind is an enumeration type that defines literals used to specify the discrete or dense nature of a time value. TimeInterpretationKind is an enumeration type that defines literals used to specify the way to interpret a time expression: either as a duration or as an instant.

Figure D.7 - TimeTypesLibrary library

TimeLibrary

The TimeLibrary library (Figure D.9) provides enumerations related to time and facilities for using the ideal chronometric time (i.e., the time referenced in physical laws).

TimeUnitKind contains the main chronometric time units. s (second) is an SI unit. Other units are derived units. All the enumeration literals are stereotyped by clockUnit.

LogicalTimeUnitKind is a special enumeration which contains one enumeration literal only. This literal is tick.

TimeStandardKind defines literals used to specify the standard “systems of time”. The meaning of the acronyms is given below

• 
  GPS General Positioning System, not adjusted for leap seconds
  
• 
  Local Local Time
  
• 
  Sidereal Sidereal Time
  
• 
  TAI International Atomic Time scale, a statistical timescale based on a large number of atomic clocks
  
• 
  TCB Barycentric Coordinate Time
  
• 
  TCG Geocentric Coordinate Time
  
• 
  TDB Barycentric Dynamical Time
  
• 
  TT Terrestrial Time
  
• 
  UT0 Universal Time 0
  
• 
  UT1 Universal Time 1
  
• 
  UTC Coordinated Universal Time
  

Figure D.8 –Detailed model library of TimeLibrary

The IdealClock and its instance idealClk model the abstract and ideal time which is used in physical laws. It is a dense time. idealClk should be imported in models that refer to chronometric time. TimedValueType is a templated data type. The template parameter is an enumeration which contains time units.

The EventKind enumeration contains literals that may characterize events: events related to a behavior execution (start and finish), and events related to a request (send, receive, and consume).

Page 438-440 new text:

This section provides model elements related to Time, gathered in two model libraries (Figure ). The TimeTypesLibrary library is used in the Time profile, the TimeLibrary is for users.

Figure 1 - Structure of the MARTE time model library

TimeTypesLibrary Library

This package contains enumerations used in the Time profile (Figure ). TimeNatureKind is an enumeration type that defines literals used to specify the discrete or dense nature of a time value. TimeInterpretationKind is an enumeration type that defines literals used to specify the way to interpret a time expression: either as a duration or as an instant.

The EventKind enumeration contains literals that may characterize events: events related to a behavior execution (start and finish), and events related to a stimulus (send, receive, and consume).

TimeStandardKind defines literals used to specify the standard “systems of time”. The meaning of the acronyms is given below

• 
  GPS General Positioning System, not adjusted for leap seconds
  
• 
  Local Local Time
  
• 
  Sidereal Sidereal Time
  
• 
  TAI International Atomic Time scale, a statistical timescale based on a large number of atomic clocks
  
• 
  TCB Barycentric Coordinate Time
  
• 
  TCG Geocentric Coordinate Time
  
• 
  TDB Barycentric Dynamical Time
  
• 
  TT Terrestrial Time
  
• 
  UT0 Universal Time 0
  
• 
  UT1 Universal Time 1
  
• 
  UTC Coordinated Universal Time
  

Figure 2 – TimeTypesLibrary library

TimeLibrary

The TimeLibrary library (Figure ) provides enumerations related to time and facilities for using the ideal chronometric time (i.e., the time referenced in physical laws).

TimeUnitKind contains the main chronometric time units. s (second) is an SI unit. Other units are derived units. All the enumeration literals are stereotyped by clockUnit.

LogicalTimeUnitKind is a special enumeration which contains one enumeration literal only. This literal is tick.

The IdealClock and its instance idealClk model the abstract and ideal time which is used in physical laws. It is a dense time. idealClk should be imported in models that refer to chronometric time. TimedValueType is a templated data type. The template parameter is an enumeration which contains time units.


Figure 3: Detailed model library of TimeLibrary
Disposition: Resolved