* AADLv2/components/devices/leon-serial.aadl

   AADLv2/components/devices.aadl
   - Add the new LEON serial device driver


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

resources/AADLv2/components/devices.aadl

@@ -64,6 +64,14 @@ public
     Provided_Virtual_Bus_Class => (classifier (ocarina_buses::raw.i));
   end leon_serial.raw;
 
+  device implementation leon_serial.raw_sender
+  properties
+    Deployment::Driver_Name    => "serial_leon_sender";
+    Device_Driver              => classifier (ocarina_drivers_leon_serial::serial_driver.leon_sender);
+    Initialize_Entrypoint      => classifier (ocarina_drivers_leon_serial::spg_serial_init_leon_sender);
+    Provided_Virtual_Bus_Class => (classifier (ocarina_buses::raw.i));
+  end leon_serial.raw_sender;
+
   ----------------
   -- RASTA 1553 --
   ----------------

resources/AADLv2/components/devices/leon-serial.aadl

@@ -23,6 +23,12 @@ properties
 	Source_Name => "__po_hi_c_driver_serial_leon_init";
 end spg_serial_init_leon;
 
+subprogram spg_serial_init_leon_sender
+properties
+	Source_Language => C;
+	Source_Name => "__po_hi_c_driver_serial_leon_init_sender";
+end spg_serial_init_leon_sender;
+
 thread serial_poller
 end serial_poller;
 
@@ -46,4 +52,10 @@ subcomponents
    sender                : subprogram spg_serial_sender_leon;
 end serial_driver.leon;
 
+abstract implementation serial_driver.leon_sender
+subcomponents
+   sender                : subprogram spg_serial_sender_leon;
+end serial_driver.leon_sender;
+
+
 end ocarina_drivers_leon_serial;