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 meta-model |
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 Networks-on-Chips |
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 12-63 |
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 |
|
MARTE11-108 |
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 |
|
MARTE11-110 |
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(t2-t1)?? |
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, if-false-expr 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: if-true-expr and if-false-expr 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 'unlimited-natural' 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, literal-interval-bound 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: GQAM-SAM-PAM |
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 15-7 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 15-7 |
MARTE 1.0b2
|
MARTE 1.0
|
Resolved |
closed |
|
MARTE_-7 |
MARTE profile-library interdependency should be revised and enhanced |
MARTE 1.0b2
|
MARTE 1.0
|
Resolved |
closed |
|
MARTE_-6 |
HRM, fig 14-70, 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 |
|
MARTE-187 |
TimedElements::TimedObservation (fig. 9.18) does not exist |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-186 |
Section: 13.3.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-185 |
first sentence of sub-section 6.4.2 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE11-109 |
RequestEventStream changed by WorkloadEvent |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-106 |
MARTE Beta 3: Invalid stereotype label in figure 11.8 |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-105 |
VSL - Absence of rule for calling behaviors |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-104 |
VSL - B.3.3.15 - typos in rule in the context of Property Call Expression |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-107 |
Domain concept (definingEvent) not implemented in the UML representation |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-103 |
VSL - B.3.3.17 - In conditional expressions, should not be optional |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-102 |
VSL - B.3.3.11 and B.3.3.12 - Introducing optional keywords Tuple and Choice |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-101 |
VSL - B3.3.9 - Typos in rule |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-100 |
GCM behavioral representation |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-99 |
MARTE Issue: Overloaded relationship Scenario to Step in Analysis |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-98 |
Inconsitencies in MARTE::GCM |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-97 |
Timing observer naming |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-96 |
MARTE AADL Annexe |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-95 |
13.3 UML Representation |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-94 |
polling: PollingParameters [0..1] |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-93 |
Diagram shows {ordered usedResouces}, it should be {ordered usedResources}. |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-92 |
<> "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 |
|
MARTE11-90 |
Clarify the relationship between GQAM::WorkloadEvent and GRM::UsageDemand |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-91 |
Figure 8.5 UML profile diagram for NFPs modeling |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-86 |
Align notions of duration in NFP, Time and GQAM |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-85 |
Clarify the additional semantics brought by the GRM::TimingResource stereotype |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-88 |
The Step.host attribute is redundant, |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-87 |
Clarify the semantics of GQAM::BehaviorScenario duration attribute w.r.t. execTime, respTime and hostDemand |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-89 |
Typo in Figure 10.13: multiplicity of event property |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-84 |
NFP_CommonType shall define comparison operators (eg. =, >, <, *, +, -). |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-81 |
Typo in Figure 10.13: enery property |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-83 |
In Figure 15.3, Step.concurRes property should be typed by ConcurencyResource instead of SchedulableResource |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-82 |
ResourceUsage.requiredAmount aggregation kind should be composite |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-77 |
Inconsistency between the Time domain model and related profile |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-76 |
Inconsistent definition of CommunicationChannel properties |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-79 |
SAM Workload Figure defines a new property for GQAM::WorkloadBehavior |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-78 |
TimedElement.on default value should refer to the ideal clock |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-80 |
Figure 16.3 inconsistent with Figure 15.3 |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-74 |
SecondaryScheduler should be an association of the Scheduler instead of a specialized class |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-73 |
Update the GCM ClientServerPort to take into account evolutions in UML 2.3 |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-72 |
Remove the TimedObservation stereotype |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-71 |
AssigmentKind/AssignmentNature are redundant with AllocationKind/AllocationNature |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-75 |
PortGroup concept used in Annex A.2 is not defined in the MARTE profile |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-70 |
Different multiplicities in the GQAM meta-model and profile |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-69 |
Relationship between AnalysisContext, WorkloadBehavior and ResourcePlatform |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-68 |
MARTE-AADL software concept upgrades |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-67 |
MARTE-AADL software concept upgrades |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-65 |
MARTE-AADL component implmentation modeling |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-64 |
MARTE-AADL connectors modeling |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-63 |
Annexe introduction |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-66 |
MARTE-AADL summeray table upgrade |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-62 |
DATA : MARTE AADL mapping |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-61 |
Feature group |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-60 |
FLOW : MARTE and AADL alignment |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-59 |
MARTE AADL annexe |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-58 |
Implied NFP constraint on stereotypes Assign and Allocate |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-57 |
Nature and Kind of Allocation and Assignment |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-56 |
Example of RtFeature update required |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-55 |
GQAM::RequestedService metaclass has no definition |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-54 |
Meta class BehaviorScenario not synchronized with its representation |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-53 |
NFP_Constraint metaclass syncho with its underlying stereotype |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-52 |
MARTE domain model: defintion of Trigger |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE11-51 |
Semantics description of TimedObserver |
MARTE 1.0
|
MARTE 1.1
|
Resolved |
closed |
|
MARTE-184 |
Base unit errors in Figure D.3 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Duplicate or Merged |
closed |
|
MARTE-183 |
SendFlowAction and FlowSendAction |
MARTE 1.0b1
|
MARTE 1.0b2
|
Duplicate or Merged |
closed |
|
MARTE-182 |
Movement of some stereotypes and attributes from PA to GA |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-181 |
MARTE PAM Parameters for behaviour demanded by a Step |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-98 |
MARTE-AADL Issue 5 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-94 |
Section: Annex A: AADL-like models with MARTE |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-93 |
description of the Clock stereotype |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-97 |
MARTE-AADL Issue 4 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-96 |
MARTE-AADL Issue 3 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-95 |
Section: Annex A: AADL-like models with MARTE -- issue 2 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-92 |
Enhance the concept of Observer in GQAM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-91 |
How to model the size of code occupied in ROM? |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-100 |
MARTE-AADL Issue 7 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-99 |
MARTE-AADL Issue 6 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-107 |
Add short rationale in section 10.3 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-106 |
Explanation in section 7.3 hard to read |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-105 |
In section 2.4.2, the list of extension units and table 7.2 are redundant |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-104 |
Table 2.1, I would suggest using the profile names |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-103 |
Table 2.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-102 |
Explain 'business management perspective" |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-101 |
MARTE-AADL Issue 8 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-128 |
Support for Views or sets of profile annotations |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-127 |
Missing Delay and Offset in SAM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-130 |
page 271, Fig.15.7 and in Annex D, page 437, Fig.D.5 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-129 |
Consistency between RTEMoCC, SAM, and SRM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-133 |
Missing attribute in figure |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-132 |
attribute resMult of Resource appears under its old name |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-131 |
use of stereotype names in UML model examples is inconsistent |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-138 |
RTF stereotype |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-137 |
Incorrect cross-reference to Figure numbers |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-126 |
HRM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-125 |
HRM::HwMemory |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-134 |
Typos: |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-136 |
Incorrect cross-reference to chapter number on Page 309, third paragraph |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-135 |
Unfinished sentence on Page 313, the sixth paragraph |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-124 |
HRM::HwMemory stereotype |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-86 |
the GCM chapter should define a causality model for flows |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-75 |
Giving an attribute a variable name and an expression value |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-74 |
ports in GCM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-85 |
What are semantics of real-time features on provided/required interfaces? |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-84 |
chapter 11 (GCM) should be moved in the Part II of the specification |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-83 |
Find a better name of the RTEMoCC profile |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-82 |
RTEConnector should be removed from RTEMoCC |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-81 |
Figure E.10 (p 468): |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-90 |
How to model the size the heap size of an Ada runtime with SRM? |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-89 |
HwMedia.bandwidth attribute may need to be generalized in GRM ancestor clas |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-79 |
Tiler stereotype (pp 465,466 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-78 |
Shaped stereotype (pp 464,465): |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-88 |
How to model the amount of memory occupied by an OS resource |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-87 |
Support for flows in activities |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-77 |
Reshape stereotype (pp 463,464) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-76 |
Figure E.6 (p 460) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-80 |
E.4 Examples (pp 467,468): |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-159 |
Section: Annex A3 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-158 |
TimingObserver in GQAM should be renamed to TimedObserver |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-161 |
Specify a maximum number of period for periodic real-time constraints |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-160 |
MARTE-GQAM) Kinds of delay in a Step |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-155 |
MARTE name prefixes |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-167 |
Clock stereotype needs to extend UML::Property |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-166 |
BFeatureSpecification constraint |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-164 |
Type NFP_Weight does not exist |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-163 |
ConstraintKind not documented |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-169 |
MARTE needs naming conventions for stereotype names and tag values. |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-168 |
Clarify the nature of DRM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-157 |
no link between GRM::SchedulableResource and SRM::SwSchedulableResource |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-156 |
Section: 11.3.2.7 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-162 |
Dispatch protocols |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-165 |
"proreq" / "reqpro" literals do not exist in Beta 1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-70 |
SAM: General |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-69 |
GRM, GQAM, SAM: DomainModel & Profile |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-71 |
NFP: value syntax |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-73 |
Section: 1 MARTE spelling missing in the introduction |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-72 |
Section: HRM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-140 |
Section: 8.3.3.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-139 |
stereotype attribute "GaExecHost.throughput" that is not documented |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-142 |
Section Allocation: Wrong direction of the allocation |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-141 |
using $ in naming variables |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-146 |
Rename every instance of "SaEnd2EndFlow" to "SaEndToEndFlow". |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-145 |
expressing requirements |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-144 |
TimingResource of GRM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-143 |
Section: 15.3 and 17.3 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-147 |
Correct the inconsistency between the diagram and the text |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-154 |
Section: Annex B (VSL) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-153 |
page 288: change explanation |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-149 |
picture 11.8, ports "loc" and "ftp" |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-148 |
page 64 ClockConstraintSpecification |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-152 |
Section 16.2.2 (SAM) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-151 |
GQAM-SAM cyclic dependency due to GQAM::WorkloadBehavior |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-150 |
VSL variable declaration (inconsistency between the BNF and the metamodel) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-171 |
GQAM Domain view inheritances |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-170 |
GQAM Observers: inconsistency between domain view and UML representation |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-173 |
TimedDomain stereotype |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-172 |
wrong multiplicity in sharedResources required for a SaStep |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-178 |
figure 10.18 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-177 |
Inconsistencies in GQAM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-180 |
Section: Annex D.2 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-179 |
Errors in definition of GaEventTrace and GaWorkloadEvent |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-175 |
wrong numbering of figures |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-174 |
OCL rules for the Clock stereotype |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-176 |
The tiler stereotype should be applied on the UML::Port metaclass |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-123 |
Annex B: how VSL constructs shall be typed and evaluated |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-122 |
In Annex D, I would suggest make unit names (e.g. bits, bytes) singular |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-111 |
improve the usability of the RtBehavior stereotype |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-110 |
RtAction.isAtomic |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-109 |
Names should be identical |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-108 |
concept of refinement |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-117 |
VSL |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-119 |
GRM::SchedulableResource should have a period property |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-118 |
allocatedTo and allocatedFrom properties should not be derived |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-116 |
NFP does not introduce the concept of dimension |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-115 |
In section 6.1, I would suggest mentioning RTCORBA and CCM |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-121 |
MARTE primitive types |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-120 |
Relationship between Alloc::Allocation and SRM::EntryPoint |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-113 |
suggest removing the notion of feature in the conformance section |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-112 |
For the sake of consistency, the rtf stereotype should be renamed |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-114 |
Section 6: Remove the MSWord comment |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-63 |
[GQAM: General] |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-62 |
HRM: Examples |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-61 |
MoCC: Examples |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-60 |
[Alloc: Profile |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-59 |
GRM: Examples |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-58 |
GRM: Domain Model |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-65 |
GQAM: Domain Model & Profile (02) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-64 |
GQAM: Domain Model & Profile (01) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-68 |
[SAM: Profile] |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-67 |
GQAM: Domain Model & Profile (04) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-66 |
GQAM: Domain Model & Profile (03) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-57 |
[Time] Fig. 9.29 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-56 |
[NFP: Profile]. Fig 8.4 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-55 |
Section: NFP |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-54 |
Consider providing a tabular notation (as in SysML) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-50 |
HwTiming model of the HwLogical profile |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-49 |
Section: 14.2 add two stereotypes corresponding to HwSensor and HwActuator |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-45 |
Section: 11.3.1 figure 11.6 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-44 |
Section: 11.3.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-53 |
In 12.4, all references to figures are wrong |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-52 |
Editorial issue |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-51 |
Suggest to extend ClockConstraints to ClockTypes |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-48 |
Section: 14.2 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-47 |
Section: 11.4.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-46 |
Section: 11.3.2.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-43 |
Section: 11.3.2 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-37 |
Minor edits to MARTE Chapter 17 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-36 |
Section: Annex B.2.4 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-42 |
Section: 11.2.1 (data reception) |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-41 |
Section: 11.2.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-29 |
Class descriptions are missing |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-33 |
Section: 15.3.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-32 |
Section: 15/3 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-8 |
Section: GRM / 10.3.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-7 |
concept of "resource" |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-20 |
grammar defined for conditional expressions |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-19 |
Annex D |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-23 |
Annex B VSL BNF |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-22 |
VSL meta-model |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-5 |
Section: Annex B3.3.3 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-4 |
MARTE_Library::MeasurementUnits model library |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-10 |
rtf stereotype |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-9 |
Section: GRM / 10.3.1 - p 96 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-2 |
Consider adding a new attribute to «boundedSubtype» |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-1 |
UML Profile for MARTE acronym list |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-3 |
Naming conventions and typing errors |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-6 |
Section: Annex B3.3.3 p 397 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-17 |
Section 6/6.3 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-16 |
Section 6/6/2/1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-11 |
Annex D3 MARTE model library for time |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-25 |
non-terminal symbol |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-24 |
The VSL grammar does not define the "( )" symbol |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-26 |
automotive example |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-13 |
Figure 14.70 - HwCommunication package details |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-12 |
the property named "isSynchronous" is misspelled |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-18 |
Section 6/6.4 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-35 |
Section: Annex B |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-34 |
Section: 14.2.3 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-31 |
Section: 14/2 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-30 |
Class descriptions are missing in the MARTE model library for GRM (Annex D4 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-40 |
Section: 11.2.1 figure 11.4 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-39 |
Section: 11.2.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-27 |
GRM::SchedulableResource should not have a property "host:ExecutionHost" |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-28 |
no explicit dependency to QVT concepts |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-21 |
Wrong references in page 397 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-15 |
Section 2/2.2 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-14 |
The type NFP_Price does not exist in the document. |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|
MARTE-38 |
Section: 11.2.1 |
MARTE 1.0b1
|
MARTE 1.0b2
|
Resolved |
closed |
|