MARTE12_86 
MARTE issue: Observation does not allow specification of time value 
MARTE 1.0

MARTE 1.2

Deferred 
closed 

MARTE12_79 
The notion of "access connection" needs to be explicited in the AADL annex (A.2) of MARTE 
MARTE 1.0

MARTE 1.2

Deferred 
closed 

MARTE12_69 
Precise the shape of an array of ports of an array of parts 
MARTE 1.0

MARTE 1.2

Deferred 
closed 

MARTE12_60 
Annotation of Criticalities of NFP constraints 
MARTE 1.1

MARTE 1.2

Deferred 
closed 

MARTE12_58 
Annotation of Criticalities of NFP values 
MARTE 1.1

MARTE 1.2

Deferred 
closed 

MARTE12_23 
Missing mappings between analysis duration, arrival patterns and clock constraints 
MARTE 1.0

MARTE 1.2

Deferred 
closed 

MARTE12_22 
Align the NFP profile and domain model with the QUVD metamodel 
MARTE 1.0

MARTE 1.2

Deferred 
closed 

MARTE12_52 
Missing mappings between analysis duration, arrival patterns and clock constraints 
MARTE 1.0b2

MARTE 1.2

Deferred 
closed 

MARTE12_53 
[Time: Examples] 
MARTE 1.0b1

MARTE 1.2

Deferred 
closed 

MARTE12_9 
Refinement issue from GQAM to SAM 
MARTE 1.1

MARTE 1.2

Deferred 
closed 

MARTE12_1 
About Gacenario:: 
MARTE 1.0

MARTE 1.2

Deferred 
closed 

MARTE12_4 
«GaWorkloadGenerator» and its pop attribute 
MARTE 1.0

MARTE 1.2

Deferred 
closed 

MARTE12_6 
Questions on observators within GQAM and SAM 
MARTE 1.0

MARTE 1.2

Deferred 
closed 

MARTE12_18 
SwResource should be a direct specialization of Resource, like its hardware counterpart 
MARTE 1.0

MARTE 1.2

Deferred 
closed 

MARTE12_31 
Allocations kind and nature 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_35 
TIME model: clarification of ClockConstraint properties 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_84 
Flow properties cannot be characterized with an RtSpecification 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_75 
Page 269: Section 14.2.3.2, Stereotype Descriptions 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_7 
Typo in diagram 14.25 for stereotype SwSchedulableResource 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_93 
Specification of real time properties at "part with port" level 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_48 
The IntervalType attributes are not the same ones in the profil diagram and profil elements description 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_62 
Missing HwRouter stereotype to allow modeling of NetworksonChips 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_63 
Section: 14.2 HRM Add an attribute isInterleaved : NFP_Boolean to the MemoryOrganization tuple type 
MARTE 1.0b2

MARTE 1.2

Resolved 
closed 

MARTE12_107 
Completion of Issue 1263 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_82 
Missing synchronization resource in UML mapping for PpUnit 
MARTE 1.1

MARTE 1.2

Closed; No Change 
closed 

MARTE12_76 
Update Table of Contents 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_2 
Coherency between active resource of MARTE and active class in UML 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_46 
The "Mb/s" baseUnit should be "Kb/s". 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_47 
The DurationUnitKind doesn't exist any more 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_59 
GRM:Support for Time table driven schedules 
MARTE 1.0

MARTE 1.2

Closed; No Change 
closed 

MARTE12_30 
ImpliesConstraint of Allocate and Assign relationships 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_89 
MARTE, sterotype <>, 
MARTE 1.0

MARTE 1.2

Closed; No Change 
closed 

MARTE12_54 
VSL, Section B.3.3.9. The following attributes are missing (see figure B.7): 
MARTE 1.0

MARTE 1.2

Closed; No Change 
closed 

MARTE12_72 
ClientServerFeature: possible ambiguity on provided/required status of signal reception 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_71 
a verb is missed in last sentence of first § 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_64 
The semantics of the Reshape should be precised 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_68 
Constraint 6 on the tiler is just "Notation", this should be precised 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_80 
ConcurrentAccessProtocolKind 
MARTE 1.0b1

