Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
PolyORB-HI-C
Commits
8bb6e5d9
Commit
8bb6e5d9
authored
Jun 05, 2018
by
yoogx
Browse files
* Rework scenario files
parent
62e8b12b
Changes
3
Hide whitespace changes
Inline
Side-by-side
examples/aadlv2/latency/scenario.aadl
View file @
8bb6e5d9
package
scenario
public
with
Ocarina_Config
;
with
Ocarina_Library
;
system
topsystem
properties
Ocarina_Config
::
AADL_Files
=>
(
"latency.aadl"
);
Ocarina_Config
::
Generator
=>
polyorb_hi_c
;
Ocarina_Config
::
Needed_Property_Sets
=>
(
Ocarina_Config
::
Data_Model
,
Ocarina_Config
::
Deployment
,
Ocarina_Config
::
Cheddar_Properties
);
Ocarina_Config
::
AADL_Version
=>
AADLv2
;
Ocarina_Config
::
Use_Components_Library
=>
true
;
Ocarina_Config
::
Root_System_Name
system
topsystem
extends
Ocarina_Library
::
Default_PolyORB_HI_C_Config
properties
Ocarina_Config
::
AADL_Files
=>
(
"latency.aadl"
);
Ocarina_Config
::
Root_System_Name
=>
"topsystem.distributedallperiodicdelayed"
;
end
topsystem
;
end
topsystem
;
system
implementation
topsystem
.
distributedallperiodicdelayed
end
topsystem
.
distributedallperiodicdelayed
;
system
implementation
topsystem
.
distributedallperiodicdelayed
end
topsystem
.
distributedallperiodicdelayed
;
end
scenario
;
\ No newline at end of file
examples/aadlv2/latency/scenario_local.aadl
View file @
8bb6e5d9
package
scenario
public
with
Ocarina_Config
;
with
Ocarina_Library
;
system
topsystem
properties
Ocarina_Config
::
Timeout_Property
=>
1000
ms
;
Ocarina_Config
::
Use_Components_Library
=>
true
;
Ocarina_Config
::
AADL_Files
=>
(
"latency.aadl"
);
Ocarina_Config
::
Generator
=>
polyorb_hi_c
;
system
topsystem
extends
Ocarina_Library
::
Default_PolyORB_HI_C_Config
properties
Ocarina_Config
::
AADL_Files
=>
(
"latency.aadl"
);
Ocarina_Config
::
Root_System_Name
=>
"topsystem.local"
;
Ocarina_Config
::
Needed_Property_Sets
=>
(
Ocarina_Config
::
Data_Model
,
Ocarina_Config
::
Deployment
,
Ocarina_Config
::
Cheddar_Properties
);
Ocarina_Config
::
AADL_Version
=>
AADLv2
;
end
topsystem
;
end
topsystem
;
system
implementation
topsystem
.
distributedallperiodicdelayed
end
topsystem
.
distributedallperiodicdelayed
;
system
implementation
topsystem
.
distributedallperiodicdelayed
end
topsystem
.
distributedallperiodicdelayed
;
end
scenario
;
examples/aadlv2/latency/scenario_rtems.aadl
View file @
8bb6e5d9
...
...
@@ -2,22 +2,14 @@ package scenario
public
with
Ocarina_Config
;
system
topsystem
properties
Ocarina_Config
::
Timeout_Property
=>
1000
ms
;
Ocarina_Config
::
Use_Components_Library
=>
true
;
Ocarina_Config
::
AADL_Files
=>
(
"latency.aadl"
);
Ocarina_Config
::
Generator
=>
polyorb_hi_c
;
Ocarina_Config
::
Root_System_Name
=>
"topsystem.RTEMS"
;
Ocarina_Config
::
Needed_Property_Sets
=>
(
Ocarina_Config
::
Data_Model
,
Ocarina_Config
::
Deployment
,
Ocarina_Config
::
Cheddar_Properties
);
Ocarina_Config
::
AADL_Version
=>
AADLv2
;
end
topsystem
;
system
topsystem
extends
Ocarina_Library
::
Default_PolyORB_HI_C_Config
properties
Ocarina_Config
::
AADL_Files
=>
(
"latency.aadl"
);
Ocarina_Config
::
Root_System_Name
=>
"topsystem.RTEMS"
;
end
topsystem
;
system
implementation
topsystem
.
distributedallperiodicdelayed
end
topsystem
.
distributedallperiodicdelayed
;
system
implementation
topsystem
.
distributedallperiodicdelayed
end
topsystem
.
distributedallperiodicdelayed
;
end
scenario
;
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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