flt_mgmt_xenomai_native.aadl 1.47 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54
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;