issues
search
saeaadl
/
aadlv2.2
SAE AADL core language, version 2.2
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ModeTransitionConnection is obsolete
#73
asazonova
opened
2 years ago
0
Incorrect description of Activate_Entrypoint_Call_Sequence
#72
lwrage
opened
2 years ago
0
Allow connections to individual ports in port arrays.
#71
brlarson
opened
2 years ago
4
Add Halt in event port to reserved thread ports
#70
brlarson
closed
2 years ago
4
AS5506D -- AADLv2.3 Document preparation
#69
jjhugues
opened
3 years ago
0
Revised definition for Classifier_Matching_Rule and Classifier_Substitution_Rule
#68
jjhugues
opened
3 years ago
1
Update Dispatch_Trigger to list features
#67
jjhugues
opened
3 years ago
1
Property MemoryProperties::data_size not the same in Spec and OSATE
#66
AaronGreenhouse
opened
3 years ago
1
Updates on property sets
#65
jjhugues
opened
3 years ago
0
Clarification on Port Communication Timing 9.2.4
#64
jjhugues
opened
3 years ago
1
Clarification in Input_Time/Output_Time and Frozen in 8.3.2
#63
jjhugues
opened
3 years ago
1
Clarification on Thread Dispatching 5.4.2
#62
jjhugues
opened
3 years ago
2
Missing legality rules for feature connections
#61
lwrage
opened
3 years ago
2
Impossible to specify flow implementation through certain subprogram calls
#60
lwrage
opened
3 years ago
2
AADL Runtime services
#57
jjhugues
opened
3 years ago
0
Flows
#56
jjhugues
opened
3 years ago
0
Allow connections between features of same component inside its implementation
#55
stevevestal
closed
3 years ago
12
Access subcomponents of port data in flow paths
#54
lwrage
closed
2 years ago
4
Add Kbps, MBps and Gbps units
#53
jjhugues
opened
4 years ago
2
Criticality for other components than threads (processors, virtual processors, processes and subprograms)
#52
Etienne13
opened
4 years ago
5
Multicore specification
#51
Etienne13
opened
4 years ago
11
Static scheduling specification
#50
Etienne13
opened
4 years ago
12
Subprogram groups and thread groups legality rules
#49
jjhugues
opened
4 years ago
7
Add Overflow_Handling_Protocol to indicate that sender will block
#48
philip-alldredge
closed
3 years ago
3
Impossible to trigger mode transitions for some nested hardware components
#47
lwrage
opened
4 years ago
5
Memory components cannot have virtual bus subcomponents
#46
lwrage
opened
4 years ago
2
Call sequence 5.2 (L3)
#45
jjhugues
opened
4 years ago
14
Flow specifications cannot connect to a feature in an array
#43
lwrage
opened
4 years ago
7
Allow end to end flow specifications
#42
stevevestal
closed
3 years ago
2
Requirement that an implementation must implement every flow spec
#41
stevevestal
opened
4 years ago
7
abstract category in reference and classifier property types
#40
reteprelief
opened
5 years ago
1
Flow spec between subprogram access
#39
reteprelief
opened
5 years ago
6
Allow ports in subprogram types
#38
stevevestal
closed
4 years ago
4
Property constant reference
#37
joeseibel
opened
5 years ago
3
Deterministic mode transitions
#36
joeseibel
opened
5 years ago
2
Inheriting initial mode
#35
joeseibel
opened
5 years ago
1
Unnecessary requirement in mode naming rule
#34
lwrage
opened
5 years ago
2
"Initial" is allowed in requires modes
#33
lwrage
closed
5 years ago
1
Allow renames of property sets
#32
stevevestal
closed
5 years ago
2
Add ability to deprecate classifiers, property definitions, etc.
#31
reteprelief
closed
5 years ago
2
Mode transitions cannot reference a feature in a feature array
#30
reteprelief
closed
5 years ago
2
Flow specification only allows one level of reference into nested feature groups
#29
reteprelief
opened
5 years ago
6
Flow feature identifier allows identifying parameters in subprogram access, but not data access features
#28
reteprelief
opened
6 years ago
2
Complete and unambiguous Capacity and demand properties
#27
stevevestal
opened
6 years ago
6
Reference to called_subprogram is ambiguous
#26
joeseibel
opened
6 years ago
5
Repetition of a paragraph in A.9
#25
buzden
closed
5 years ago
1
Change in connection and flow in_modes clause legality rule
#24
stevevestal
opened
6 years ago
3
Modeling recommendations for subprogram parameters by reference are incorrect
#23
buzden
closed
3 years ago
1
Typos in example on page 145
#22
AaronGreenhouse
closed
5 years ago
0
Typos in example on page 220
#21
AaronGreenhouse
closed
5 years ago
0
Next