issues
search
saeaadl
/
emv2
AADL Error Model V2 annex language
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Definition of XOR
#102
AaronGreenhouse
opened
1 year ago
0
Clarify intent of error type mappings
#101
jjhugues
opened
1 year ago
0
Diamond inheritance for type libraries leads to conflicting property values
#100
joeseibel
opened
1 year ago
0
Rule E.8.(N47) is misleading/wrong
#99
AaronGreenhouse
opened
1 year ago
0
Type transformation sets in connection error behaviors are confusing
#98
joeseibel
opened
1 year ago
0
Insufficient explanation of `when` and `if` for connection error sources
#97
joeseibel
opened
1 year ago
0
Types on connection error sources
#96
joeseibel
opened
1 year ago
0
Connection reference consistency for connection instances
#95
joeseibel
opened
1 year ago
0
Are connection error sources useful?
#94
joeseibel
opened
1 year ago
0
Legality rules for StateKind property
#93
jjhugues
opened
1 year ago
1
Ambiguous property for propagation points
#92
joeseibel
opened
1 year ago
1
Semantics of Composite Error Behavior state transitions
#91
AaronGreenhouse
opened
1 year ago
1
Legality rules for "all" expressions
#90
AaronGreenhouse
opened
1 year ago
1
Rework Property Lookup Rules
#89
joeseibel
opened
2 years ago
3
Insufficient explanation of 'if' for error events and recover events
#88
joeseibel
opened
2 years ago
1
Mode mappings without types, but with a typed state
#87
joeseibel
opened
2 years ago
2
Missing legality rule for mode mappings
#86
joeseibel
opened
2 years ago
1
Error Code Value Ambiguities
#85
joeseibel
opened
2 years ago
1
Error states in component error behavior
#84
joeseibel
opened
2 years ago
1
Initial type for initial error state
#83
joeseibel
opened
2 years ago
3
Simple transition condition with noerror
#82
joeseibel
opened
2 years ago
2
Type transformations with complicated transition conditions
#81
joeseibel
opened
2 years ago
1
Typed error states with subtypes
#80
joeseibel
opened
2 years ago
1
Incomplete trigger list
#79
joeseibel
opened
2 years ago
2
Missing semantics of logical operators for composite error behavior
#78
AaronGreenhouse
opened
2 years ago
1
Rework propagation path list
#77
joeseibel
opened
2 years ago
1
Inconsistent rules for missing error flows
#76
joeseibel
opened
2 years ago
1
Unclear syntax for propagation paths across call bindings
#75
joeseibel
opened
2 years ago
1
Different error behaviors in different operational modes
#74
AaronGreenhouse
opened
2 years ago
1
Should propagation paths refer to features?
#73
joeseibel
opened
2 years ago
1
Need to clarify Actual_Function_Binding
#72
joeseibel
opened
2 years ago
0
Can't specify propagations for connections
#71
joeseibel
opened
2 years ago
1
Multiple paths between two components
#70
joeseibel
opened
2 years ago
2
Containment Propagations
#69
joeseibel
opened
2 years ago
1
Inconsistent rules about references from propagation paths to propagation points
#68
joeseibel
opened
2 years ago
1
Bindings keyword is ambiguous
#67
joeseibel
opened
2 years ago
1
Inheritance of binding propagations via containment
#66
joeseibel
opened
2 years ago
1
Propagations on feature groups
#65
joeseibel
opened
2 years ago
1
Multiple error flows along up and down connections
#64
joeseibel
opened
2 years ago
0
Propagation consistency for up and down connections
#63
joeseibel
opened
2 years ago
1
Update rules for overriding elements
#62
joeseibel
opened
2 years ago
5
Insufficient explanation of 'when' and 'if' for error sources
#61
joeseibel
opened
2 years ago
0
instance used as a runtime concept
#60
jjhugues
opened
2 years ago
0
Clarify 'all'
#59
joeseibel
opened
2 years ago
0
Clarification needed when omitting the target type of an error path
#58
joeseibel
opened
2 years ago
1
Missing semantics for 'all' error flow without explicit types
#57
joeseibel
opened
2 years ago
1
Ambiguous properties on propagations and types
#56
joeseibel
opened
2 years ago
1
Rework ProbabilityDistributionSpecification
#55
jjhugues
opened
2 years ago
2
E.7.2 Error Flow Declarations (L20) refers to incorrect entity
#54
lwrage
opened
3 years ago
1
EMV2 Annex -- AS5506/5 document preparation
#53
jjhugues
opened
3 years ago
0
Next