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
5e438438
Commit
5e438438
authored
Nov 25, 2015
by
Julien
Browse files
Add Data_Rate_Units property
parent
f3ca3362
Changes
2
Hide whitespace changes
Inline
Side-by-side
resources/AADLv2/aadl_project.aadl
View file @
5e438438
...
...
@@ -134,4 +134,6 @@ property set AADL_Project is
MBytesps => KBytesps * 1000,
GBytesps => MBytesps * 1000);
Data_Rate_Units: type units (bitsps, Bytesps => bitsps * 8, KBytesps => Bytesps * 1000, MBytesps => KBytesps * 1000, GBytesps => MBytesps * 1000);
end AADL_Project;
resources/AADLv2/communication_properties.aadl
View file @
5e438438
...
...
@@ -17,6 +17,8 @@ property set Communication_Properties is
src: list of aadlinteger;
dst: list of aadlinteger;);
Data_Rate : aadlinteger units Data_Rate_Units applies to (feature);
Overflow_Handling_Protocol: enumeration (DropOldest, DropNewest, Error) => DropOldest
applies to (event port, event data port, subprogram access);
...
...
@@ -55,7 +57,6 @@ property set Communication_Properties is
Output_Time: list of IO_Time_Spec => ([ Time => Completion; Offset => 0 ns .. 0 ns; ])
applies to (port);
Rate_Spec: type record (
Value_Range: range of aadlreal;
Rate_Unit: enumeration (PerSecond, PerDispatch);
...
...
@@ -75,4 +76,4 @@ property set Communication_Properties is
Latency: Time_Range
applies to (flow, connection, bus, processor, device, port);
end Communication_Properties;
\ No newline at end of file
end Communication_Properties;
Write
Preview
Supports
Markdown
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