MARTE 1.2

Closed; No Change 
closed 

MARTE12_91 
use the stereotype <> alone 
MARTE 1.0b1

MARTE 1.2

Closed; No Change 
closed 

MARTE12_34 
TIME model: name of referred section and name of section differ 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_36 
TIME model: reference to TimeStructureRelation Library does not exists 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_37 
TIME model overview: consistency of bullet descriptions 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_8 
MARTE Clocks 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_39 
TIME model: examples should be more pedagogical 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_38 
TIME model: wrong section name 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_5 
Typos issues in GQAM 
MARTE 1.1

MARTE 1.2

Resolved 
closed 

MARTE12_87 
MARTE: VSL short form for NFP_Real subtypes 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_20 
Relationship between MARTE allocations, UML deployment and analysis profiles need to be clarified 
MARTE 1.0

MARTE 1.2

Closed; No Change 
closed 

MARTE12_21 
Missing constraint between scheduler and scheduling parameters 
MARTE 1.0

MARTE 1.2

Resolved 
closed 

MARTE12_3 
NfpConstraint stereotype: rename property mode to modes 
MARTE 1.0

MARTE 1.2

Closed; No Change 
closed 

MARTE12_17 
Cannot precisely allocate an application to an execution platform described as a series of composite structures. 
MARTE 1.0b2

MARTE 1.2

Closed; No Change 
closed 

MARTE12_10 
Introduce new chapter in section 6.4 
MARTE 1.0b1

MARTE 1.2

Closed; Out Of Scope 
closed 

MARTE12_19 
Runtimes may have multiple stacks 
MARTE 1.0b1

MARTE 1.2

Closed; No Change 
closed 

MARTE11108 
GRM:Support for Time table driven schedules 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE_66 
stereotype GRM::SchedulableResource should have an attribute describing its activation parameters 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_65 
MARTE/section 7.2.1/ "No Metamodel root" bug 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_64 
Example in Figure 10.21 makes use of directed arrows 
MARTE 1.0b1

MARTE 1.0

Resolved 
closed 

MARTE_63 
align the notation section of 11.3.2.7 to the profile diagram. 
MARTE 1.0b1

MARTE 1.0

Resolved 
closed 

MARTE_62 
associations between Instance and ModelElement (subclasses) 
MARTE 1.0b1

MARTE 1.0

Resolved 
closed 

MARTE_61 
MARTE Profile : Synchronisation between SRM, GRM, HRM and analysis part 
MARTE 1.0b1

MARTE 1.0

Resolved 
closed 

MARTE_60 
Section: 10/3 
MARTE 1.0b1

MARTE 1.0

Resolved 
closed 

