Commit 9ba63a0c authored by jdelange's avatar jdelange

Add AADL files for making the flight manager example working on Xenomai



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/po-hi-c@5407 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 4f954a03
package flight::mgmt
public
with Deployment, Software;
---------------
-- Processes --
---------------
process Mgmt_T
end Mgmt_T;
process implementation Mgmt_T.RS
subcomponents
Sensor_Sim : thread Software::Sensor_Sim_T.RS;
Stall_Monitor : thread Software::Stall_Monitor_T.RS;
HCI : thread Software::HCI_T.RS;
Landing_Gear : thread Software::Landing_Gear_T.RS;
Operator : thread Software::Operator_T.RS;
connections
DataConnection1 : port Sensor_Sim.AoA -> Stall_Monitor.AoA;
DataConnection2 : port Sensor_Sim.Climb_Rate -> Stall_Monitor.Climb_Rate;
EventConnection1 : port Sensor_Sim.Engine_Failure -> HCI.Engine_Failure;
EventDataConnection1 : port Stall_Monitor.Stall_Warn -> HCI.Stall_Warning;
EventConnection2 : port HCI.Gear_Req -> Landing_Gear.Req;
EventConnection3 : port Landing_Gear.Ack -> HCI.Gear_Ack;
EventConnection4 : port Landing_Gear.Dummy_Out -> Landing_Gear.Dummy_In;
EventConnection5 : port Operator.Gear_Cmd -> HCI.Gear_Cmd;
end Mgmt_T.RS;
---------------
-- Processor --
---------------
processor the_processor
properties
Deployment::Execution_Platform => linux32_xenomai_native;
end the_processor;
------------
-- System --
------------
system Flight_Mgmt
end Flight_Mgmt;
system implementation Flight_Mgmt.RS
subcomponents
CPU : processor the_processor;
Mgmt : process Mgmt_T.RS;
properties
Actual_Processor_Binding => reference (CPU) applies to Mgmt;
end Flight_Mgmt.RS;
end flight::mgmt;
-- This is a scenario file describing the AADL application Flight
-- Management
-- $Id: scenario_local.aadl 424 2007-07-10 13:46:33Z zalila $
system Flight_Management
properties
Ocarina_Config::Timeout_Property => 1000ms;
Ocarina_Config::Referencial_Files =>
("mgmt", "mgmt.ref");
Ocarina_Config::AADL_Files =>
("flt_mgmt_xenomai_native.aadl", "software.aadl");
Ocarina_Config::Generator => polyorb_hi_c;
Ocarina_Config::Needed_Property_Sets =>
(value (Ocarina_Config::Data_Model),
value (Ocarina_Config::Deployment));
Ocarina_Config::AADL_Version => AADLv2;
end Flight_Management;
system implementation Flight_Management.Impl
end Flight_Management.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