Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
3cd6f146
Commit
3cd6f146
authored
Dec 05, 2014
by
Julien
Browse files
update memory properties
parent
754372fc
Changes
1
Hide whitespace changes
Inline
Side-by-side
resources/AADLv2/memory_properties.aadl
View file @
3cd6f146
...
...
@@ -42,15 +42,27 @@ property set Memory_Properties is
Source_Code_Size: Size
applies to (data, thread, thread group, process, system, subprogram, processor, device);
Code_Size: Size
applies to (data, thread, thread group, process, system, subprogram, processor, device);
Source_Data_Size: Size
applies to (data, subprogram, thread, thread group, process, system, processor, device);
Data_Size: Size
applies to (data, subprogram, thread, thread group, process, system, processor, device);
Source_Heap_Size: Size
applies to (thread, subprogram);
Heap_Size: Size
applies to (thread, subprogram);
Source_Stack_Size: Size
applies to (thread, subprogram, processor, device);
Stack_Size: Size
applies to (thread, subprogram, processor, device);
Byte_Count: aadlinteger 0 .. Max_Byte_Count
applies to (memory);
...
...
@@ -66,4 +78,4 @@ property set Memory_Properties is
Fixed: Time_Range;
PerByte: Time_Range;)
applies to (memory);
end Memory_Properties;
\ No newline at end of file
end Memory_Properties;
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment