Commit 615a6a0d authored by julien.delange's avatar julien.delange
Browse files

* ping/scenario-xtratum-conf.aadl

   ping/ping-xtratum.aadl
   ping/scenario-xtratum.aadl
   - Model for the Xtratum demo



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/po-hi-c@2155 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent eea83e46
package PING
public
with Software;
with Deployment;
with ocarina_processors_leon;
---------------
-- Processes --
---------------
process A
features
Out_Port : out event data port Software::Simple_Type;
end A;
process implementation A.Impl
subcomponents
Pinger : thread Software::P.Impl;
connections
port Pinger.Data_Source -> Out_Port;
end A.Impl;
process B
features
In_Port : in event data port Software::Simple_Type;
end B;
process implementation B.Impl
subcomponents
Ping_Me : thread Software::Q.Impl;
connections
port In_Port -> Ping_Me.Data_Sink;
end B.Impl;
memory myram
end myram;
memory segment
end segment;
memory implementation segment.i
end segment.i;
memory implementation myram.i
subcomponents
segment1 : memory segment.i;
segment2 : memory segment.i;
end myram.i;
------------
-- System --
------------
system PING
end PING;
system implementation PING.Impl
subcomponents
Node_A : process A.Impl;
Node_B : process B.Impl;
mem : memory myram.i;
cpu : processor ocarina_processors_leon::leon3.xtratum_2partitions;
connections
port Node_A.Out_Port -> Node_B.In_Port;
properties
actual_processor_binding => (reference (cpu.part1)) applies to Node_A;
actual_processor_binding => (reference (cpu.part2)) applies to Node_B;
actual_memory_binding => (reference (mem.segment1)) applies to Node_A;
actual_memory_binding => (reference (mem.segment2)) applies to Node_B;
end PING.Impl;
end PING;
system ping
properties
Ocarina_Config::Use_Components_Library => true;
Ocarina_Config::AADL_Files =>
("ping-xtratum.aadl" , "software.aadl");
Ocarina_Config::Generator => xtratum_configuration;
Ocarina_Config::Needed_Property_Sets =>
(value (Ocarina_Config::Data_Model),
value (Ocarina_Config::Deployment),
value (Ocarina_Config::ARINC653_Properties),
value (Ocarina_Config::Cheddar_Properties));
Ocarina_Config::AADL_Version => AADLv2;
end ping;
system implementation ping.impl
end ping.impl;
system ping
properties
Ocarina_Config::Timeout_Property => 4000ms;
Ocarina_Config::Use_Components_Library => true;
Ocarina_Config::AADL_Files =>
("ping-xtratum.aadl" , "software.aadl");
Ocarina_Config::Generator => polyorb_hi_c;
Ocarina_Config::Needed_Property_Sets =>
(value (Ocarina_Config::Data_Model),
value (Ocarina_Config::Deployment),
value (Ocarina_Config::ARINC653_Properties),
value (Ocarina_Config::Cheddar_Properties));
Ocarina_Config::AADL_Version => AADLv2;
end ping;
system implementation ping.impl
end ping.impl;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment