* ocarina/resources/AADLv2/components/devices/sd-spw-usb.aadl

   ocarina/resources/AADLv2/components/devices.aadl
   - Integrate the AADL definition of the USB brick driver



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2886 129961e7-ef38-4bb5-a8f7-c9a525a55882

resources/AADLv2/components/devices.aadl

@@ -15,6 +15,8 @@ public
   with ocarina_drivers_rasta_spacewire;
   with ocarina_drivers_rtems_ne2000;
 
+  with ocarina_drivers_star_dundee_spacewire_brick;
+
   with ocarina_drivers_udp_exarm;
   with ocarina_drivers_serial;
 
@@ -148,6 +150,23 @@ public
     Provided_Virtual_Bus_Class => (classifier (ocarina_buses::raw.i));
   end rasta_serial.pohiada;
 
+  --------------------------------------------------
+  -- USB BRICK (STAR DUNDEE) DEVICE FOR SPACEWIRE --
+  --------------------------------------------------
+
+  device usb_brick_spacewire
+  features
+    spwaccess : requires bus access ocarina_buses::spacewire.generic;
+  end usb_brick_spacewire;
+
+  device implementation usb_brick_spacewire.pohic
+  properties
+    Deployment::Driver_Name       => "spacewire_usb_brick";
+    Device_Driver                 => classifier (ocarina_drivers_star_dundee_spacewire_brick::driver.usb_brick);
+    Initialize_Entrypoint         => classifier (ocarina_drivers_star_dundee_spacewire_brick::spg_init);
+    Provided_Virtual_Bus_Class    => (classifier (ocarina_buses::pohi.c));
+  end usb_brick_spacewire.pohic;
+
   ---------------------
   -- RASTA SPACEWIRE --
   ---------------------

resources/AADLv2/components/devices/sd-spw-usb.aadl

+package ocarina_drivers_star_dundee_spacewire_brick
+public
+
+with ocarina_buses;
+with Deployment;
+
+subprogram spg_poller
+properties
+	Source_Language => C;
+	Source_Name => "__po_hi_c_driver_spw_usb_brick_poller";
+end spg_poller;
+
+subprogram spg_sender
+properties
+	Source_Language => C;
+	Source_Name => "__po_hi_c_driver_spw_usb_brick_sender";
+end spg_sender;
+
+subprogram spg_init
+properties
+	Source_Language => C;
+	Source_Name => "__po_hi_c_driver_spw_usb_brick_init";
+end spg_init;
+
+
+thread thr_poller
+end thr_poller;
+
+thread implementation thr_poller.i
+calls
+	mycall : {
+	  pspg : subprogram spg_poller;
+	};
+properties
+   Period => 1000ms;
+   Dispatch_Protocol => Periodic;
+end thr_poller.i;
+
+
+abstract driver
+properties
+   Deployment::Version  => "0.1beta";
+   Deployment::Help     => "Write your ASN.1 configuration here";
+   Deployment::Configuration_Type => classifier (ocarina_drivers::configuration_type_spacewire);
+end driver;
+
+abstract implementation driver.usb_brick
+subcomponents
+   receiver_rasta_spacewire : thread thr_poller.i;
+   sender                   : subprogram spg_sender;
+end driver.usb_brick;
+
+end ocarina_drivers_star_dundee_spacewire_brick;