UML Profile for MARTE Avatar
  1. OMG Specification

UML Profile for MARTE — Open Issues

  • Acronym: MARTE
  • Issues Count: 2
  • Description: Issues not resolved
Open Closed All
Issues not resolved

Issues Descriptions

Typo fixes

  • Key: MARTE13-26
  • Status: open  
  • Source: Airbus Group ( Oliver Kellogg)
  • Summary:

    p16 6.4.1 5th bullet

    This latter annex described [...] for defining the UML profile for
    MARTE itself, but also usefull for user models.

    -> MARTE itself while also being useful for user models.



    p17 3rd para (last before 6.4.3)

    [...] firstly we try to reduce the size of
    stereotype names as much as possible, but without scarifying their meaning

    -> sacrificing



    Globally replace contraint by constraint and Contraint by Constraint.
    Occurrences:
    p42 1st para (NFP_Contraints)
    p56 1st para 2nd line (Contraint)
    p56 2nd para 1st line (NFP_Contraints)
    p326 16.3.2.6 (Contraints)
    p327 16.3.2.7 (Contraints)
    p328 16.3.2.8 (Contraints)
    p444 B.3.2.1 (Contraints)



    Globally replace brokedResource by brokeredResource :
    p99 Figure 10.11 association from ResourceBroker to Resource
    p99 Figure 10.11 association from Scheduler to ProcessingResource
    p243 Figure 14.58 association from HW_Media to HW_Arbiter
    p606 F.4.22 Associations 1st bullet
    p610 F.4.30 Associations 1st bullet
    p653 F.9.8 Associations bullet
    p678 F.9.48 Associations bullet



    p100 Figure 10.13 upper left corner

    Causaility::CommonBehavior::

    -> Causality::CommonBehavior::



    p104 Figure 10.18 class ResourceUsage last attribute

    enery:NFP_Energy

    -> energy: NFP_Energy



    Globally replace occurence by occurrence and Occurence by Occurrence :
    p145 ReceiveOccurence (5x)
    p203 Figure 14.13 OccurencePolicyKind (2x), occurenceCountElements



    p188 Figure 13.12 statebox with start state

    Invation
    action

    -> Invocation



    p230 paragraph below Figure 14.40

    Figure 14.41 illustrates [..] (from UML::CompositesStructures::InternalStructures

    -> CompositeStructures



    p231 paragraph below Figure 14.42

    [...] On the right side, the SRM profile is used
    to describe the MemoryPartiton

    -> MemoryPartition



    Globally replace symetricalArray by symmetricalArray :
    p240 Figure 14.55 PLD_Class 1st attribute
    p250 Figure 14.66 PLD_Class 1st attribute (figure is duplicate of 14.55 ?)
    p274 Description 1st bullet
    p682 F.9.57 Literals 1st bullet



    p266 Attributes 4th bullet

    • throughput:NFP_DataTxRate
      Speciifes the throughput in a memory.

    -> Specifies



    Replace frequeny by frequency :
    p269 HwProcessor Constraints

    [3] ipc must derive from mips attribute and clock frequeny

    p672 F.9.39 Constraints

    [3] ipc must derive from mips attribute and clock frequeny



    p270 HwResource Associations 4th bullet

    • endPoints: HwEndPoint[0..*]
      Specifies the connection points of the HwReource.

    -> HwResource



    Globally replace adaptative by adaptive and Adaptative by Adaptive :
    p243 Figure 14.58 class HW_Router 2nd attribute (isRoutingAdaptative)
    p253 Figure 14.69 class HwRouter 2nd attribute (isRoutingAdaptative)
    p272 HwROM Attributes 2nd bullet (isRoutingAdaptative)

    Specifies whether the HW_Router supports adaptative routing or not.

    p677 F.9.46 Attributes 2nd bullet (isRoutingAdaptative)

    Specifies whether the HW_Router supports adaptative routing or not.



    p306 Attributes 8th bullet

    • utilizationOnHost: NFP_Real[*]
      The occupancy of thehost processor, executing Steps [...]

    -> the host



    p307 15.3.2.13 Attributes 2nd bullet

    • blockT: NFP_Duration [0..1]
      A delay inserted in the execution of the Step, waiting for an event [...],
      or for a condition such as the availability of passive protected resources nedded

    -> needed



    p311 16.1 2rd para 2nd sentence

    [...] aids developers to detect potentially
    unfeasible real-time architectures

    -> infeasible



    p321 Figure 16.8 class SaSchedObs 1st attribute

    suspentions: NFP_Integer [*]

    -> suspensions



    p323 3rd bullet from top of page

    • timing: TimedObs [*]
      Set of timing requirements or preditions that constrain local fragments

    -> preconditions



    p325 16.3.2.5 Attributes 2nd bullet

    • ISRprioRange: NFP_IntegerInterval [0..1]
      Range of ISR priorities supporte by the platform.

    -> supported



    p333 16.3.3.4 4th sentence

    [...] The software that
    hendles this is usually not part of the application

    -> handles



    p341 17.2.2.6 1st para

    3. [...] This may be a
    middlware layer (a web services connection,

    -> middleware



    p376 A.2.1.7 1st para 2nd sentence

    If not, they will be added through “NFP” and “NFP constraints”, precising the MARTE
    characteristics.

    Replace precising by tightening.



    p383 A.2.3.2 table cont'd, 1st row left column

    Deactive_execution_time (specific for mode switch) and
    Deactive_deadline (specific for mode switch)

    There is no such word deactive Please clarify.



    p383 A.2.3.2 table cont'd, 2nd row right column

    [...] “NFP” attributes by the enduser within the different threads

    -> end user



    p385 table 5th row right column

    <<swSchedulableResource>>
    hybride_task : my_comp

    -> hybrid_task



    p386 sentence between diagrams

    This model library is then instanciated:

    -> instantiated



    p393 table AADL Properties right column heading

    Marte Anaysis

    -> Analysis



    p395 table cont'd from p394 right column heading

    Marte Anaysis

    -> Analysis



    p395 A.2.4.6 4th sentence

    Alternatively, they may require driver softwares [...]

    -> programs



    p399 1st table right column AADL View

    thorttle_command: out data port

    -> throttle_command



    p404 A.2.6.3 4th para

    In MARTE, the FeatureGroup semantical perimenter will be [...]

    -> perimeter



    p415 Table A.1 2nd row 4th column (MARTE Stereotype)

    refering to an RtSpecification to denote

    -> referring



    p461 B.3.3.15 2nd para 2nd sentence

    When specifiyng values making reference to properties

    -> specifying



    p484 C.3.1.3 Constraints

    definingEvent->None.mpty( ) = defBody->isEmpty( ) }
    

    None.mpty looks incorrect, please clarify.



    p514 D.4.9.1 1st sentence

    This is a ChoiceType that [...] to express an offline time trable

    -> table



    p554 F.1.14 Associations 2nd bullet

    Instance that starts the invocartion.

    -> invocation



    p557 F.1.19 Attributes 2nd bullet

    * / upper : UnilimitedNatural

    -> UnlimitedNatural



    Globally replace AccesControlPolicy by AccessControlPolicy :
    p595 F.4.1 (2x), F.4.2 (2x)
    p601 F.4.14 Generalizations
    p612 F.4.32 Generalizations



    p604 F.4.20 Associations 4th and 5th bullet

    • provided: MARTE::NFP_Modelig::NFP_Declaration::NFP
      [...]
    • required: MARTE::NFP_Modelig::NFP_Declaration::NFP

    -> NFP_Modeling



    p609 F.4.27 Semantics 5th sentence

    [...] Two general forms of usage are defined the
    StaticUsage and the DinamicUsage,

    Two general forms of usage are defined, the
    StaticUsage and the DynamicUsage, [...]
    (comma after defined and spelling of DynamicUsage)



    p609 F.4.29 Generalizations

    * ConcurrencyResource (fromMARTE::GRM::ResourceTypes)

    -> from MARTE



    p610 F.4.29 Associations 2nd bullet

    * dependentScheduler: MARTE::GRM::scheduling::SecondarySceduler

    -> SecondaryScheduler



    p626 F.6.13 Attributes

    Drection of the flow property: either incoming (in),

    -> Direction



    p629 F.6.21 Semantics

    This concept matches the CompositeStructures::InternalStructures::StructuredClassier

    -> StructuredClassifier



    Globally replace Concurency by Concurrency :
    p629 F.7.1 CallConcurencyKind (title and text)
    p630 F.7.3 ConcurencyKind (title and text)
    p632 F.7.7 Attributes CallConcurencyKind



    p635 Associations 1st bullet

    * behaviors: RtBehaviror [*]

    -> RtBehavior



    p644 F.8.17 Associations 1st and 2nd bullet

    • readServices: BehaviroalFeature
      [...]
    • writeServices: BehaviroalFeature

    -> BehavioralFeature



    p644 F.8.18 Associations

    * accessedElement: CoreElements::Foudations::Property

    -> Foundations



    p665 F.9.29 Semantics 2nd para

    refined to a detailed model for [...] or ISS (Instuction Set Simulator)

    -> Instruction



    p672 F.9.39 Constraints

    [3] ipc must derive from mips attribute and clock frequeny.

    -> frequency



    p674 F.9.42 Associations 1st bullet

    • endPoints: HW_Communication::HW_EndPoint [0..*]
      Specifies the connection points of the HW_Reource.

    -> HW_Resource



    p685 F.9.63 Attributes 3rd bullet

    Specifies that the swithcing type is other than packet [...]

    -> switching



    p693 F.10.15 and F.10.16

    Constaints

    -> Constraints



    p700 F.11.5 Attributes 2nd bullet

    Range of ISR priorities supporte by the platform.

    -> supported



    p705 F.12.6 Attributes 2nd bullet

    • behaviorDemand: PBehaviorDemand [*]
      Set of demand sfor a behavior described by a scenario, [...]

    -> demands for



    p713 F.13.9 DataType (from DataTypes)

    DateType matches with the UML concept of [...]

    -> DataType

  • Reported: MARTE 1.2 — Mon, 10 Feb 2020 21:40 GMT
  • Updated: Tue, 18 Feb 2020 15:54 GMT

XMI files for MARTE 1.2 Profile and Library are not accessible without login

  • Key: MARTE13-25
  • Status: open  
  • Source: No.Org ( Henning Riedel)
  • Summary:

    The MARTE 1.2 profile PDF are released and accessible, but the XMI files are only available by Member login.

  • Reported: MARTE 1.2 — Mon, 20 Jan 2020 22:27 GMT
  • Updated: Wed, 22 Jan 2020 13:47 GMT