PACKAGE Process_Package_proxy
PUBLIC
WITH Process_Package;
WITH AI;

SYSTEM DeploymentView
EXTENDS Process_Package::DeploymentView
END DeploymentView;

SYSTEM IMPLEMENTATION DeploymentView.final
EXTENDS Process_Package::DeploymentView.final
PROPERTIES
  Period => 10 ms APPLIES TO bat.bat_r_icu_bat_ack;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO bat.bat_r_icu_bat_ack;
  Deadline => 10 ms APPLIES TO bat.bat_r_icu_bat_ack;
  Period => 10 ms APPLIES TO bat.battery_control_bat_tc;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO bat.battery_control_bat_tc;
  Deadline => 10 ms APPLIES TO bat.battery_control_bat_tc;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO bat.battery_control_trigger;
  Deadline => 10 ms APPLIES TO bat.battery_control_trigger;
  Period => 10 ms APPLIES TO ground.ground_tm;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO ground.ground_tm;
  Deadline => 10 ms APPLIES TO ground.ground_tm;
  Period => 10 ms APPLIES TO obc.bat_module_bat_tm;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO obc.bat_module_bat_tm;
  Deadline => 10 ms APPLIES TO obc.bat_module_bat_tm;
  Period => 10 ms APPLIES TO obc.mode_automaton_target;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO obc.mode_automaton_target;
  Deadline => 10 ms APPLIES TO obc.mode_automaton_target;
  Period => 10 ms APPLIES TO obc.osp1_module_osp1_tm;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO obc.osp1_module_osp1_tm;
  Deadline => 10 ms APPLIES TO obc.osp1_module_osp1_tm;
  Period => 10 ms APPLIES TO obc.osp2_module_osp2_tm;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO obc.osp2_module_osp2_tm;
  Deadline => 10 ms APPLIES TO obc.osp2_module_osp2_tm;
  Period => 10 ms APPLIES TO obc.pus_services_tc;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO obc.pus_services_tc;
  Deadline => 10 ms APPLIES TO obc.pus_services_tc;
  Period => 10 ms APPLIES TO obc.spacewire_control_ack;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO obc.spacewire_control_ack;
  Deadline => 10 ms APPLIES TO obc.spacewire_control_ack;
  Period => 10 ms APPLIES TO osp1.osp1_r_icu_osp1_ack;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO osp1.osp1_r_icu_osp1_ack;
  Deadline => 10 ms APPLIES TO osp1.osp1_r_icu_osp1_ack;
  Period => 10 ms APPLIES TO osp1.osp1_zed_controller_osp1_tc;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO osp1.osp1_zed_controller_osp1_tc;
  Deadline => 10 ms APPLIES TO osp1.osp1_zed_controller_osp1_tc;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO osp1.osp1_zed_controller_trigger;
  Deadline => 10 ms APPLIES TO osp1.osp1_zed_controller_trigger;
  Period => 10 ms APPLIES TO osp2.osp2_r_icu_osp2_ack;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO osp2.osp2_r_icu_osp2_ack;
  Deadline => 10 ms APPLIES TO osp2.osp2_r_icu_osp2_ack;
  Period => 10 ms APPLIES TO osp2.osp2_zed_controller_osp2_tc;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO osp2.osp2_zed_controller_osp2_tc;
  Deadline => 10 ms APPLIES TO osp2.osp2_zed_controller_osp2_tc;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO osp2.osp2_zed_controller_trigger;
  Deadline => 10 ms APPLIES TO osp2.osp2_zed_controller_trigger;
  Period => 10 ms APPLIES TO r_icu.payload_control_bat_req;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO r_icu.payload_control_bat_req;
  Deadline => 10 ms APPLIES TO r_icu.payload_control_bat_req;
  Period => 10 ms APPLIES TO r_icu.payload_control_osp1_req;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO r_icu.payload_control_osp1_req;
  Deadline => 10 ms APPLIES TO r_icu.payload_control_osp1_req;
  Period => 10 ms APPLIES TO r_icu.payload_control_osp2_req;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO r_icu.payload_control_osp2_req;
  Deadline => 10 ms APPLIES TO r_icu.payload_control_osp2_req;
  Period => 10 ms APPLIES TO r_icu.spacewire_router_req;
  Compute_Execution_Time => 2 ms..2 ms APPLIES TO r_icu.spacewire_router_req;
  Deadline => 10 ms APPLIES TO r_icu.spacewire_router_req;
  AI::root_system => "SELECTED";
END DeploymentView.final;

END Process_Package_proxy;