Commit 8a433f08 authored by julien.delange's avatar julien.delange

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

   ocarina/resources/AADLv2/components/devices.aadl
   - Add specification of the LEON serial driver

 * ocarina/resources/AADLv2/taste_properties.aadl
   - Description of encoding type to be used on a bus



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2002 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent e1b109c2
......@@ -7,6 +7,8 @@ public
with Data_Model;
with Base_Types;
with ocarina_drivers_leon_serial;
with ocarina_drivers_rasta_1553;
with ocarina_drivers_rasta_serial;
......@@ -44,6 +46,24 @@ public
device implementation generic_keyboard.linux
end generic_keyboard.linux;
------------------
-- RASTA SERIAL --
------------------
device leon_serial
features
serialaccess : requires bus access ocarina_buses::serial.generic;
end leon_serial;
device implementation leon_serial.raw
properties
Deployment::Driver_Name => "serial_leon";
Device_Driver => classifier (ocarina_drivers_leon_serial::serial_driver.leon);
Initialize_Entrypoint => classifier (ocarina_drivers_leon_serial::spg_serial_init_leon);
Provided_Virtual_Bus_Class => (classifier (ocarina_buses::raw.i));
end leon_serial.raw;
----------------
-- RASTA 1553 --
----------------
......
package ocarina_drivers_leon_serial
public
with ocarina_buses;
subprogram spg_serial_poller_leon
properties
Source_Language => C;
Source_Name => "__po_hi_c_driver_serial_leon_poller";
end spg_serial_poller_leon;
subprogram spg_serial_sender_leon
properties
Source_Language => C;
Source_Name => "__po_hi_c_driver_serial_leon_sender";
end spg_serial_sender_leon;
subprogram spg_serial_init_leon
properties
Source_Language => C;
Source_Name => "__po_hi_c_driver_serial_leon_init";
end spg_serial_init_leon;
thread serial_poller
end serial_poller;
thread implementation serial_poller.leon
calls
mycall : {
pspg : subprogram spg_serial_poller_leon;
};
properties
Period => 1000ms;
Dispatch_Protocol => Periodic;
end serial_poller.leon;
abstract serial_driver
end serial_driver;
abstract implementation serial_driver.leon
subcomponents
receiver_leon_serial : thread serial_poller.leon;
sender : subprogram spg_serial_sender_leon;
end serial_driver.leon;
end ocarina_drivers_leon_serial;
......@@ -4,6 +4,8 @@ property set Taste is
Coordinates : aadlstring applies to
(system, package, device, memory, processor, process, access, subprogram access, connection, bus, virtual bus);
Data_Transport : enumeration (legacy,asn1) applies to (device, abstract);
Importance: enumeration (low, medium, high) applies to (system, subprogram access, access);
APLC_Binding : list of reference (process) applies to (process, device, system);
......
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