--------------------------------------------------- -- AADL2.2 -- TASTE type concurrencyview -- Input file for the taste orchestrator: do not edit -- This file was generated automatically by taste/kazoo --------------------------------------------------- package Bat_R_Icu_Bat_Ack_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Bat_R_Icu_Bat_Ack features Current_Mode : requires data access Base_Types::Integer; INPORT_Bat_Ack : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_bat_r_icu_bat_ack"; }; OUTPORT_Bat_Req : out event port; end Bat_R_Icu_Bat_Ack; thread implementation Bat_R_Icu_Bat_Ack.others properties Initialize_Entrypoint_Source_Text => "init_bat_r_icu"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Bat_R_Icu_Bat_Ack.others; end Bat_R_Icu_Bat_Ack_Thread; package Battery_Controller_R_Icu_Bat_Tc_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Battery_Controller_R_Icu_Bat_Tc features Current_Mode : requires data access Base_Types::Integer; INPORT_R_Icu_Bat_Tc : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_battery_controller_r_icu_bat_tc"; }; OUTPORT_R_Icu_Bat_Tm : out event port; end Battery_Controller_R_Icu_Bat_Tc; thread implementation Battery_Controller_R_Icu_Bat_Tc.others properties Initialize_Entrypoint_Source_Text => "init_battery_controller"; Dispatch_Protocol => Sporadic; Period => 50 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 25 ms .. 45 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 45 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Battery_Controller_R_Icu_Bat_Tc.others; end Battery_Controller_R_Icu_Bat_Tc_Thread; package Battery_Controller_Trigger_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Battery_Controller_Trigger features Current_Mode : requires data access Base_Types::Integer; OUTPORT_R_Icu_Bat_Tm : out event port; end Battery_Controller_Trigger; thread implementation Battery_Controller_Trigger.others properties Initialize_Entrypoint_Source_Text => "init_battery_controller"; Compute_Entrypoint_Source_Text => "call_battery_controller_trigger"; Dispatch_Protocol => Periodic; Period => 50 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 25 ms .. 45 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 45 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { --computation(1ms); OUTPORT_R_Icu_Bat_Tm! }; **}; end Battery_Controller_Trigger.others; end Battery_Controller_Trigger_Thread; package Ground_Tm_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Ground_Tm features Current_Mode : requires data access Base_Types::Integer; INPORT_Tm : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_ground_tm"; }; OUTPORT_Tc : out event port; end Ground_Tm; thread implementation Ground_Tm.others properties Initialize_Entrypoint_Source_Text => "init_ground"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 5 ms .. 10 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 12 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { --computation(1ms); OUTPORT_Tc! }; **}; end Ground_Tm.others; end Ground_Tm_Thread; package Bat_Module_Obc_Bat_Tm_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Bat_Module_Obc_Bat_Tm features Current_Mode : requires data access Base_Types::Integer; INPORT_Obc_Bat_Tm : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_bat_module_obc_bat_tm"; }; OUTPORT_Ack : out event port; OUTPORT_Obc_Bat_Tc : out event port; OUTPORT_Obc_Osp1_Tc : out event port; OUTPORT_Obc_Osp2_Tc : out event port; OUTPORT_Target : out event data port DataView::Pus_220_StateId_Buffer.impl; OUTPORT_Tm : out event port; end Bat_Module_Obc_Bat_Tm; thread implementation Bat_Module_Obc_Bat_Tm.others properties Initialize_Entrypoint_Source_Text => "init_bat_module"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms); OUTPORT_Tm! }; **}; end Bat_Module_Obc_Bat_Tm.others; end Bat_Module_Obc_Bat_Tm_Thread; package Mode_Automaton_Target_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Mode_Automaton_Target features Current_Mode : requires data access Base_Types::Integer; INPORT_Target : in event data port DataView::Pus_220_StateId_Buffer.impl { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 10; Compute_Entrypoint_Source_Text => "call_mode_automaton_target"; }; end Mode_Automaton_Target; thread implementation Mode_Automaton_Target.others properties Initialize_Entrypoint_Source_Text => "init_mode_automaton"; Dispatch_Protocol => Sporadic; Period => 10 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 15 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Mode_Automaton_Target.others; end Mode_Automaton_Target_Thread; package Obc_R_Icu_Req_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Obc_R_Icu_Req features Current_Mode : requires data access Base_Types::Integer; INPORT_Req : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_obc_r_icu_req"; }; OUTPORT_Ack : out event port; OUTPORT_Obc_Bat_Tc : out event port; OUTPORT_Obc_Osp1_Tc : out event port; OUTPORT_Obc_Osp2_Tc : out event port; OUTPORT_Target : out event data port DataView::Pus_220_StateId_Buffer.impl; OUTPORT_Tm : out event port; end Obc_R_Icu_Req; thread implementation Obc_R_Icu_Req.others properties Initialize_Entrypoint_Source_Text => "init_obc_r_icu"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms); OUTPORT_Tm! }; **}; end Obc_R_Icu_Req.others; end Obc_R_Icu_Req_Thread; package Osp1_Module_Obc_Osp1_Tm_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Osp1_Module_Obc_Osp1_Tm features Current_Mode : requires data access Base_Types::Integer; INPORT_Obc_Osp1_Tm : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_osp1_module_obc_osp1_tm"; }; OUTPORT_Ack : out event port; OUTPORT_Obc_Bat_Tc : out event port; OUTPORT_Obc_Osp1_Tc : out event port; OUTPORT_Obc_Osp2_Tc : out event port; OUTPORT_Target : out event data port DataView::Pus_220_StateId_Buffer.impl; OUTPORT_Tm : out event port; end Osp1_Module_Obc_Osp1_Tm; thread implementation Osp1_Module_Obc_Osp1_Tm.others properties Initialize_Entrypoint_Source_Text => "init_osp1_module"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms); OUTPORT_Tm! }; **}; end Osp1_Module_Obc_Osp1_Tm.others; end Osp1_Module_Obc_Osp1_Tm_Thread; package Osp2_Module_Obc_Osp2_Tm_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Osp2_Module_Obc_Osp2_Tm features Current_Mode : requires data access Base_Types::Integer; INPORT_Obc_Osp2_Tm : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_osp2_module_obc_osp2_tm"; }; OUTPORT_Ack : out event port; OUTPORT_Obc_Bat_Tc : out event port; OUTPORT_Obc_Osp1_Tc : out event port; OUTPORT_Obc_Osp2_Tc : out event port; OUTPORT_Target : out event data port DataView::Pus_220_StateId_Buffer.impl; OUTPORT_Tm : out event port; end Osp2_Module_Obc_Osp2_Tm; thread implementation Osp2_Module_Obc_Osp2_Tm.others properties Initialize_Entrypoint_Source_Text => "init_osp2_module"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms); OUTPORT_Tm! }; **}; end Osp2_Module_Obc_Osp2_Tm.others; end Osp2_Module_Obc_Osp2_Tm_Thread; package Pus_Services_Tc_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Pus_Services_Tc features Current_Mode : requires data access Base_Types::Integer; INPORT_Tc : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_pus_services_tc"; }; OUTPORT_Ack : out event port; OUTPORT_Obc_Bat_Tc : out event port; OUTPORT_Obc_Osp1_Tc : out event port; OUTPORT_Obc_Osp2_Tc : out event port; OUTPORT_Target : out event data port DataView::Pus_220_StateId_Buffer.impl; OUTPORT_Tm : out event port; end Pus_Services_Tc; thread implementation Pus_Services_Tc.others properties Initialize_Entrypoint_Source_Text => "init_pus_services"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 3 ms .. 3 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { --computation(1ms); OUTPORT_Obc_Bat_Tc!; OUTPORT_Obc_Osp1_Tc!; OUTPORT_Obc_Osp2_Tc! }; **}; end Pus_Services_Tc.others; end Pus_Services_Tc_Thread; package Osp1_R_Icu_Osp1_Ack_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Osp1_R_Icu_Osp1_Ack features Current_Mode : requires data access Base_Types::Integer; INPORT_Osp1_Ack : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_osp1_r_icu_osp1_ack"; }; OUTPORT_Osp1_Req : out event port; end Osp1_R_Icu_Osp1_Ack; thread implementation Osp1_R_Icu_Osp1_Ack.others properties Initialize_Entrypoint_Source_Text => "init_osp1_r_icu"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Osp1_R_Icu_Osp1_Ack.others; end Osp1_R_Icu_Osp1_Ack_Thread; package Osp1_Zed_Controller_R_Icu_Osp1_Tc_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Osp1_Zed_Controller_R_Icu_Osp1_Tc features Current_Mode : requires data access Base_Types::Integer; INPORT_R_Icu_Osp1_Tc : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_osp1_zed_controller_r_icu_osp1_tc"; }; OUTPORT_R_Icu_Osp2_Tm : out event port; end Osp1_Zed_Controller_R_Icu_Osp1_Tc; thread implementation Osp1_Zed_Controller_R_Icu_Osp1_Tc.others properties Initialize_Entrypoint_Source_Text => "init_osp1_zed_controller"; Dispatch_Protocol => Sporadic; Period => 50 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 25 ms .. 45 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 45 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Osp1_Zed_Controller_R_Icu_Osp1_Tc.others; end Osp1_Zed_Controller_R_Icu_Osp1_Tc_Thread; package Osp1_Zed_Controller_Trigger_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Osp1_Zed_Controller_Trigger features Current_Mode : requires data access Base_Types::Integer; OUTPORT_R_Icu_Osp2_Tm : out event port; end Osp1_Zed_Controller_Trigger; thread implementation Osp1_Zed_Controller_Trigger.others properties Initialize_Entrypoint_Source_Text => "init_osp1_zed_controller"; Compute_Entrypoint_Source_Text => "call_osp1_zed_controller_trigger"; Dispatch_Protocol => Periodic; Period => 50 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 25 ms .. 45 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 45 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { --computation(1ms); OUTPORT_R_Icu_Osp2_Tm! }; **}; end Osp1_Zed_Controller_Trigger.others; end Osp1_Zed_Controller_Trigger_Thread; package Osp2_R_Icu_Osp2_Ack_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Osp2_R_Icu_Osp2_Ack features Current_Mode : requires data access Base_Types::Integer; INPORT_Osp2_Ack : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_osp2_r_icu_osp2_ack"; }; OUTPORT_Osp2_Req : out event port; end Osp2_R_Icu_Osp2_Ack; thread implementation Osp2_R_Icu_Osp2_Ack.others properties Initialize_Entrypoint_Source_Text => "init_osp2_r_icu"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Osp2_R_Icu_Osp2_Ack.others; end Osp2_R_Icu_Osp2_Ack_Thread; package Osp2_Zed_Controller_R_Icu_Osp2_Tc_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Osp2_Zed_Controller_R_Icu_Osp2_Tc features Current_Mode : requires data access Base_Types::Integer; INPORT_R_Icu_Osp2_Tc : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_osp2_zed_controller_r_icu_osp2_tc"; }; OUTPORT_R_Icu_Osp1_Tm : out event port; end Osp2_Zed_Controller_R_Icu_Osp2_Tc; thread implementation Osp2_Zed_Controller_R_Icu_Osp2_Tc.others properties Initialize_Entrypoint_Source_Text => "init_osp2_zed_controller"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Osp2_Zed_Controller_R_Icu_Osp2_Tc.others; end Osp2_Zed_Controller_R_Icu_Osp2_Tc_Thread; package Osp2_Zed_Controller_Trigger_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Osp2_Zed_Controller_Trigger features Current_Mode : requires data access Base_Types::Integer; OUTPORT_R_Icu_Osp1_Tm : out event port; end Osp2_Zed_Controller_Trigger; thread implementation Osp2_Zed_Controller_Trigger.others properties Initialize_Entrypoint_Source_Text => "init_osp2_zed_controller"; Compute_Entrypoint_Source_Text => "call_osp2_zed_controller_trigger"; Dispatch_Protocol => Periodic; Period => 50 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms); OUTPORT_R_Icu_Osp1_Tm! }; **}; end Osp2_Zed_Controller_Trigger.others; end Osp2_Zed_Controller_Trigger_Thread; package Network_Control_Ack_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Network_Control_Ack features Current_Mode : requires data access Base_Types::Integer; INPORT_Ack : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_network_control_ack"; }; OUTPORT_Bat_Ack : out event port; OUTPORT_Osp1_Ack : out event port; OUTPORT_Osp2_Ack : out event port; OUTPORT_Req : out event port; end Network_Control_Ack; thread implementation Network_Control_Ack.others properties Initialize_Entrypoint_Source_Text => "init_network_control"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Network_Control_Ack.others; end Network_Control_Ack_Thread; package Network_Control_Bat_Req_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Network_Control_Bat_Req features Current_Mode : requires data access Base_Types::Integer; INPORT_Bat_Req : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_network_control_bat_req"; }; OUTPORT_Bat_Ack : out event port; OUTPORT_Osp1_Ack : out event port; OUTPORT_Osp2_Ack : out event port; OUTPORT_Req : out event port; end Network_Control_Bat_Req; thread implementation Network_Control_Bat_Req.others properties Initialize_Entrypoint_Source_Text => "init_network_control"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Network_Control_Bat_Req.others; end Network_Control_Bat_Req_Thread; package Network_Control_Osp1_Req_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Network_Control_Osp1_Req features Current_Mode : requires data access Base_Types::Integer; INPORT_Osp1_Req : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_network_control_osp1_req"; }; OUTPORT_Bat_Ack : out event port; OUTPORT_Osp1_Ack : out event port; OUTPORT_Osp2_Ack : out event port; OUTPORT_Req : out event port; end Network_Control_Osp1_Req; thread implementation Network_Control_Osp1_Req.others properties Initialize_Entrypoint_Source_Text => "init_network_control"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Network_Control_Osp1_Req.others; end Network_Control_Osp1_Req_Thread; package Network_Control_Osp2_Req_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Network_Control_Osp2_Req features Current_Mode : requires data access Base_Types::Integer; INPORT_Osp2_Req : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_network_control_osp2_req"; }; OUTPORT_Bat_Ack : out event port; OUTPORT_Osp1_Ack : out event port; OUTPORT_Osp2_Ack : out event port; OUTPORT_Req : out event port; end Network_Control_Osp2_Req; thread implementation Network_Control_Osp2_Req.others properties Initialize_Entrypoint_Source_Text => "init_network_control"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Network_Control_Osp2_Req.others; end Network_Control_Osp2_Req_Thread; package Payload_Router_Obc_Bat_Tc_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Payload_Router_Obc_Bat_Tc features Current_Mode : requires data access Base_Types::Integer; INPORT_Obc_Bat_Tc : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_payload_router_obc_bat_tc"; }; OUTPORT_Obc_Bat_Tm : out event port; OUTPORT_Obc_Osp1_Tm : out event port; OUTPORT_Obc_Osp2_Tm : out event port; OUTPORT_R_Icu_Bat_Tc : out event port; OUTPORT_R_Icu_Osp1_Tc : out event port; OUTPORT_R_Icu_Osp2_Tc : out event port; end Payload_Router_Obc_Bat_Tc; thread implementation Payload_Router_Obc_Bat_Tc.others properties Initialize_Entrypoint_Source_Text => "init_payload_router"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Payload_Router_Obc_Bat_Tc.others; end Payload_Router_Obc_Bat_Tc_Thread; package Payload_Router_Obc_Osp1_Tc_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Payload_Router_Obc_Osp1_Tc features Current_Mode : requires data access Base_Types::Integer; INPORT_Obc_Osp1_Tc : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_payload_router_obc_osp1_tc"; }; OUTPORT_Obc_Bat_Tm : out event port; OUTPORT_Obc_Osp1_Tm : out event port; OUTPORT_Obc_Osp2_Tm : out event port; OUTPORT_R_Icu_Bat_Tc : out event port; OUTPORT_R_Icu_Osp1_Tc : out event port; OUTPORT_R_Icu_Osp2_Tc : out event port; end Payload_Router_Obc_Osp1_Tc; thread implementation Payload_Router_Obc_Osp1_Tc.others properties Initialize_Entrypoint_Source_Text => "init_payload_router"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Payload_Router_Obc_Osp1_Tc.others; end Payload_Router_Obc_Osp1_Tc_Thread; package Payload_Router_Obc_Osp2_Tc_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Payload_Router_Obc_Osp2_Tc features Current_Mode : requires data access Base_Types::Integer; INPORT_Obc_Osp2_Tc : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_payload_router_obc_osp2_tc"; }; OUTPORT_Obc_Bat_Tm : out event port; OUTPORT_Obc_Osp1_Tm : out event port; OUTPORT_Obc_Osp2_Tm : out event port; OUTPORT_R_Icu_Bat_Tc : out event port; OUTPORT_R_Icu_Osp1_Tc : out event port; OUTPORT_R_Icu_Osp2_Tc : out event port; end Payload_Router_Obc_Osp2_Tc; thread implementation Payload_Router_Obc_Osp2_Tc.others properties Initialize_Entrypoint_Source_Text => "init_payload_router"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Payload_Router_Obc_Osp2_Tc.others; end Payload_Router_Obc_Osp2_Tc_Thread; package Payload_Router_R_Icu_Bat_Tm_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Payload_Router_R_Icu_Bat_Tm features Current_Mode : requires data access Base_Types::Integer; INPORT_R_Icu_Bat_Tm : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_payload_router_r_icu_bat_tm"; }; OUTPORT_Obc_Bat_Tm : out event port; OUTPORT_Obc_Osp1_Tm : out event port; OUTPORT_Obc_Osp2_Tm : out event port; OUTPORT_R_Icu_Bat_Tc : out event port; OUTPORT_R_Icu_Osp1_Tc : out event port; OUTPORT_R_Icu_Osp2_Tc : out event port; end Payload_Router_R_Icu_Bat_Tm; thread implementation Payload_Router_R_Icu_Bat_Tm.others properties Initialize_Entrypoint_Source_Text => "init_payload_router"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms); OUTPORT_Obc_Bat_Tm! }; **}; end Payload_Router_R_Icu_Bat_Tm.others; end Payload_Router_R_Icu_Bat_Tm_Thread; package Payload_Router_R_Icu_Osp1_Tm_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Payload_Router_R_Icu_Osp1_Tm features Current_Mode : requires data access Base_Types::Integer; INPORT_R_Icu_Osp1_Tm : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_payload_router_r_icu_osp1_tm"; }; OUTPORT_Obc_Bat_Tm : out event port; OUTPORT_Obc_Osp1_Tm : out event port; OUTPORT_Obc_Osp2_Tm : out event port; OUTPORT_R_Icu_Bat_Tc : out event port; OUTPORT_R_Icu_Osp1_Tc : out event port; OUTPORT_R_Icu_Osp2_Tc : out event port; end Payload_Router_R_Icu_Osp1_Tm; thread implementation Payload_Router_R_Icu_Osp1_Tm.others properties Initialize_Entrypoint_Source_Text => "init_payload_router"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Payload_Router_R_Icu_Osp1_Tm.others; end Payload_Router_R_Icu_Osp1_Tm_Thread; package Payload_Router_R_Icu_Osp2_Tm_Thread public with Deployment; with Process_Package; with Dataview; with Base_Types; thread Payload_Router_R_Icu_Osp2_Tm features Current_Mode : requires data access Base_Types::Integer; INPORT_R_Icu_Osp2_Tm : in event port { Compute_Execution_Time => 1 ms .. 1 ms; Queue_Size => 1; Compute_Entrypoint_Source_Text => "call_payload_router_r_icu_osp2_tm"; }; OUTPORT_Obc_Bat_Tm : out event port; OUTPORT_Obc_Osp1_Tm : out event port; OUTPORT_Obc_Osp2_Tm : out event port; OUTPORT_R_Icu_Bat_Tc : out event port; OUTPORT_R_Icu_Osp1_Tc : out event port; OUTPORT_R_Icu_Osp2_Tc : out event port; end Payload_Router_R_Icu_Osp2_Tm; thread implementation Payload_Router_R_Icu_Osp2_Tm.others properties Initialize_Entrypoint_Source_Text => "init_payload_router"; Dispatch_Protocol => Sporadic; Period => 15 ms; Dispatch_Offset => 0 ms; Compute_Execution_Time => 1 ms .. 1 ms; Stack_Size => 50000 Bytes; Priority => 1; Deadline => 10 ms; annex behavior_specification {** states s : initial complete final state; transitions t : s -[on dispatch]-> s { computation(1ms) }; **}; end Payload_Router_R_Icu_Osp2_Tm.others; end Payload_Router_R_Icu_Osp2_Tm_Thread; package Process_Package public with arinc653; with Deployment; with DataView; with Base_Types; with interfaceview::IV; with deploymentview::DV; with deploymentview::DV::bat; with deploymentview::DV::ground; with deploymentview::DV::obc; with deploymentview::DV::osp1; with deploymentview::DV::osp2; with deploymentview::DV::r_icu; with Bat_R_Icu_Bat_Ack_Thread; with Battery_Controller_R_Icu_Bat_Tc_Thread; with Battery_Controller_Trigger_Thread; with Ground_Tm_Thread; with Bat_Module_Obc_Bat_Tm_Thread; with Mode_Automaton_Target_Thread; with Obc_R_Icu_Req_Thread; with Osp1_Module_Obc_Osp1_Tm_Thread; with Osp2_Module_Obc_Osp2_Tm_Thread; with Pus_Services_Tc_Thread; with Osp1_R_Icu_Osp1_Ack_Thread; with Osp1_Zed_Controller_R_Icu_Osp1_Tc_Thread; with Osp1_Zed_Controller_Trigger_Thread; with Osp2_R_Icu_Osp2_Ack_Thread; with Osp2_Zed_Controller_R_Icu_Osp2_Tc_Thread; with Osp2_Zed_Controller_Trigger_Thread; with Network_Control_Ack_Thread; with Network_Control_Bat_Req_Thread; with Network_Control_Osp1_Req_Thread; with Network_Control_Osp2_Req_Thread; with Payload_Router_Obc_Bat_Tc_Thread; with Payload_Router_Obc_Osp1_Tc_Thread; with Payload_Router_Obc_Osp2_Tc_Thread; with Payload_Router_R_Icu_Bat_Tm_Thread; with Payload_Router_R_Icu_Osp1_Tm_Thread; with Payload_Router_R_Icu_Osp2_Tm_Thread; with Ocarina_Processors_X86; with Ocarina_Processors_X86; with Ocarina_Processors_X86; with Ocarina_Processors_X86; with Ocarina_Processors_X86; with Ocarina_Processors_X86; with ocarina_buses; data TASTE_Protected properties Concurrency_Control_Protocol => Protected_Access; end TASTE_Protected; data implementation TASTE_Protected.Object properties Concurrency_Control_Protocol => Protected_Access; end TASTE_Protected.Object; -- Required by AIR to allow inter-partition communications subprogram do_ports_polling properties Source_Language => C; Source_Name => "user_ports_polling"; Source_Text => ("air_polling.c"); end do_ports_polling; thread Port_Poller end Port_Poller; thread implementation Port_Poller.i calls Mycalls: { P_Spg : subprogram do_ports_polling; }; properties Dispatch_Protocol => Periodic; Period => 100 ms; Deadline => 100 ms; end Port_Poller.i; processor bat_Board extends ocarina_processors_x86::x86 end bat_Board; processor implementation bat_Board.final extends ocarina_processors_x86::x86.linux end bat_Board.final; process Bat extends DeploymentView::DV::Bat::Bat features INPORT_bat_ack : in event port { Queue_Size => 1;}; INPORT_r_icu_bat_tc : in event port { Queue_Size => 1;}; OUTPORT_bat_req : out event port { Queue_Size => 1;}; OUTPORT_r_icu_bat_tm : out event port { Queue_Size => 1;}; end bat; process implementation Bat.final subcomponents bat_r_icu_protected : data TASTE_Protected.Object; battery_controller_protected : data TASTE_Protected.Object; bat_r_icu_bat_ack : thread bat_r_icu_bat_ack_Thread::bat_r_icu_bat_ack.others; battery_controller_r_icu_bat_tc : thread battery_controller_r_icu_bat_tc_Thread::battery_controller_r_icu_bat_tc.others; battery_controller_trigger : thread battery_controller_trigger_Thread::battery_controller_trigger.others; connections ii_INPORT_bat_ack_bat_r_icu_bat_ack_INPORT_bat_ack: port INPORT_bat_ack -> bat_r_icu_bat_ack.INPORT_bat_ack; ii_INPORT_r_icu_bat_tc_battery_controller_r_icu_bat_tc_INPORT_r_icu_bat_tc: port INPORT_r_icu_bat_tc -> battery_controller_r_icu_bat_tc.INPORT_r_icu_bat_tc; oo_bat_r_icu_bat_ack_OUTPORT_bat_req_OUTPORT_bat_req: port bat_r_icu_bat_ack.OUTPORT_bat_req -> OUTPORT_bat_req; oo_battery_controller_r_icu_bat_tc_OUTPORT_r_icu_bat_tm_OUTPORT_r_icu_bat_tm: port battery_controller_r_icu_bat_tc.OUTPORT_r_icu_bat_tm -> OUTPORT_r_icu_bat_tm; oo_battery_controller_trigger_OUTPORT_r_icu_bat_tm_OUTPORT_r_icu_bat_tm: port battery_controller_trigger.OUTPORT_r_icu_bat_tm -> OUTPORT_r_icu_bat_tm; end Bat.final; processor ground_Board extends ocarina_processors_x86::x86 end ground_Board; processor implementation ground_Board.final extends ocarina_processors_x86::x86.linux end ground_Board.final; process Ground extends DeploymentView::DV::Ground::Ground features INPORT_TM : in event port { Queue_Size => 1;}; OUTPORT_TC : out event port { Queue_Size => 1;}; end ground; process implementation Ground.final subcomponents ground_protected : data TASTE_Protected.Object; ground_TM : thread ground_TM_Thread::ground_TM.others; connections ii_INPORT_TM_ground_TM_INPORT_TM: port INPORT_TM -> ground_TM.INPORT_TM; oo_ground_TM_OUTPORT_TC_OUTPORT_TC: port ground_TM.OUTPORT_TC -> OUTPORT_TC; end Ground.final; processor obc_Board extends ocarina_processors_x86::x86 end obc_Board; processor implementation obc_Board.final extends ocarina_processors_x86::x86.linux end obc_Board.final; process Obc extends DeploymentView::DV::Obc::Obc features INPORT_obc_bat_tm : in event port { Queue_Size => 1;}; INPORT_obc_osp1_tm : in event port { Queue_Size => 1;}; INPORT_obc_osp2_tm : in event port { Queue_Size => 1;}; INPORT_req : in event port { Queue_Size => 1;}; INPORT_TC : in event port { Queue_Size => 1;}; OUTPORT_ack : out event port { Queue_Size => 1;}; OUTPORT_obc_bat_tc : out event port { Queue_Size => 1;}; OUTPORT_obc_osp1_tc : out event port { Queue_Size => 1;}; OUTPORT_obc_osp2_tc : out event port { Queue_Size => 1;}; OUTPORT_TM : out event port { Queue_Size => 1;}; end obc; process implementation Obc.final subcomponents bat_module_protected : data TASTE_Protected.Object; mode_automaton_protected : data TASTE_Protected.Object; obc_r_icu_protected : data TASTE_Protected.Object; osp1_module_protected : data TASTE_Protected.Object; osp2_module_protected : data TASTE_Protected.Object; pus_services_protected : data TASTE_Protected.Object; bat_module_obc_bat_tm : thread bat_module_obc_bat_tm_Thread::bat_module_obc_bat_tm.others; mode_automaton_target : thread mode_automaton_target_Thread::mode_automaton_target.others; obc_r_icu_req : thread obc_r_icu_req_Thread::obc_r_icu_req.others; osp1_module_obc_osp1_tm : thread osp1_module_obc_osp1_tm_Thread::osp1_module_obc_osp1_tm.others; osp2_module_obc_osp2_tm : thread osp2_module_obc_osp2_tm_Thread::osp2_module_obc_osp2_tm.others; pus_services_TC : thread pus_services_TC_Thread::pus_services_TC.others; connections oi_Bat_Module_Obc_Bat_Tm_OUTPORT_Target_Mode_Automaton_Target_INPORT_Target: port Bat_Module_Obc_Bat_Tm.OUTPORT_Target -> Mode_Automaton_Target.INPORT_Target; oi_Obc_R_Icu_Req_OUTPORT_Target_Mode_Automaton_Target_INPORT_Target: port Obc_R_Icu_Req.OUTPORT_Target -> Mode_Automaton_Target.INPORT_Target; oi_Osp1_Module_Obc_Osp1_Tm_OUTPORT_Target_Mode_Automaton_Target_INPORT_Target: port Osp1_Module_Obc_Osp1_Tm.OUTPORT_Target -> Mode_Automaton_Target.INPORT_Target; oi_Osp2_Module_Obc_Osp2_Tm_OUTPORT_Target_Mode_Automaton_Target_INPORT_Target: port Osp2_Module_Obc_Osp2_Tm.OUTPORT_Target -> Mode_Automaton_Target.INPORT_Target; oi_Pus_Services_Tc_OUTPORT_Target_Mode_Automaton_Target_INPORT_Target: port Pus_Services_Tc.OUTPORT_Target -> Mode_Automaton_Target.INPORT_Target; ii_INPORT_obc_bat_tm_bat_module_obc_bat_tm_INPORT_obc_bat_tm: port INPORT_obc_bat_tm -> bat_module_obc_bat_tm.INPORT_obc_bat_tm; ii_INPORT_obc_osp1_tm_osp1_module_obc_osp1_tm_INPORT_obc_osp1_tm: port INPORT_obc_osp1_tm -> osp1_module_obc_osp1_tm.INPORT_obc_osp1_tm; ii_INPORT_obc_osp2_tm_osp2_module_obc_osp2_tm_INPORT_obc_osp2_tm: port INPORT_obc_osp2_tm -> osp2_module_obc_osp2_tm.INPORT_obc_osp2_tm; ii_INPORT_req_obc_r_icu_req_INPORT_req: port INPORT_req -> obc_r_icu_req.INPORT_req; ii_INPORT_TC_pus_services_TC_INPORT_TC: port INPORT_TC -> pus_services_TC.INPORT_TC; oo_bat_module_obc_bat_tm_OUTPORT_ack_OUTPORT_ack: port bat_module_obc_bat_tm.OUTPORT_ack -> OUTPORT_ack; oo_obc_r_icu_req_OUTPORT_ack_OUTPORT_ack: port obc_r_icu_req.OUTPORT_ack -> OUTPORT_ack; oo_osp1_module_obc_osp1_tm_OUTPORT_ack_OUTPORT_ack: port osp1_module_obc_osp1_tm.OUTPORT_ack -> OUTPORT_ack; oo_osp2_module_obc_osp2_tm_OUTPORT_ack_OUTPORT_ack: port osp2_module_obc_osp2_tm.OUTPORT_ack -> OUTPORT_ack; oo_pus_services_TC_OUTPORT_ack_OUTPORT_ack: port pus_services_TC.OUTPORT_ack -> OUTPORT_ack; oo_bat_module_obc_bat_tm_OUTPORT_obc_bat_tc_OUTPORT_obc_bat_tc: port bat_module_obc_bat_tm.OUTPORT_obc_bat_tc -> OUTPORT_obc_bat_tc; oo_obc_r_icu_req_OUTPORT_obc_bat_tc_OUTPORT_obc_bat_tc: port obc_r_icu_req.OUTPORT_obc_bat_tc -> OUTPORT_obc_bat_tc; oo_osp1_module_obc_osp1_tm_OUTPORT_obc_bat_tc_OUTPORT_obc_bat_tc: port osp1_module_obc_osp1_tm.OUTPORT_obc_bat_tc -> OUTPORT_obc_bat_tc; oo_osp2_module_obc_osp2_tm_OUTPORT_obc_bat_tc_OUTPORT_obc_bat_tc: port osp2_module_obc_osp2_tm.OUTPORT_obc_bat_tc -> OUTPORT_obc_bat_tc; oo_pus_services_TC_OUTPORT_obc_bat_tc_OUTPORT_obc_bat_tc: port pus_services_TC.OUTPORT_obc_bat_tc -> OUTPORT_obc_bat_tc; oo_bat_module_obc_bat_tm_OUTPORT_obc_osp1_tc_OUTPORT_obc_osp1_tc: port bat_module_obc_bat_tm.OUTPORT_obc_osp1_tc -> OUTPORT_obc_osp1_tc; oo_obc_r_icu_req_OUTPORT_obc_osp1_tc_OUTPORT_obc_osp1_tc: port obc_r_icu_req.OUTPORT_obc_osp1_tc -> OUTPORT_obc_osp1_tc; oo_osp1_module_obc_osp1_tm_OUTPORT_obc_osp1_tc_OUTPORT_obc_osp1_tc: port osp1_module_obc_osp1_tm.OUTPORT_obc_osp1_tc -> OUTPORT_obc_osp1_tc; oo_osp2_module_obc_osp2_tm_OUTPORT_obc_osp1_tc_OUTPORT_obc_osp1_tc: port osp2_module_obc_osp2_tm.OUTPORT_obc_osp1_tc -> OUTPORT_obc_osp1_tc; oo_pus_services_TC_OUTPORT_obc_osp1_tc_OUTPORT_obc_osp1_tc: port pus_services_TC.OUTPORT_obc_osp1_tc -> OUTPORT_obc_osp1_tc; oo_bat_module_obc_bat_tm_OUTPORT_obc_osp2_tc_OUTPORT_obc_osp2_tc: port bat_module_obc_bat_tm.OUTPORT_obc_osp2_tc -> OUTPORT_obc_osp2_tc; oo_obc_r_icu_req_OUTPORT_obc_osp2_tc_OUTPORT_obc_osp2_tc: port obc_r_icu_req.OUTPORT_obc_osp2_tc -> OUTPORT_obc_osp2_tc; oo_osp1_module_obc_osp1_tm_OUTPORT_obc_osp2_tc_OUTPORT_obc_osp2_tc: port osp1_module_obc_osp1_tm.OUTPORT_obc_osp2_tc -> OUTPORT_obc_osp2_tc; oo_osp2_module_obc_osp2_tm_OUTPORT_obc_osp2_tc_OUTPORT_obc_osp2_tc: port osp2_module_obc_osp2_tm.OUTPORT_obc_osp2_tc -> OUTPORT_obc_osp2_tc; oo_pus_services_TC_OUTPORT_obc_osp2_tc_OUTPORT_obc_osp2_tc: port pus_services_TC.OUTPORT_obc_osp2_tc -> OUTPORT_obc_osp2_tc; oo_bat_module_obc_bat_tm_OUTPORT_TM_OUTPORT_TM: port bat_module_obc_bat_tm.OUTPORT_TM -> OUTPORT_TM; oo_obc_r_icu_req_OUTPORT_TM_OUTPORT_TM: port obc_r_icu_req.OUTPORT_TM -> OUTPORT_TM; oo_osp1_module_obc_osp1_tm_OUTPORT_TM_OUTPORT_TM: port osp1_module_obc_osp1_tm.OUTPORT_TM -> OUTPORT_TM; oo_osp2_module_obc_osp2_tm_OUTPORT_TM_OUTPORT_TM: port osp2_module_obc_osp2_tm.OUTPORT_TM -> OUTPORT_TM; oo_pus_services_TC_OUTPORT_TM_OUTPORT_TM: port pus_services_TC.OUTPORT_TM -> OUTPORT_TM; end Obc.final; processor osp1_Board extends ocarina_processors_x86::x86 end osp1_Board; processor implementation osp1_Board.final extends ocarina_processors_x86::x86.linux end osp1_Board.final; process Osp1 extends DeploymentView::DV::Osp1::Osp1 features INPORT_osp1_ack : in event port { Queue_Size => 1;}; INPORT_r_icu_osp1_tc : in event port { Queue_Size => 1;}; OUTPORT_osp1_req : out event port { Queue_Size => 1;}; OUTPORT_r_icu_osp2_tm : out event port { Queue_Size => 1;}; end osp1; process implementation Osp1.final subcomponents osp1_r_icu_protected : data TASTE_Protected.Object; osp1_zed_controller_protected : data TASTE_Protected.Object; osp1_r_icu_osp1_ack : thread osp1_r_icu_osp1_ack_Thread::osp1_r_icu_osp1_ack.others; osp1_zed_controller_r_icu_osp1_tc : thread osp1_zed_controller_r_icu_osp1_tc_Thread::osp1_zed_controller_r_icu_osp1_tc.others; osp1_zed_controller_trigger : thread osp1_zed_controller_trigger_Thread::osp1_zed_controller_trigger.others; connections ii_INPORT_osp1_ack_osp1_r_icu_osp1_ack_INPORT_osp1_ack: port INPORT_osp1_ack -> osp1_r_icu_osp1_ack.INPORT_osp1_ack; ii_INPORT_r_icu_osp1_tc_osp1_zed_controller_r_icu_osp1_tc_INPORT_r_icu_osp1_tc: port INPORT_r_icu_osp1_tc -> osp1_zed_controller_r_icu_osp1_tc.INPORT_r_icu_osp1_tc; oo_osp1_r_icu_osp1_ack_OUTPORT_osp1_req_OUTPORT_osp1_req: port osp1_r_icu_osp1_ack.OUTPORT_osp1_req -> OUTPORT_osp1_req; oo_osp1_zed_controller_r_icu_osp1_tc_OUTPORT_r_icu_osp2_tm_OUTPORT_r_icu_osp2_tm: port osp1_zed_controller_r_icu_osp1_tc.OUTPORT_r_icu_osp2_tm -> OUTPORT_r_icu_osp2_tm; oo_osp1_zed_controller_trigger_OUTPORT_r_icu_osp2_tm_OUTPORT_r_icu_osp2_tm: port osp1_zed_controller_trigger.OUTPORT_r_icu_osp2_tm -> OUTPORT_r_icu_osp2_tm; end Osp1.final; processor osp2_Board extends ocarina_processors_x86::x86 end osp2_Board; processor implementation osp2_Board.final extends ocarina_processors_x86::x86.linux end osp2_Board.final; process Osp2 extends DeploymentView::DV::Osp2::Osp2 features INPORT_osp2_ack : in event port { Queue_Size => 1;}; INPORT_r_icu_osp2_tc : in event port { Queue_Size => 1;}; OUTPORT_osp2_req : out event port { Queue_Size => 1;}; OUTPORT_r_icu_osp1_tm : out event port { Queue_Size => 1;}; end osp2; process implementation Osp2.final subcomponents osp2_r_icu_protected : data TASTE_Protected.Object; osp2_zed_controller_protected : data TASTE_Protected.Object; osp2_r_icu_osp2_ack : thread osp2_r_icu_osp2_ack_Thread::osp2_r_icu_osp2_ack.others; osp2_zed_controller_r_icu_osp2_tc : thread osp2_zed_controller_r_icu_osp2_tc_Thread::osp2_zed_controller_r_icu_osp2_tc.others; osp2_zed_controller_trigger : thread osp2_zed_controller_trigger_Thread::osp2_zed_controller_trigger.others; connections ii_INPORT_osp2_ack_osp2_r_icu_osp2_ack_INPORT_osp2_ack: port INPORT_osp2_ack -> osp2_r_icu_osp2_ack.INPORT_osp2_ack; ii_INPORT_r_icu_osp2_tc_osp2_zed_controller_r_icu_osp2_tc_INPORT_r_icu_osp2_tc: port INPORT_r_icu_osp2_tc -> osp2_zed_controller_r_icu_osp2_tc.INPORT_r_icu_osp2_tc; oo_osp2_r_icu_osp2_ack_OUTPORT_osp2_req_OUTPORT_osp2_req: port osp2_r_icu_osp2_ack.OUTPORT_osp2_req -> OUTPORT_osp2_req; oo_osp2_zed_controller_r_icu_osp2_tc_OUTPORT_r_icu_osp1_tm_OUTPORT_r_icu_osp1_tm: port osp2_zed_controller_r_icu_osp2_tc.OUTPORT_r_icu_osp1_tm -> OUTPORT_r_icu_osp1_tm; oo_osp2_zed_controller_trigger_OUTPORT_r_icu_osp1_tm_OUTPORT_r_icu_osp1_tm: port osp2_zed_controller_trigger.OUTPORT_r_icu_osp1_tm -> OUTPORT_r_icu_osp1_tm; end Osp2.final; processor r_icu_Board extends ocarina_processors_x86::x86 end r_icu_Board; processor implementation r_icu_Board.final extends ocarina_processors_x86::x86.linux end r_icu_Board.final; process R_Icu extends DeploymentView::DV::R_Icu::R_Icu features INPORT_ack : in event port { Queue_Size => 1;}; INPORT_bat_req : in event port { Queue_Size => 1;}; INPORT_obc_bat_tc : in event port { Queue_Size => 1;}; INPORT_obc_osp1_tc : in event port { Queue_Size => 1;}; INPORT_obc_osp2_tc : in event port { Queue_Size => 1;}; INPORT_osp1_req : in event port { Queue_Size => 1;}; INPORT_osp2_req : in event port { Queue_Size => 1;}; INPORT_r_icu_bat_tm : in event port { Queue_Size => 1;}; INPORT_r_icu_osp1_tm : in event port { Queue_Size => 1;}; INPORT_r_icu_osp2_tm : in event port { Queue_Size => 1;}; OUTPORT_bat_ack : out event port { Queue_Size => 1;}; OUTPORT_obc_bat_tm : out event port { Queue_Size => 1;}; OUTPORT_obc_osp1_tm : out event port { Queue_Size => 1;}; OUTPORT_obc_osp2_tm : out event port { Queue_Size => 1;}; OUTPORT_osp1_ack : out event port { Queue_Size => 1;}; OUTPORT_osp2_ack : out event port { Queue_Size => 1;}; OUTPORT_r_icu_bat_tc : out event port { Queue_Size => 1;}; OUTPORT_r_icu_osp1_tc : out event port { Queue_Size => 1;}; OUTPORT_r_icu_osp2_tc : out event port { Queue_Size => 1;}; OUTPORT_req : out event port { Queue_Size => 1;}; end r_icu; process implementation R_Icu.final subcomponents network_control_protected : data TASTE_Protected.Object; payload_router_protected : data TASTE_Protected.Object; network_control_ack : thread network_control_ack_Thread::network_control_ack.others; network_control_bat_req : thread network_control_bat_req_Thread::network_control_bat_req.others; network_control_osp1_req : thread network_control_osp1_req_Thread::network_control_osp1_req.others; network_control_osp2_req : thread network_control_osp2_req_Thread::network_control_osp2_req.others; payload_router_obc_bat_tc : thread payload_router_obc_bat_tc_Thread::payload_router_obc_bat_tc.others; payload_router_obc_osp1_tc : thread payload_router_obc_osp1_tc_Thread::payload_router_obc_osp1_tc.others; payload_router_obc_osp2_tc : thread payload_router_obc_osp2_tc_Thread::payload_router_obc_osp2_tc.others; payload_router_r_icu_bat_tm : thread payload_router_r_icu_bat_tm_Thread::payload_router_r_icu_bat_tm.others; payload_router_r_icu_osp1_tm : thread payload_router_r_icu_osp1_tm_Thread::payload_router_r_icu_osp1_tm.others; payload_router_r_icu_osp2_tm : thread payload_router_r_icu_osp2_tm_Thread::payload_router_r_icu_osp2_tm.others; connections ii_INPORT_ack_network_control_ack_INPORT_ack: port INPORT_ack -> network_control_ack.INPORT_ack; ii_INPORT_bat_req_network_control_bat_req_INPORT_bat_req: port INPORT_bat_req -> network_control_bat_req.INPORT_bat_req; ii_INPORT_obc_bat_tc_payload_router_obc_bat_tc_INPORT_obc_bat_tc: port INPORT_obc_bat_tc -> payload_router_obc_bat_tc.INPORT_obc_bat_tc; ii_INPORT_obc_osp1_tc_payload_router_obc_osp1_tc_INPORT_obc_osp1_tc: port INPORT_obc_osp1_tc -> payload_router_obc_osp1_tc.INPORT_obc_osp1_tc; ii_INPORT_obc_osp2_tc_payload_router_obc_osp2_tc_INPORT_obc_osp2_tc: port INPORT_obc_osp2_tc -> payload_router_obc_osp2_tc.INPORT_obc_osp2_tc; ii_INPORT_osp1_req_network_control_osp1_req_INPORT_osp1_req: port INPORT_osp1_req -> network_control_osp1_req.INPORT_osp1_req; ii_INPORT_osp2_req_network_control_osp2_req_INPORT_osp2_req: port INPORT_osp2_req -> network_control_osp2_req.INPORT_osp2_req; ii_INPORT_r_icu_bat_tm_payload_router_r_icu_bat_tm_INPORT_r_icu_bat_tm: port INPORT_r_icu_bat_tm -> payload_router_r_icu_bat_tm.INPORT_r_icu_bat_tm; ii_INPORT_r_icu_osp1_tm_payload_router_r_icu_osp1_tm_INPORT_r_icu_osp1_tm: port INPORT_r_icu_osp1_tm -> payload_router_r_icu_osp1_tm.INPORT_r_icu_osp1_tm; ii_INPORT_r_icu_osp2_tm_payload_router_r_icu_osp2_tm_INPORT_r_icu_osp2_tm: port INPORT_r_icu_osp2_tm -> payload_router_r_icu_osp2_tm.INPORT_r_icu_osp2_tm; oo_network_control_ack_OUTPORT_bat_ack_OUTPORT_bat_ack: port network_control_ack.OUTPORT_bat_ack -> OUTPORT_bat_ack; oo_network_control_bat_req_OUTPORT_bat_ack_OUTPORT_bat_ack: port network_control_bat_req.OUTPORT_bat_ack -> OUTPORT_bat_ack; oo_network_control_osp1_req_OUTPORT_bat_ack_OUTPORT_bat_ack: port network_control_osp1_req.OUTPORT_bat_ack -> OUTPORT_bat_ack; oo_network_control_osp2_req_OUTPORT_bat_ack_OUTPORT_bat_ack: port network_control_osp2_req.OUTPORT_bat_ack -> OUTPORT_bat_ack; oo_payload_router_obc_bat_tc_OUTPORT_obc_bat_tm_OUTPORT_obc_bat_tm: port payload_router_obc_bat_tc.OUTPORT_obc_bat_tm -> OUTPORT_obc_bat_tm; oo_payload_router_obc_osp1_tc_OUTPORT_obc_bat_tm_OUTPORT_obc_bat_tm: port payload_router_obc_osp1_tc.OUTPORT_obc_bat_tm -> OUTPORT_obc_bat_tm; oo_payload_router_obc_osp2_tc_OUTPORT_obc_bat_tm_OUTPORT_obc_bat_tm: port payload_router_obc_osp2_tc.OUTPORT_obc_bat_tm -> OUTPORT_obc_bat_tm; oo_payload_router_r_icu_bat_tm_OUTPORT_obc_bat_tm_OUTPORT_obc_bat_tm: port payload_router_r_icu_bat_tm.OUTPORT_obc_bat_tm -> OUTPORT_obc_bat_tm; oo_payload_router_r_icu_osp1_tm_OUTPORT_obc_bat_tm_OUTPORT_obc_bat_tm: port payload_router_r_icu_osp1_tm.OUTPORT_obc_bat_tm -> OUTPORT_obc_bat_tm; oo_payload_router_r_icu_osp2_tm_OUTPORT_obc_bat_tm_OUTPORT_obc_bat_tm: port payload_router_r_icu_osp2_tm.OUTPORT_obc_bat_tm -> OUTPORT_obc_bat_tm; oo_payload_router_obc_bat_tc_OUTPORT_obc_osp1_tm_OUTPORT_obc_osp1_tm: port payload_router_obc_bat_tc.OUTPORT_obc_osp1_tm -> OUTPORT_obc_osp1_tm; oo_payload_router_obc_osp1_tc_OUTPORT_obc_osp1_tm_OUTPORT_obc_osp1_tm: port payload_router_obc_osp1_tc.OUTPORT_obc_osp1_tm -> OUTPORT_obc_osp1_tm; oo_payload_router_obc_osp2_tc_OUTPORT_obc_osp1_tm_OUTPORT_obc_osp1_tm: port payload_router_obc_osp2_tc.OUTPORT_obc_osp1_tm -> OUTPORT_obc_osp1_tm; oo_payload_router_r_icu_bat_tm_OUTPORT_obc_osp1_tm_OUTPORT_obc_osp1_tm: port payload_router_r_icu_bat_tm.OUTPORT_obc_osp1_tm -> OUTPORT_obc_osp1_tm; oo_payload_router_r_icu_osp1_tm_OUTPORT_obc_osp1_tm_OUTPORT_obc_osp1_tm: port payload_router_r_icu_osp1_tm.OUTPORT_obc_osp1_tm -> OUTPORT_obc_osp1_tm; oo_payload_router_r_icu_osp2_tm_OUTPORT_obc_osp1_tm_OUTPORT_obc_osp1_tm: port payload_router_r_icu_osp2_tm.OUTPORT_obc_osp1_tm -> OUTPORT_obc_osp1_tm; oo_payload_router_obc_bat_tc_OUTPORT_obc_osp2_tm_OUTPORT_obc_osp2_tm: port payload_router_obc_bat_tc.OUTPORT_obc_osp2_tm -> OUTPORT_obc_osp2_tm; oo_payload_router_obc_osp1_tc_OUTPORT_obc_osp2_tm_OUTPORT_obc_osp2_tm: port payload_router_obc_osp1_tc.OUTPORT_obc_osp2_tm -> OUTPORT_obc_osp2_tm; oo_payload_router_obc_osp2_tc_OUTPORT_obc_osp2_tm_OUTPORT_obc_osp2_tm: port payload_router_obc_osp2_tc.OUTPORT_obc_osp2_tm -> OUTPORT_obc_osp2_tm; oo_payload_router_r_icu_bat_tm_OUTPORT_obc_osp2_tm_OUTPORT_obc_osp2_tm: port payload_router_r_icu_bat_tm.OUTPORT_obc_osp2_tm -> OUTPORT_obc_osp2_tm; oo_payload_router_r_icu_osp1_tm_OUTPORT_obc_osp2_tm_OUTPORT_obc_osp2_tm: port payload_router_r_icu_osp1_tm.OUTPORT_obc_osp2_tm -> OUTPORT_obc_osp2_tm; oo_payload_router_r_icu_osp2_tm_OUTPORT_obc_osp2_tm_OUTPORT_obc_osp2_tm: port payload_router_r_icu_osp2_tm.OUTPORT_obc_osp2_tm -> OUTPORT_obc_osp2_tm; oo_network_control_ack_OUTPORT_osp1_ack_OUTPORT_osp1_ack: port network_control_ack.OUTPORT_osp1_ack -> OUTPORT_osp1_ack; oo_network_control_bat_req_OUTPORT_osp1_ack_OUTPORT_osp1_ack: port network_control_bat_req.OUTPORT_osp1_ack -> OUTPORT_osp1_ack; oo_network_control_osp1_req_OUTPORT_osp1_ack_OUTPORT_osp1_ack: port network_control_osp1_req.OUTPORT_osp1_ack -> OUTPORT_osp1_ack; oo_network_control_osp2_req_OUTPORT_osp1_ack_OUTPORT_osp1_ack: port network_control_osp2_req.OUTPORT_osp1_ack -> OUTPORT_osp1_ack; oo_network_control_ack_OUTPORT_osp2_ack_OUTPORT_osp2_ack: port network_control_ack.OUTPORT_osp2_ack -> OUTPORT_osp2_ack; oo_network_control_bat_req_OUTPORT_osp2_ack_OUTPORT_osp2_ack: port network_control_bat_req.OUTPORT_osp2_ack -> OUTPORT_osp2_ack; oo_network_control_osp1_req_OUTPORT_osp2_ack_OUTPORT_osp2_ack: port network_control_osp1_req.OUTPORT_osp2_ack -> OUTPORT_osp2_ack; oo_network_control_osp2_req_OUTPORT_osp2_ack_OUTPORT_osp2_ack: port network_control_osp2_req.OUTPORT_osp2_ack -> OUTPORT_osp2_ack; oo_payload_router_obc_bat_tc_OUTPORT_r_icu_bat_tc_OUTPORT_r_icu_bat_tc: port payload_router_obc_bat_tc.OUTPORT_r_icu_bat_tc -> OUTPORT_r_icu_bat_tc; oo_payload_router_obc_osp1_tc_OUTPORT_r_icu_bat_tc_OUTPORT_r_icu_bat_tc: port payload_router_obc_osp1_tc.OUTPORT_r_icu_bat_tc -> OUTPORT_r_icu_bat_tc; oo_payload_router_obc_osp2_tc_OUTPORT_r_icu_bat_tc_OUTPORT_r_icu_bat_tc: port payload_router_obc_osp2_tc.OUTPORT_r_icu_bat_tc -> OUTPORT_r_icu_bat_tc; oo_payload_router_r_icu_bat_tm_OUTPORT_r_icu_bat_tc_OUTPORT_r_icu_bat_tc: port payload_router_r_icu_bat_tm.OUTPORT_r_icu_bat_tc -> OUTPORT_r_icu_bat_tc; oo_payload_router_r_icu_osp1_tm_OUTPORT_r_icu_bat_tc_OUTPORT_r_icu_bat_tc: port payload_router_r_icu_osp1_tm.OUTPORT_r_icu_bat_tc -> OUTPORT_r_icu_bat_tc; oo_payload_router_r_icu_osp2_tm_OUTPORT_r_icu_bat_tc_OUTPORT_r_icu_bat_tc: port payload_router_r_icu_osp2_tm.OUTPORT_r_icu_bat_tc -> OUTPORT_r_icu_bat_tc; oo_payload_router_obc_bat_tc_OUTPORT_r_icu_osp1_tc_OUTPORT_r_icu_osp1_tc: port payload_router_obc_bat_tc.OUTPORT_r_icu_osp1_tc -> OUTPORT_r_icu_osp1_tc; oo_payload_router_obc_osp1_tc_OUTPORT_r_icu_osp1_tc_OUTPORT_r_icu_osp1_tc: port payload_router_obc_osp1_tc.OUTPORT_r_icu_osp1_tc -> OUTPORT_r_icu_osp1_tc; oo_payload_router_obc_osp2_tc_OUTPORT_r_icu_osp1_tc_OUTPORT_r_icu_osp1_tc: port payload_router_obc_osp2_tc.OUTPORT_r_icu_osp1_tc -> OUTPORT_r_icu_osp1_tc; oo_payload_router_r_icu_bat_tm_OUTPORT_r_icu_osp1_tc_OUTPORT_r_icu_osp1_tc: port payload_router_r_icu_bat_tm.OUTPORT_r_icu_osp1_tc -> OUTPORT_r_icu_osp1_tc; oo_payload_router_r_icu_osp1_tm_OUTPORT_r_icu_osp1_tc_OUTPORT_r_icu_osp1_tc: port payload_router_r_icu_osp1_tm.OUTPORT_r_icu_osp1_tc -> OUTPORT_r_icu_osp1_tc; oo_payload_router_r_icu_osp2_tm_OUTPORT_r_icu_osp1_tc_OUTPORT_r_icu_osp1_tc: port payload_router_r_icu_osp2_tm.OUTPORT_r_icu_osp1_tc -> OUTPORT_r_icu_osp1_tc; oo_payload_router_obc_bat_tc_OUTPORT_r_icu_osp2_tc_OUTPORT_r_icu_osp2_tc: port payload_router_obc_bat_tc.OUTPORT_r_icu_osp2_tc -> OUTPORT_r_icu_osp2_tc; oo_payload_router_obc_osp1_tc_OUTPORT_r_icu_osp2_tc_OUTPORT_r_icu_osp2_tc: port payload_router_obc_osp1_tc.OUTPORT_r_icu_osp2_tc -> OUTPORT_r_icu_osp2_tc; oo_payload_router_obc_osp2_tc_OUTPORT_r_icu_osp2_tc_OUTPORT_r_icu_osp2_tc: port payload_router_obc_osp2_tc.OUTPORT_r_icu_osp2_tc -> OUTPORT_r_icu_osp2_tc; oo_payload_router_r_icu_bat_tm_OUTPORT_r_icu_osp2_tc_OUTPORT_r_icu_osp2_tc: port payload_router_r_icu_bat_tm.OUTPORT_r_icu_osp2_tc -> OUTPORT_r_icu_osp2_tc; oo_payload_router_r_icu_osp1_tm_OUTPORT_r_icu_osp2_tc_OUTPORT_r_icu_osp2_tc: port payload_router_r_icu_osp1_tm.OUTPORT_r_icu_osp2_tc -> OUTPORT_r_icu_osp2_tc; oo_payload_router_r_icu_osp2_tm_OUTPORT_r_icu_osp2_tc_OUTPORT_r_icu_osp2_tc: port payload_router_r_icu_osp2_tm.OUTPORT_r_icu_osp2_tc -> OUTPORT_r_icu_osp2_tc; oo_network_control_ack_OUTPORT_req_OUTPORT_req: port network_control_ack.OUTPORT_req -> OUTPORT_req; oo_network_control_bat_req_OUTPORT_req_OUTPORT_req: port network_control_bat_req.OUTPORT_req -> OUTPORT_req; oo_network_control_osp1_req_OUTPORT_req_OUTPORT_req: port network_control_osp1_req.OUTPORT_req -> OUTPORT_req; oo_network_control_osp2_req_OUTPORT_req_OUTPORT_req: port network_control_osp2_req.OUTPORT_req -> OUTPORT_req; end R_Icu.final; system DeploymentView end DeploymentView; system implementation DeploymentView.final subcomponents Bat : process Bat.final; Ground : process Ground.final; Obc : process Obc.final; Osp1 : process Osp1.final; Osp2 : process Osp2.final; R_Icu : process R_Icu.final; Bat_x86_linux : processor Bat_Board.final; Ground_x86_linux : processor Ground_Board.final; Obc_x86_linux : processor Obc_Board.final; Osp1_x86_linux : processor Osp1_Board.final; Osp2_x86_linux : processor Osp2_Board.final; R_Icu_x86_linux : processor R_Icu_Board.final; r_icu_to_bat : bus ocarina_buses::ip.i; r_icu_to_osp2 : bus ocarina_buses::ip.i; osp1_to_r_icu_ip : bus ocarina_buses::ip.i; ground_to_obc : bus ocarina_buses::ip.i; obc_to_r_icu : bus ocarina_buses::ip.i; bat_bat_to_r_icu : device deploymentview::dv::bat::bat_to_r_icu.others { Source_Text => ("../DriversConfig/bat/DeviceConfig-bat-bat_to_r_icu.c"); Type_Source_Name => "pohidrv_bat_bat_to_r_icu"; }; ground_ground_to_obc : device deploymentview::dv::ground::ground_to_obc.others { Source_Text => ("../DriversConfig/ground/DeviceConfig-ground-ground_to_obc.c"); Type_Source_Name => "pohidrv_ground_ground_to_obc"; }; obc_obc_to_ground : device deploymentview::dv::obc::obc_to_ground.others { Source_Text => ("../DriversConfig/obc/DeviceConfig-obc-obc_to_ground.c"); Type_Source_Name => "pohidrv_obc_obc_to_ground"; }; obc_obc_to_bat : device deploymentview::dv::obc::obc_to_bat.others { Source_Text => ("../DriversConfig/obc/DeviceConfig-obc-obc_to_bat.c"); Type_Source_Name => "pohidrv_obc_obc_to_bat"; }; osp1_osp1_to_r_icu : device deploymentview::dv::osp1::osp1_to_r_icu.others { Source_Text => ("../DriversConfig/osp1/DeviceConfig-osp1-osp1_to_r_icu.c"); Type_Source_Name => "pohidrv_osp1_osp1_to_r_icu"; }; osp2_osp2_to_r_icu : device deploymentview::dv::osp2::osp2_to_r_icu.others { Source_Text => ("../DriversConfig/osp2/DeviceConfig-osp2-osp2_to_r_icu.c"); Type_Source_Name => "pohidrv_osp2_osp2_to_r_icu"; }; r_icu_obc_ip : device deploymentview::dv::r_icu::obc_ip.others { Source_Text => ("../DriversConfig/r_icu/DeviceConfig-r_icu-obc_ip.c"); Type_Source_Name => "pohidrv_r_icu_obc_ip"; }; r_icu_bat_ip : device deploymentview::dv::r_icu::bat_ip.others { Source_Text => ("../DriversConfig/r_icu/DeviceConfig-r_icu-bat_ip.c"); Type_Source_Name => "pohidrv_r_icu_bat_ip"; }; r_icu_osp2_ip : device deploymentview::dv::r_icu::osp2_ip.others { Source_Text => ("../DriversConfig/r_icu/DeviceConfig-r_icu-osp2_ip.c"); Type_Source_Name => "pohidrv_r_icu_osp2_ip"; }; r_icu_osp1_ip : device deploymentview::dv::r_icu::osp1_ip.others { Source_Text => ("../DriversConfig/r_icu/DeviceConfig-r_icu-osp1_ip.c"); Type_Source_Name => "pohidrv_r_icu_osp1_ip"; }; connections bat_bat_req : port bat.OUTPORT_bat_req -> r_icu.INPORT_bat_req { Timing => IMMEDIATE; }; bat_r_icu_bat_tm : port bat.OUTPORT_r_icu_bat_tm -> r_icu.INPORT_r_icu_bat_tm { Timing => IMMEDIATE; }; ground_TC : port ground.OUTPORT_TC -> obc.INPORT_TC { Timing => IMMEDIATE; }; obc_ack : port obc.OUTPORT_ack -> r_icu.INPORT_ack { Timing => IMMEDIATE; }; obc_obc_bat_tc : port obc.OUTPORT_obc_bat_tc -> r_icu.INPORT_obc_bat_tc { Timing => IMMEDIATE; }; obc_obc_osp1_tc : port obc.OUTPORT_obc_osp1_tc -> r_icu.INPORT_obc_osp1_tc { Timing => IMMEDIATE; }; obc_obc_osp2_tc : port obc.OUTPORT_obc_osp2_tc -> r_icu.INPORT_obc_osp2_tc { Timing => IMMEDIATE; }; obc_TM : port obc.OUTPORT_TM -> ground.INPORT_TM { Timing => IMMEDIATE; }; osp1_osp1_req : port osp1.OUTPORT_osp1_req -> r_icu.INPORT_osp1_req { Timing => IMMEDIATE; }; osp1_r_icu_osp2_tm : port osp1.OUTPORT_r_icu_osp2_tm -> r_icu.INPORT_r_icu_osp2_tm { Timing => IMMEDIATE; }; osp2_osp2_req : port osp2.OUTPORT_osp2_req -> r_icu.INPORT_osp2_req { Timing => IMMEDIATE; }; osp2_r_icu_osp1_tm : port osp2.OUTPORT_r_icu_osp1_tm -> r_icu.INPORT_r_icu_osp1_tm { Timing => IMMEDIATE; }; r_icu_bat_ack : port r_icu.OUTPORT_bat_ack -> bat.INPORT_bat_ack { Timing => IMMEDIATE; }; r_icu_obc_bat_tm : port r_icu.OUTPORT_obc_bat_tm -> obc.INPORT_obc_bat_tm { Timing => IMMEDIATE; }; r_icu_obc_osp1_tm : port r_icu.OUTPORT_obc_osp1_tm -> obc.INPORT_obc_osp1_tm { Timing => IMMEDIATE; }; r_icu_obc_osp2_tm : port r_icu.OUTPORT_obc_osp2_tm -> obc.INPORT_obc_osp2_tm { Timing => IMMEDIATE; }; r_icu_osp1_ack : port r_icu.OUTPORT_osp1_ack -> osp1.INPORT_osp1_ack { Timing => IMMEDIATE; }; r_icu_osp2_ack : port r_icu.OUTPORT_osp2_ack -> osp2.INPORT_osp2_ack { Timing => IMMEDIATE; }; r_icu_r_icu_bat_tc : port r_icu.OUTPORT_r_icu_bat_tc -> bat.INPORT_r_icu_bat_tc { Timing => IMMEDIATE; }; r_icu_r_icu_osp1_tc : port r_icu.OUTPORT_r_icu_osp1_tc -> osp1.INPORT_r_icu_osp1_tc { Timing => IMMEDIATE; }; r_icu_r_icu_osp2_tc : port r_icu.OUTPORT_r_icu_osp2_tc -> osp2.INPORT_r_icu_osp2_tc { Timing => IMMEDIATE; }; r_icu_req : port r_icu.OUTPORT_req -> obc.INPORT_req { Timing => IMMEDIATE; }; bus access r_icu_to_bat -> bat_bat_to_r_icu.link; bus access ground_to_obc -> ground_ground_to_obc.link; bus access ground_to_obc -> obc_obc_to_ground.link; bus access obc_to_r_icu -> obc_obc_to_bat.link; bus access osp1_to_r_icu_ip -> osp1_osp1_to_r_icu.link; bus access r_icu_to_osp2 -> osp2_osp2_to_r_icu.link; bus access obc_to_r_icu -> r_icu_obc_ip.link; bus access r_icu_to_bat -> r_icu_bat_ip.link; bus access r_icu_to_osp2 -> r_icu_osp2_ip.link; bus access osp1_to_r_icu_ip -> r_icu_osp1_ip.link; properties Actual_Processor_Binding => (reference (Bat_x86_linux)) applies to Bat; Actual_Processor_Binding => (reference (Ground_x86_linux)) applies to Ground; Actual_Processor_Binding => (reference (Obc_x86_linux)) applies to Obc; Actual_Processor_Binding => (reference (Osp1_x86_linux)) applies to Osp1; Actual_Processor_Binding => (reference (Osp2_x86_linux)) applies to Osp2; Actual_Processor_Binding => (reference (R_Icu_x86_linux)) applies to R_Icu; Actual_Processor_Binding => (reference (Bat_x86_linux)) applies to bat_bat_to_r_icu; Actual_Processor_Binding => (reference (Ground_x86_linux)) applies to ground_ground_to_obc; Actual_Processor_Binding => (reference (Obc_x86_linux)) applies to obc_obc_to_ground; Actual_Processor_Binding => (reference (Obc_x86_linux)) applies to obc_obc_to_bat; Actual_Processor_Binding => (reference (Osp1_x86_linux)) applies to osp1_osp1_to_r_icu; Actual_Processor_Binding => (reference (Osp2_x86_linux)) applies to osp2_osp2_to_r_icu; Actual_Processor_Binding => (reference (R_Icu_x86_linux)) applies to r_icu_obc_ip; Actual_Processor_Binding => (reference (R_Icu_x86_linux)) applies to r_icu_bat_ip; Actual_Processor_Binding => (reference (R_Icu_x86_linux)) applies to r_icu_osp2_ip; Actual_Processor_Binding => (reference (R_Icu_x86_linux)) applies to r_icu_osp1_ip; Actual_Connection_Binding => (reference (ground_to_obc)) applies to ground_TC; Actual_Connection_Binding => (reference (obc_to_r_icu)) applies to obc_obc_osp2_tc; Actual_Connection_Binding => (reference (obc_to_r_icu)) applies to obc_obc_osp1_tc; Actual_Connection_Binding => (reference (obc_to_r_icu)) applies to obc_obc_bat_tc; Actual_Connection_Binding => (reference (ground_to_obc)) applies to obc_TM; Actual_Connection_Binding => (reference (obc_to_r_icu)) applies to obc_ack; Actual_Connection_Binding => (reference (osp1_to_r_icu_ip)) applies to osp1_r_icu_osp2_tm; Actual_Connection_Binding => (reference (osp1_to_r_icu_ip)) applies to osp1_osp1_req; Actual_Connection_Binding => (reference (r_icu_to_osp2)) applies to osp2_r_icu_osp1_tm; Actual_Connection_Binding => (reference (r_icu_to_osp2)) applies to osp2_osp2_req; Actual_Connection_Binding => (reference (r_icu_to_bat)) applies to bat_r_icu_bat_tm; Actual_Connection_Binding => (reference (r_icu_to_bat)) applies to bat_bat_req; Actual_Connection_Binding => (reference (osp1_to_r_icu_ip)) applies to r_icu_osp1_ack; Actual_Connection_Binding => (reference (r_icu_to_osp2)) applies to r_icu_osp2_ack; Actual_Connection_Binding => (reference (r_icu_to_bat)) applies to r_icu_bat_ack; Actual_Connection_Binding => (reference (obc_to_r_icu)) applies to r_icu_req; Actual_Connection_Binding => (reference (obc_to_r_icu)) applies to r_icu_obc_osp1_tm; Actual_Connection_Binding => (reference (obc_to_r_icu)) applies to r_icu_obc_osp2_tm; Actual_Connection_Binding => (reference (obc_to_r_icu)) applies to r_icu_obc_bat_tm; Actual_Connection_Binding => (reference (r_icu_to_bat)) applies to r_icu_r_icu_bat_tc; Actual_Connection_Binding => (reference (r_icu_to_osp2)) applies to r_icu_r_icu_osp2_tc; Actual_Connection_Binding => (reference (osp1_to_r_icu_ip)) applies to r_icu_r_icu_osp1_tc; -- AI::root_system => "SELECTED"; -- patchable area (do not remove this line): end DeploymentView.final; end Process_Package; -- deploymenttview.final