* aadlv2/ping/ping-two-buses.aadl

   aadlv2/ping/scenario-two-buses.aadl
   - Example with two buses connected on the same nodes



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/po-hi-c@4886 129961e7-ef38-4bb5-a8f7-c9a525a55882

examples/aadlv2/ping/ping-two-buses.aadl

+--  This model completes the PING example by adding deployment
+--  information.
+--
+--  In this deployment, two nodes are defined, one task per node.
+--
+--  $Id: ping.aadl 401 2007-06-07 15:04:01Z hugues $
+package PING
+public
+  with Software;
+  with Deployment;
+  with ocarina_drivers;
+  with ocarina_buses;
+
+---------------
+-- Processor --
+---------------
+
+processor the_processor
+properties
+  Deployment::location           => "127.0.0.1";
+  Deployment::Execution_Platform => linux32;
+  Priority_Range                 => 0 .. 255;
+  Scheduling_Protocol => (Posix_1003_Highest_Priority_First_Protocol);
+end the_processor;
+
+---------
+-- Bus --
+---------
+
+bus Ethernet_Bus
+properties
+  Deployment::Transport_API => BSD_Sockets;
+end Ethernet_Bus;
+
+---------------
+-- 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
+  conn1: 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;
+
+------------
+-- System --
+------------
+
+system PING
+end PING;
+
+system implementation PING.Impl
+subcomponents
+  Node_A : process A.Impl;
+  Node_B : process B.Impl;
+
+  Device_A : device ocarina_drivers::generic_sockets_ip.pohic
+    {Source_Text => ("devicesconf.c");};
+
+  Device_B : device ocarina_drivers::generic_sockets_ip.pohic
+    {Source_Text => ("devicesconf.c");};
+
+  Device_C : device ocarina_drivers::generic_sockets_ip.pohic
+    {Source_Text => ("devicesconf.c");};
+
+  Device_D : device ocarina_drivers::generic_sockets_ip.pohic
+    {Source_Text => ("devicesconf.c");};
+
+  CPU_A : processor the_processor;
+  CPU_B : processor the_processor;
+
+  first_bus : bus ocarina_buses::ip.i;
+  second_bus : bus ocarina_buses::ip.i;
+connections
+  bus access first_bus -> Device_A.link;
+  bus access first_bus -> Device_B.link;
+
+  bus access second_bus -> Device_C.link;
+  bus access second_bus -> Device_D.link;
+  port Node_A.Out_Port -> Node_B.In_Port
+    {Actual_Connection_Binding => (reference (first_bus));};
+properties
+  actual_processor_binding => reference (CPU_A) applies to Node_A;
+  actual_processor_binding => reference (CPU_B) applies to Node_B;
+
+  actual_processor_binding => (reference (CPU_A)) applies to Device_A;
+  actual_processor_binding => (reference (CPU_A)) applies to Device_D;
+  actual_processor_binding => (reference (CPU_B)) applies to Device_B;
+  actual_processor_binding => (reference (CPU_B)) applies to Device_C;
+end PING.Impl;
+
+end PING;

examples/aadlv2/ping/scenario-two-buses.aadl

+system ping
+properties
+  Ocarina_Config::Timeout_Property     => 4000ms;
+  Ocarina_Config::Use_Components_Library => true;
+  Ocarina_Config::AADL_Files           => 
+    ("ping-two-buses.aadl" , "software.aadl");
+  Ocarina_Config::Generator            => polyorb_hi_c;
+  Ocarina_Config::Needed_Property_Sets => 
+    (value (Ocarina_Config::Data_Model),
+     value (Ocarina_Config::ARINC653_Properties),
+     value (Ocarina_Config::Deployment),
+     value (Ocarina_Config::Cheddar_Properties));
+  Ocarina_Config::AADL_Version         => AADLv2;
+end ping;
+
+system implementation ping.impl
+end  ping.impl;
+