MARTE11110 
The concept of System in Annex A.2 maps to a SysML concept 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE_59 
There should be a section to describe the different possible notations for the allocation 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_56 
Typos in example Figures 17.15/16/17/27 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_58 
Marte: more complete definition of contextParams in GaAnalysisContext (ch 15) 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_57 
Marte: consistent capitalization of stereotypes in Sec 17.4 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_55 
In HRM, the structure of the subprofile is ill formed 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_54 
Missing attributes 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_53 
In B.3.3.16, jitter(t1,t2) should be clarified (description of the t2 term). Should be jitter(t2t1)?? 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_52 
In B.3.3.16, namespace must be replaced by namespace ::= ['.' namespace] 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_51 
In B.3.3.15, iffalseexpr should be optional. Also, the metamodel in page 402: must be updated. 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_48 
In B.3.3.14, first rule, parentheses are not optional 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_47 
Variable call expression and property call expression are ambiguous 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_46 
In Section B.3.3.12, second rule, it is missing the ":' symbol in variable declaration. 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_50 
In B.3.3.15, the parentheses in the rules: iftrueexpr and iffalseexpr are not required. 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_49 
In B.3.3.13, namespace must be replaced 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_43 
In Section B.3.3.8, remove the 'unlimitednatural' term (not longer valid). 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_42 
In B.3.3.7, the first rule allows defining bounds of different type, This should be forbidden 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_41 
In B.3.3.7, literalintervalbound should be separated in two interval bounds 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_45 
In Section B.3.3.12, in the last line, the examples should refer to variable call expr, and not property call expr. 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_44 
Properties of TupleType and ChoiceType should be constrained to be DataType only. 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_39 
Section B.3.3.3 is duplicated. 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_38 
In Section B.3.3.12 (Variables, p 416), the text is not aligned with the grammar 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_37 
Literals terminal rule has not been defined for its elements, in Section B.3.3.1 in p. 412 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_40 
In Section B.3.3.4., the DateTimeLiteral rule can be optimized 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_36 
FlowPort stereotype 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_35 
The notion of value is missing the NFP_Declaration domain model Description 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_34 
ARINC 653 Annex of MARTE 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_33 
The dependency between NFP and VSL is not necessary 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_32 
using a simple Dependency to model an allocation relationship doesn't match with the allocation concept MARTE defines 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_31 
In GCM, domain model and profile do not match in ways that are not fully documented 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_30 
GCM Classes Description in Annex should be revised: 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_29 
MARTE/section 12.2/ "No assemblyConnectorEnd in the Metamodel" bug 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_28 
MARTE/annexe E/ "No MultiplicityElement owner in the metamodel" bug 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_27 
MARTE/RSM/repetition index port missing 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_26 
MARTE/RSM/generalization of the reshape stereotype 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_25 
inconsistencies in the HLAM subprofile 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_24 
Figure 13.1 (pg 149) 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_23 
Section: Annex D 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_22 
Figure12.4 is wrong 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_21 
Section: GQAMSAMPAM 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_18 
NFP_Type 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_17 
concrete syntax 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_20 
Figure 16.6: multiplicity 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_19 
definition of ResourceUsage (F.4.27) in annex F 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_16 
clarify the semantical difference between an UML "Port" and a MARTE "Messag 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_15 
Clarification in chapter "General Component Model" needed 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_14 
MARTE aligment with SYSML 1.1 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_13 
check UML 2.2 modifications impacts on MARTE Metamodel and definitions 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_12 
What about a System Configuration concept having a set of OperationalModes? 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_11 
rteConnector concept 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_10 
Fig 157 shows that GaCommStep has the property 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_9 
ordered association "subUsages" 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_8 
property 'msgSize' in figure 157 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_7 
MARTE profilelibrary interdependency should be revised and enhanced 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_6 
HRM, fig 1470, the stereotype HwMedia extends UML::Connector 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_5 
typos in section E.3.2 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_4 
Missing illustration for "Shape" and "reshape" stereotype 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_3 
MARTE Beta: 12.3.2.4 FlowBFeature issue # 2 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_2 
MARTE Beta: 12.3.2.4 FlowBFeature issue # 1 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE_1 
Annex 3 
MARTE 1.0b2

MARTE 1.0

Resolved 
closed 

MARTE187 
TimedElements::TimedObservation (fig. 9.18) does not exist 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE186 
Section: 13.3.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE185 
first sentence of subsection 6.4.2 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE11109 
RequestEventStream changed by WorkloadEvent 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE11106 
MARTE Beta 3: Invalid stereotype label in figure 11.8 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE11105 
VSL  Absence of rule for calling behaviors 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE11104 
VSL  B.3.3.15  typos in rule in the context of Property Call Expression 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE11107 
Domain concept (definingEvent) not implemented in the UML representation 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE11103 
VSL  B.3.3.17  In conditional expressions, should not be optional 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE11102 
VSL  B.3.3.11 and B.3.3.12  Introducing optional keywords Tuple and Choice 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE11101 
VSL  B3.3.9  Typos in rule 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE11100 
GCM behavioral representation 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1199 
MARTE Issue: Overloaded relationship Scenario to Step in Analysis 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1198 
Inconsitencies in MARTE::GCM 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1197 
Timing observer naming 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1196 
MARTE AADL Annexe 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1195 
13.3 UML Representation 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1194 
polling: PollingParameters [0..1] 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1193 
Diagram shows {ordered usedResouces}, it should be {ordered usedResources}. 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1192 
<> "SchedulableResource" has a tag of schedParams which is made up of a Class (this is not allowed in UML) 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1190 
Clarify the relationship between GQAM::WorkloadEvent and GRM::UsageDemand 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1191 
Figure 8.5 UML profile diagram for NFPs modeling 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1186 
Align notions of duration in NFP, Time and GQAM 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1185 
Clarify the additional semantics brought by the GRM::TimingResource stereotype 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1188 
The Step.host attribute is redundant, 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1187 
Clarify the semantics of GQAM::BehaviorScenario duration attribute w.r.t. execTime, respTime and hostDemand 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1189 
Typo in Figure 10.13: multiplicity of event property 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1184 
NFP_CommonType shall define comparison operators (eg. =, >, <, *, +, ). 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1181 
Typo in Figure 10.13: enery property 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1183 
In Figure 15.3, Step.concurRes property should be typed by ConcurencyResource instead of SchedulableResource 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1182 
ResourceUsage.requiredAmount aggregation kind should be composite 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1177 
Inconsistency between the Time domain model and related profile 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1176 
Inconsistent definition of CommunicationChannel properties 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1179 
SAM Workload Figure defines a new property for GQAM::WorkloadBehavior 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1178 
TimedElement.on default value should refer to the ideal clock 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1180 
Figure 16.3 inconsistent with Figure 15.3 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1174 
SecondaryScheduler should be an association of the Scheduler instead of a specialized class 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1173 
Update the GCM ClientServerPort to take into account evolutions in UML 2.3 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1172 
Remove the TimedObservation stereotype 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1171 
AssigmentKind/AssignmentNature are redundant with AllocationKind/AllocationNature 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1175 
PortGroup concept used in Annex A.2 is not defined in the MARTE profile 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1170 
Different multiplicities in the GQAM metamodel and profile 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1169 
Relationship between AnalysisContext, WorkloadBehavior and ResourcePlatform 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1168 
MARTEAADL software concept upgrades 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1167 
MARTEAADL software concept upgrades 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1165 
MARTEAADL component implmentation modeling 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1164 
MARTEAADL connectors modeling 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1163 
Annexe introduction 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1166 
MARTEAADL summeray table upgrade 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1162 
DATA : MARTE AADL mapping 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1161 
Feature group 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1160 
FLOW : MARTE and AADL alignment 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1159 
MARTE AADL annexe 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1158 
Implied NFP constraint on stereotypes Assign and Allocate 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1157 
Nature and Kind of Allocation and Assignment 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1156 
Example of RtFeature update required 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1155 
GQAM::RequestedService metaclass has no definition 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1154 
Meta class BehaviorScenario not synchronized with its representation 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1153 
NFP_Constraint metaclass syncho with its underlying stereotype 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1152 
MARTE domain model: defintion of Trigger 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE1151 
Semantics description of TimedObserver 
MARTE 1.0

MARTE 1.1

Resolved 
closed 

MARTE184 
Base unit errors in Figure D.3 
MARTE 1.0b1

MARTE 1.0b2

Duplicate or Merged 
closed 

MARTE183 
SendFlowAction and FlowSendAction 
MARTE 1.0b1

MARTE 1.0b2

Duplicate or Merged 
closed 

MARTE182 
Movement of some stereotypes and attributes from PA to GA 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE181 
MARTE PAM Parameters for behaviour demanded by a Step 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE98 
MARTEAADL Issue 5 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE94 
Section: Annex A: AADLlike models with MARTE 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE93 
description of the Clock stereotype 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE97 
MARTEAADL Issue 4 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE96 
MARTEAADL Issue 3 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE95 
Section: Annex A: AADLlike models with MARTE  issue 2 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE92 
Enhance the concept of Observer in GQAM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE91 
How to model the size of code occupied in ROM? 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE100 
MARTEAADL Issue 7 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE99 
MARTEAADL Issue 6 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE107 
Add short rationale in section 10.3 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE106 
Explanation in section 7.3 hard to read 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE105 
In section 2.4.2, the list of extension units and table 7.2 are redundant 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE104 
Table 2.1, I would suggest using the profile names 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE103 
Table 2.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE102 
Explain 'business management perspective" 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE101 
MARTEAADL Issue 8 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE128 
Support for Views or sets of profile annotations 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE127 
Missing Delay and Offset in SAM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE130 
page 271, Fig.15.7 and in Annex D, page 437, Fig.D.5 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE129 
Consistency between RTEMoCC, SAM, and SRM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE133 
Missing attribute in figure 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE132 
attribute resMult of Resource appears under its old name 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE131 
use of stereotype names in UML model examples is inconsistent 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE138 
RTF stereotype 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE137 
Incorrect crossreference to Figure numbers 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE126 
HRM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE125 
HRM::HwMemory 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE134 
Typos: 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE136 
Incorrect crossreference to chapter number on Page 309, third paragraph 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE135 
Unfinished sentence on Page 313, the sixth paragraph 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE124 
HRM::HwMemory stereotype 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE86 
the GCM chapter should define a causality model for flows 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE75 
Giving an attribute a variable name and an expression value 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE74 
ports in GCM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE85 
What are semantics of realtime features on provided/required interfaces? 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE84 
chapter 11 (GCM) should be moved in the Part II of the specification 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE83 
Find a better name of the RTEMoCC profile 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE82 
RTEConnector should be removed from RTEMoCC 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE81 
Figure E.10 (p 468): 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE90 
How to model the size the heap size of an Ada runtime with SRM? 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE89 
HwMedia.bandwidth attribute may need to be generalized in GRM ancestor clas 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE79 
Tiler stereotype (pp 465,466 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE78 
Shaped stereotype (pp 464,465): 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE88 
How to model the amount of memory occupied by an OS resource 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE87 
Support for flows in activities 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE77 
Reshape stereotype (pp 463,464) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE76 
Figure E.6 (p 460) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE80 
E.4 Examples (pp 467,468): 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE159 
Section: Annex A3 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE158 
TimingObserver in GQAM should be renamed to TimedObserver 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE161 
Specify a maximum number of period for periodic realtime constraints 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE160 
MARTEGQAM) Kinds of delay in a Step 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE155 
MARTE name prefixes 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE167 
Clock stereotype needs to extend UML::Property 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE166 
BFeatureSpecification constraint 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE164 
Type NFP_Weight does not exist 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE163 
ConstraintKind not documented 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE169 
MARTE needs naming conventions for stereotype names and tag values. 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE168 
Clarify the nature of DRM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE157 
no link between GRM::SchedulableResource and SRM::SwSchedulableResource 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE156 
Section: 11.3.2.7 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE162 
Dispatch protocols 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE165 
"proreq" / "reqpro" literals do not exist in Beta 1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE70 
SAM: General 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE69 
GRM, GQAM, SAM: DomainModel & Profile 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE71 
NFP: value syntax 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE73 
Section: 1 MARTE spelling missing in the introduction 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE72 
Section: HRM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE140 
Section: 8.3.3.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE139 
stereotype attribute "GaExecHost.throughput" that is not documented 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE142 
Section Allocation: Wrong direction of the allocation 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE141 
using $ in naming variables 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE146 
Rename every instance of "SaEnd2EndFlow" to "SaEndToEndFlow". 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE145 
expressing requirements 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE144 
TimingResource of GRM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE143 
Section: 15.3 and 17.3 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE147 
Correct the inconsistency between the diagram and the text 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE154 
Section: Annex B (VSL) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE153 
page 288: change explanation 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE149 
picture 11.8, ports "loc" and "ftp" 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE148 
page 64 ClockConstraintSpecification 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE152 
Section 16.2.2 (SAM) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE151 
GQAMSAM cyclic dependency due to GQAM::WorkloadBehavior 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE150 
VSL variable declaration (inconsistency between the BNF and the metamodel) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE171 
GQAM Domain view inheritances 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE170 
GQAM Observers: inconsistency between domain view and UML representation 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE173 
TimedDomain stereotype 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE172 
wrong multiplicity in sharedResources required for a SaStep 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE178 
figure 10.18 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE177 
Inconsistencies in GQAM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE180 
Section: Annex D.2 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE179 
Errors in definition of GaEventTrace and GaWorkloadEvent 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE175 
wrong numbering of figures 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE174 
OCL rules for the Clock stereotype 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE176 
The tiler stereotype should be applied on the UML::Port metaclass 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE123 
Annex B: how VSL constructs shall be typed and evaluated 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE122 
In Annex D, I would suggest make unit names (e.g. bits, bytes) singular 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE111 
improve the usability of the RtBehavior stereotype 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE110 
RtAction.isAtomic 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE109 
Names should be identical 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE108 
concept of refinement 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE117 
VSL 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE119 
GRM::SchedulableResource should have a period property 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE118 
allocatedTo and allocatedFrom properties should not be derived 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE116 
NFP does not introduce the concept of dimension 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE115 
In section 6.1, I would suggest mentioning RTCORBA and CCM 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE121 
MARTE primitive types 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE120 
Relationship between Alloc::Allocation and SRM::EntryPoint 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE113 
suggest removing the notion of feature in the conformance section 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE112 
For the sake of consistency, the rtf stereotype should be renamed 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE114 
Section 6: Remove the MSWord comment 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE63 
[GQAM: General] 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE62 
HRM: Examples 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE61 
MoCC: Examples 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE60 
[Alloc: Profile 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE59 
GRM: Examples 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE58 
GRM: Domain Model 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE65 
GQAM: Domain Model & Profile (02) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE64 
GQAM: Domain Model & Profile (01) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE68 
[SAM: Profile] 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE67 
GQAM: Domain Model & Profile (04) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE66 
GQAM: Domain Model & Profile (03) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE57 
[Time] Fig. 9.29 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE56 
[NFP: Profile]. Fig 8.4 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE55 
Section: NFP 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE54 
Consider providing a tabular notation (as in SysML) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE50 
HwTiming model of the HwLogical profile 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE49 
Section: 14.2 add two stereotypes corresponding to HwSensor and HwActuator 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE45 
Section: 11.3.1 figure 11.6 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE44 
Section: 11.3.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE53 
In 12.4, all references to figures are wrong 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE52 
Editorial issue 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE51 
Suggest to extend ClockConstraints to ClockTypes 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE48 
Section: 14.2 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE47 
Section: 11.4.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE46 
Section: 11.3.2.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE43 
Section: 11.3.2 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE37 
Minor edits to MARTE Chapter 17 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE36 
Section: Annex B.2.4 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE42 
Section: 11.2.1 (data reception) 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE41 
Section: 11.2.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE29 
Class descriptions are missing 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE33 
Section: 15.3.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE32 
Section: 15/3 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE8 
Section: GRM / 10.3.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE7 
concept of "resource" 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE20 
grammar defined for conditional expressions 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE19 
Annex D 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE23 
Annex B VSL BNF 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE22 
VSL metamodel 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE5 
Section: Annex B3.3.3 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE4 
MARTE_Library::MeasurementUnits model library 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE10 
rtf stereotype 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE9 
Section: GRM / 10.3.1  p 96 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE2 
Consider adding a new attribute to «boundedSubtype» 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE1 
UML Profile for MARTE acronym list 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE3 
Naming conventions and typing errors 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE6 
Section: Annex B3.3.3 p 397 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE17 
Section 6/6.3 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE16 
Section 6/6/2/1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE11 
Annex D3 MARTE model library for time 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE25 
nonterminal symbol 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE24 
The VSL grammar does not define the "( )" symbol 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE26 
automotive example 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE13 
Figure 14.70  HwCommunication package details 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE12 
the property named "isSynchronous" is misspelled 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE18 
Section 6/6.4 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE35 
Section: Annex B 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE34 
Section: 14.2.3 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE31 
Section: 14/2 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE30 
Class descriptions are missing in the MARTE model library for GRM (Annex D4 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE40 
Section: 11.2.1 figure 11.4 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE39 
Section: 11.2.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE27 
GRM::SchedulableResource should not have a property "host:ExecutionHost" 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE28 
no explicit dependency to QVT concepts 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE21 
Wrong references in page 397 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE15 
Section 2/2.2 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE14 
The type NFP_Price does not exist in the document. 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 

MARTE38 
Section: 11.2.1 
MARTE 1.0b1

MARTE 1.0b2

Resolved 
closed 
