#graphs, #height, #components, #connections, #ports, #nodes, #edges, #flows
19, 5, 80, 457, 1953, 1018, 914, 250
forward_node_11 = reach forward PCA_Pump_System_i_Instance.serv.security.security_process.algo_security_interface_mac_message_security_interface_mac_message_FORWARD
forward_node_15 = reach forward PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.tu_udp_synch_udp_BACKWARD
forward_node_16 = reach forward PCA_Pump_System_i_Instance.func.safety_subsystem.error_detect
forward_node_19 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem
forward_node_3 = reach forward PCA_Pump_System_i_Instance.serv.security.security_process.algo_security_interface_key_label_security_interface_key_label_FORWARD
forward_node_6 = reach forward PCA_Pump_System_i_Instance.func.safety_subsystem.hwed_to_operation_pump_at_KVO_rate_to_operation_pump_at_KVO_rate
forward_node_7 = reach forward PCA_Pump_System_i_Instance.board.internal_maintenance_bus
forward_node_10 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem.gel
forward_node_14 = reach forward PCA_Pump_System_i_Instance.board.t_c
forward_node_18 = reach forward PCA_Pump_System_i_Instance.serv.security.security_process
forward_node_9 = reach forward PCA_Pump_System_i_Instance.board.cpu
forward_node_4 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem.sdo
forward_node_8 = reach forward PCA_Pump_System_i_Instance.func.safety_subsystem.rh
forward_node_17 = reach forward PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.rand_result
forward_node_0 = reach forward PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.vm_tag
forward_node_2 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.bi
forward_node_1 = reach forward PCA_Pump_System_i_Instance.board.ebc
forward_node_12 = reach forward PCA_Pump_System_i_Instance.net
forward_node_5 = reach forward PCA_Pump_System_i_Instance.con_connectors_serial_bus_connectors_serial_bus_BACKWARD
forward_node_20 = reach forward PCA_Pump_System_i_Instance.func.safety_subsystem.i
forward_node_13 = reach forward PCA_Pump_System_i_Instance.serv.communication_subsystem.al_alarm_alarm_alarm_alarm_FORWARD
backward_node_3 = reach backward PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.al_alarm_warning_alarm_warning
backward_node_4 = reach backward PCA_Pump_System_i_Instance.func.sensors_actuators.u_ocl
backward_node_12 = reach backward PCA_Pump_System_i_Instance.func.sa_o_to_operation_door_open_from_peripherals_door_open
backward_node_0 = reach backward PCA_Pump_System_i_Instance.func.ac_act_barcode_illumination_act_barcode_illumination_FORWARD
backward_node_2 = reach backward PCA_Pump_System_i_Instance.a_act_ui_image_act_ui_image
backward_node_8 = reach backward PCA_Pump_System_i_Instance.func.safety_subsystem.fp_from_peripherals_pump_too_hot_from_peripherals_pump_too_hot
backward_node_9 = reach backward PCA_Pump_System_i_Instance.j
backward_node_15 = reach backward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.prescription_checker
backward_node_17 = reach backward PCA_Pump_System_i_Instance.board.t_c
backward_node_14 = reach backward PCA_Pump_System_i_Instance.func.ua_alarm_warning_alarm_warning_FORWARD
backward_node_20 = reach backward PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.st_tcp_syslog_tcp_BACKWARD
backward_node_5 = reach backward PCA_Pump_System_i_Instance.serv.security.security_process.algo_security_interface_sign_message_security_interface_sign_message_FORWARD
backward_node_11 = reach backward PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.s_fetch
backward_node_18 = reach backward PCA_Pump_System_i_Instance.serv.communication_subsystem.nic
backward_node_1 = reach backward PCA_Pump_System_i_Instance.board.cpu.sb_f
backward_node_7 = reach backward PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.du_dns_udp_udp_BACKWARD
backward_node_6 = reach backward PCA_Pump_System_i_Instance.func.safety_subsystem.fp_from_peripherals_empty_reservoir_from_peripherals_empty_reservoir
backward_node_19 = reach backward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.spc
backward_node_10 = reach backward PCA_Pump_System_i_Instance.con_connectors_hdmi_bus_connectors_hdmi_bus_BACKWARD
backward_node_13 = reach backward PCA_Pump_System_i_Instance.func.safety_subsystem.inac
backward_node_16 = reach backward PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.lr
source_target_node_7 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.sdo to PCA_Pump_System_i_Instance.board.ps_t
source_target_node_9 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.pkr to PCA_Pump_System_i_Instance.func.m_o_to_maintenance_load_drug_library_to_maintenance_load_drug_library
source_target_node_14 = reach from PCA_Pump_System_i_Instance.board.gp_dr_FORWARD to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.s_ret
source_target_node_11 = reach from PCA_Pump_System_i_Instance.board.hmib to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.gk_store
source_target_node_6 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.poc to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.s_fetch
source_target_node_16 = reach from PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.ic_net_net_FORWARD to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.en_alg
source_target_node_18 = reach from PCA_Pump_System_i_Instance.board.pb to PCA_Pump_System_i_Instance.board.ebc
source_target_node_3 = reach from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.vm_fetch to PCA_Pump_System_i_Instance.func.sn_sense_patient_button_press_sense_patient_button_press_FORWARD
source_target_node_20 = reach from PCA_Pump_System_i_Instance.board.gp_um_BACKWARD to PCA_Pump_System_i_Instance.func.sensors_actuators.u_ocl
source_target_node_2 = reach from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.s_source to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.pof
source_target_node_12 = reach from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.rand_result to PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.bub
source_target_node_10 = reach from PCA_Pump_System_i_Instance.board.eb to PCA_Pump_System_i_Instance.board.ps_b
source_target_node_0 = reach from PCA_Pump_System_i_Instance.func.safety_subsystem.i to PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process
source_target_node_1 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.max_drug_watcher to PCA_Pump_System_i_Instance.board.lvds
source_target_node_8 = reach from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.m_result to PCA_Pump_System_i_Instance.func.sensors_actuators.e_r
source_target_node_17 = reach from PCA_Pump_System_i_Instance.func.sa_o_to_operation_door_open_from_peripherals_door_open to PCA_Pump_System_i_Instance.serv.gui.gui
source_target_node_13 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.hi to PCA_Pump_System_i_Instance.func.s_o_to_operation_post_done_from_safety_post_done
source_target_node_19 = reach from PCA_Pump_System_i_Instance.board.gp_dr_FORWARD to PCA_Pump_System_i_Instance.func.sensors_actuators
source_target_node_5 = reach from PCA_Pump_System_i_Instance.func.safety_subsystem.hwed_to_operation_hw_detected_failure_to_operation_hw_detected_failure to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.verifier
source_target_node_15 = reach from PCA_Pump_System_i_Instance.serv.security.security_process.algo_security_interface_mac_message_security_interface_mac_message_FORWARD to PCA_Pump_System_i_Instance.func.ps_to_safety_empty_reservoir_from_peripherals_empty_reservoir
source_target_node_4 = reach from PCA_Pump_System_i_Instance.serv.al_alarm_warning_alarm_warning to PCA_Pump_System_i_Instance.board.p_mb
path_node_2 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.sac to PCA_Pump_System_i_Instance.board.mpcl
path_node_13 = reach paths from PCA_Pump_System_i_Instance.board.gp_p_BACKWARD to PCA_Pump_System_i_Instance.fm_to_maintenance_get_fault_log_to_maintenance_get_fault_log
path_node_5 = reach paths from PCA_Pump_System_i_Instance.func.safety_subsystem.hwed_to_operation_pump_at_KVO_rate_to_operation_pump_at_KVO_rate to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.en_nonce
path_node_18 = reach paths from PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.du_udp_dns_udp_BACKWARD to PCA_Pump_System_i_Instance.serv.security.security_process.algo_security_interface_mac_message_security_interface_mac_message_FORWARD
path_node_4 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.gk_key to PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.al_alarm_alarm_alarm_alarm
path_node_12 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.v_tag to PCA_Pump_System_i_Instance.board.cpu
path_node_19 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.alm to PCA_Pump_System_i_Instance.func.safety_subsystem.fp_from_peripherals_upstream_occlusion_from_peripherals_upstream_occlusion
path_node_9 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.bap to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.de_source
path_node_20 = reach paths from PCA_Pump_System_i_Instance.func.safety_subsystem.hwed_to_operation_hw_detected_failure_to_operation_hw_detected_failure to PCA_Pump_System_i_Instance.kernel
path_node_8 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.pom to PCA_Pump_System_i_Instance.func.operation_subsystem.wa
path_node_3 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.m_bad to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.spc
path_node_6 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.gdr to PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.net_net_net_FORWARD
path_node_1 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.cont_crypto_control_crypto_control_BACKWARD to PCA_Pump_System_i_Instance.board.main_bus
path_node_11 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.barx to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.m_fail
path_node_17 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads to PCA_Pump_System_i_Instance.func.safety_subsystem.led
path_node_14 = reach paths from PCA_Pump_System_i_Instance.board.power_bus to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms
path_node_0 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.dos to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.m_fetch
path_node_16 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.pof to PCA_Pump_System_i_Instance.s_sense_patient_button_press_sense_patient_button_press
path_node_15 = reach paths from PCA_Pump_System_i_Instance.board.upstream_monitor to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.pof
path_node_10 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.prnts to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.mdph
path_node_7 = reach paths from PCA_Pump_System_i_Instance.board.ps_dm to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.pkr
forward_port_1 = reach forward PCA_Pump_System_i_Instance.serv.cpal.gpio.o0
forward_port_15 = reach forward PCA_Pump_System_i_Instance.board.r_u.out
forward_port_18 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.bthlv.in
forward_port_17 = reach forward PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.s_source.out
forward_port_8 = reach forward PCA_Pump_System_i_Instance.serv.communication_subsystem.maintenance_processor.to_maintenance_the_security_log
forward_port_14 = reach forward PCA_Pump_System_i_Instance.func.sensors_actuators.downstream.binding_IN
forward_port_6 = reach forward PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.s_key.out
forward_port_2 = reach forward PCA_Pump_System_i_Instance.board.power.mtm_bus_IN
forward_port_11 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.rate_controller.begin_priming
forward_port_10 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem.to_safety_infusion_flow_rate
forward_port_16 = reach forward PCA_Pump_System_i_Instance.board.power.system_bus_IN
forward_port_9 = reach forward PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.s.dns_udp_OUT
forward_port_7 = reach forward PCA_Pump_System_i_Instance.func.to_user_system_status
forward_port_3 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.rcprnts.out
forward_port_20 = reach forward PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.v_fetch.out
forward_port_13 = reach forward PCA_Pump_System_i_Instance.board.upstream_monitor.bindings_IN
forward_port_5 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.hdf.in
forward_port_4 = reach forward PCA_Pump_System_i_Instance.board.sccl.out
forward_port_19 = reach forward PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.from_comm_OUT
forward_port_0 = reach forward PCA_Pump_System_i_Instance.board.power.power_supply_OUT
forward_port_12 = reach forward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.boss.post_fail
backward_port_19 = reach backward PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.alarm_thr.memory_OUT
backward_port_6 = reach backward PCA_Pump_System_i_Instance.board.power.system_bus_OUT
backward_port_11 = reach backward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.poc.in
backward_port_2 = reach backward PCA_Pump_System_i_Instance.serv.cpal.to_safety_OUT
backward_port_12 = reach backward PCA_Pump_System_i_Instance.board.gp_dm_FORWARD.in
backward_port_4 = reach backward PCA_Pump_System_i_Instance.board.mpb.out
backward_port_8 = reach backward PCA_Pump_System_i_Instance.serv.security.crypto_control_IN
backward_port_3 = reach backward PCA_Pump_System_i_Instance.func.from_user_reject_soft_limit_exception
backward_port_14 = reach backward PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.encryptor.operation_failed
backward_port_17 = reach backward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.prescription_checker.prescription
backward_port_5 = reach backward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.prescription_checker.vtbi
backward_port_20 = reach backward PCA_Pump_System_i_Instance.board.vga.in
backward_port_0 = reach backward PCA_Pump_System_i_Instance.board.timers.system_bus_OUT
backward_port_13 = reach backward PCA_Pump_System_i_Instance.fill_drug
backward_port_15 = reach backward PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.m_alg.in
backward_port_7 = reach backward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.patient_bolus_checker.processor_OUT
backward_port_10 = reach backward PCA_Pump_System_i_Instance.serv.cpal.gpio.i12
backward_port_16 = reach backward PCA_Pump_System_i_Instance.board.cpu.ps_m.out
backward_port_18 = reach backward PCA_Pump_System_i_Instance.connectors_hdmi_bus_OUT
backward_port_9 = reach backward PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.prb.in
backward_port_1 = reach backward PCA_Pump_System_i_Instance.board.mtm_hmi.out
source_target_port_13 = reach from PCA_Pump_System_i_Instance.func.alarm_info to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.event_logger.processor_OUT
source_target_port_9 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.post_done to PCA_Pump_System_i_Instance.func.operation_subsystem.sap.in
source_target_port_4 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.from_comm_halt to PCA_Pump_System_i_Instance.board.ps_hmi.in
source_target_port_1 = reach from PCA_Pump_System_i_Instance.func.sensors_actuators.downstream.binding_IN to PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.se_nic_nic_FORWARD.out
source_target_port_15 = reach from PCA_Pump_System_i_Instance.func.safety_subsystem.error_detect.to_operation_post_fail to PCA_Pump_System_i_Instance.func.safety_subsystem.sa_send_alarm_alarm_alarm_alarm_FORWARD.in
source_target_port_7 = reach from PCA_Pump_System_i_Instance.serv.gui.from_user_IN to PCA_Pump_System_i_Instance.func.sensors_actuators.h.in
source_target_port_10 = reach from PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.st_tcp_syslog_tcp_BACKWARD.out to PCA_Pump_System_i_Instance.func.sensors_actuators.gpio_IN
source_target_port_14 = reach from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.de_alg.out to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.v_fail.out
source_target_port_19 = reach from PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.bolu.in to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.decryptor.bad_format
source_target_port_12 = reach from PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.s.syslog_tcp_OUT to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.encryptor.nonce_in
source_target_port_0 = reach from PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.tu_udp_synch_udp_FORWARD.out to PCA_Pump_System_i_Instance.serv.gui.alarm_warning
source_target_port_20 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.from_peripherals_door_open to PCA_Pump_System_i_Instance.board.main_bus.ACCESS_IN
source_target_port_3 = reach from PCA_Pump_System_i_Instance.serv.security.security_process.controller.security_interface_nonce_out to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.random.result_text
source_target_port_2 = reach from PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.from_operation_security_fault to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.sound_type
source_target_port_5 = reach from PCA_Pump_System_i_Instance.func.safety_subsystem.ap_halt.out to PCA_Pump_System_i_Instance.act_drug_outlet
source_target_port_8 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.sap.out to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.vm_alg.in
source_target_port_17 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.from_user_stop_button_pressed to PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.alarm_thr.drug_not_in_library
source_target_port_16 = reach from PCA_Pump_System_i_Instance.serv.gui.gui.alarm_inactivation to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.pof.out
source_target_port_18 = reach from PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.tu_udp_synch_udp_BACKWARD.out to PCA_Pump_System_i_Instance.func.s_o_to_operation_post_done_from_safety_post_done.in
source_target_port_11 = reach from PCA_Pump_System_i_Instance.board.gp_dm_FORWARD.in to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.bds.out
source_target_port_6 = reach from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.pump_at_KVO_rate to PCA_Pump_System_i_Instance.func.operation_subsystem.from_safety_pump_at_KVO_rate
path_port_2 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.cp_clinician_request_bolus to PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.bub.out
path_port_1 = reach paths from PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.alarm_thr.warning to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.processor_IN
path_port_0 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.security_interface_source_text to PCA_Pump_System_i_Instance.board.upstream_monitor.bindings_IN
path_port_17 = reach paths from PCA_Pump_System_i_Instance.serv.cpal.gpio.o3 to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.bds.in
path_port_5 = reach paths from PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.flow_rate.basal_overinfusion to PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.flow_rate.memory_IN
path_port_18 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.operation_threads.boss.priming_failure to PCA_Pump_System_i_Instance.func.safety_subsystem.alarm_process.bub.in
path_port_7 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.gk_fail.in to PCA_Pump_System_i_Instance.serv.cpal.gpio.i7
path_port_11 = reach paths from PCA_Pump_System_i_Instance.serv.communication_subsystem.to_network_IN to PCA_Pump_System_i_Instance.board.pcl.in
path_port_13 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.m_alg.out to PCA_Pump_System_i_Instance.func.safety_subsystem.fault_log.the_log
path_port_20 = reach paths from PCA_Pump_System_i_Instance.func.safety_subsystem.halt to PCA_Pump_System_i_Instance.func.safety_subsystem.error_detect.to_operation_pump_at_KVO_rate
path_port_6 = reach paths from PCA_Pump_System_i_Instance.ab_act_drug_outlet_act_drug_outlet.out to PCA_Pump_System_i_Instance.board.maintenance.provision_bus_OUT
path_port_9 = reach paths from PCA_Pump_System_i_Instance.ui.out to PCA_Pump_System_i_Instance.func.operation_subsystem.sdo.in
path_port_15 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.algo_security_interface_bad_format_security_interface_bad_format_FORWARD.in to PCA_Pump_System_i_Instance.board.pump.bindings_OUT
path_port_19 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.vm_fail.out to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.s_source.in
path_port_12 = reach paths from PCA_Pump_System_i_Instance.func.safety_subsystem.fp_from_peripherals_upstream_occlusion_from_peripherals_upstream_occlusion.out to PCA_Pump_System_i_Instance.serv.cpal.to_operation_OUT
path_port_4 = reach paths from PCA_Pump_System_i_Instance.serv.gui.al_alarm_alarm_alarm_alarm_FORWARD.out to PCA_Pump_System_i_Instance.func.operation_subsystem.scanner.scan_data
path_port_3 = reach paths from PCA_Pump_System_i_Instance.con_connectors_hdmi_bus_connectors_hdmi_bus_FORWARD.in to PCA_Pump_System_i_Instance.func.operation_subsystem.pkr.in
path_port_14 = reach paths from PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.encryptor.result_text to PCA_Pump_System_i_Instance.func.operation_subsystem.operation_process.pod.in
path_port_16 = reach paths from PCA_Pump_System_i_Instance.serv.communication_subsystem.network_controller.firewall.sy_synch_timesync_FORWARD.out to PCA_Pump_System_i_Instance.func.to_user_patient_request_not_too_soon
path_port_10 = reach paths from PCA_Pump_System_i_Instance.func.sensors_actuators.sense_barcode_signal to PCA_Pump_System_i_Instance.serv.security.security_process.algorithms.de.in
path_port_8 = reach paths from PCA_Pump_System_i_Instance.func.operation_subsystem.from_user_clinician_request_bolus to PCA_Pump_System_i_Instance.serv.from_maintenance_the_fault_logforward_node_11  = 17754, 20184, 12316, 54064, 2020, 33381, 18198, 20944, 80709, 82307, 34187
forward_node_15  = 25786, 29760, 13578, 36821, 74437, 23765, 16191, 3653800, 22085, 44573, 394079
forward_node_16  = 103344, 25633, 9077, 82996, 29224, 101611, 50109, 9445, 340401, 69651, 82149
forward_node_19  = 87897, 8130, 35855, 3852318, 20050, 11423, 34521, 61316, 81507, 47562, 424057
forward_node_3  = 5830, 90312, 103534, 100089, 3929304, 16206, 22275, 66205, 55186, 3693333, 808227
forward_node_6  = 4027330, 310889, 95668, 9538, 354960, 49880, 8998, 16008, 61370, 15769, 495041
forward_node_7  = 26651, 366895, 77398, 31840, 60631, 10981, 93174, 21269, 65044, 3149, 75703
forward_node_10  = 17764, 93382, 52356, 23558, 38551, 38841, 3984082, 75670, 20645, 20815, 436566
forward_node_14  = 6250, 21790, 12146, 66193, 80828, 14202, 41373, 20399, 340898, 333406, 93748
forward_node_18  = 8712, 30311, 23350, 1326, 52599, 17758, 1688, 61049, 62220, 36508, 29552
forward_node_9  = 6678, 27989, 68675, 359722, 28869, 55781, 33472, 35972, 86741, 31819, 73571
forward_node_4  = 53532, 78504, 22597, 66070, 12064, 107230, 67662, 87431, 38382, 52425, 58589
forward_node_8  = 24502, 3697737, 82604, 112842, 97733, 49980, 83409, 58324, 61747, 82429, 435130
forward_node_17  = 1826, 49013, 12311, 33249, 3970, 20872, 41053, 71042, 3735042, 1923, 397030
forward_node_0  = 4387, 66989, 55553, 25627, 364679, 35925, 16159, 18276, 3805338, 99420, 449235
forward_node_2  = 75282, 70970, 62678, 58942, 92156, 71672, 69360, 43299, 8826, 71056, 62424
forward_node_1  = 6209, 83098, 55309, 306679, 438, 31692, 33594, 58536, 61478, 25919, 66295
forward_node_12  = 17548, 3762323, 12362, 53222, 102, 12359, 58674, 4005178, 82627, 15887, 802028
forward_node_5  = 88856, 29351, 11961, 3806978, 50191, 34068, 31045, 19908, 78176, 60638, 421117
forward_node_20  = 17310, 49857, 4155102, 35991, 81903, 35823, 21219, 23560, 55837, 15913, 449251
forward_node_13  = 89158, 91744, 8799, 68561, 107201, 332807, 60267, 18369, 55221, 64178, 89630
total =  = 294171

backward_node_3  = 155241, 113444, 23952, 86187, 3767264, 101386, 37423, 41679, 23623, 152565, 450276
backward_node_4  = 141, 77953, 169817, 77906, 13407, 156738, 3873691, 103725, 48818, 4044505, 856670
backward_node_12  = 15621, 154846, 6353, 4027007, 4077303, 146628, 16828, 382370, 47527, 141464, 901594
backward_node_0  = 137107, 6498, 69786, 218784, 292540, 148712, 24997, 117913, 97339, 3668892, 478256
backward_node_2  = 64816, 3765133, 4084185, 36825, 28650, 45534, 32020, 33171, 93300, 118170, 830180
backward_node_8  = 417127, 52000, 142462, 22942, 48635, 117246, 80632, 117896, 102672, 73555, 117516
backward_node_9  = 80951, 137119, 47661, 99970, 115296, 58037, 5924, 5726, 38430, 42087, 63120
backward_node_15  = 376535, 3706213, 78907, 3792264, 120970, 356842, 139029, 72790, 130001, 134508, 890805
backward_node_17  = 99678, 403466, 155793, 32479, 51495, 120584, 25533, 35224, 124880, 150956, 120008
backward_node_14  = 134789, 39347, 4035253, 107768, 143834, 70069, 131757, 3832876, 6617, 351724, 885403
backward_node_20  = 7029, 44186, 112873, 65658, 14982, 4112787, 160984, 88559, 109658, 38842, 475555
backward_node_5  = 55594, 110011, 92592, 342821, 3698684, 380554, 109498, 4002926, 84150, 76695, 895352
backward_node_11  = 103377, 72736, 90248, 63133, 345302, 9154, 97468, 45261, 81061, 122802, 103054
backward_node_18  = 30701, 105661, 100478, 5544, 84963, 127439, 21218, 58530, 55501, 27248, 61728
backward_node_1  = 15507, 25010, 3694246, 43305, 155923, 3782375, 378957, 29720, 107167, 766, 823297
backward_node_7  = 3988199, 129699, 112313, 159337, 151405, 31298, 43816, 288105, 3975136, 88576, 896788
backward_node_6  = 93059, 346351, 320001, 103692, 76423, 3788494, 3774831, 76544, 22253, 61768, 866341
backward_node_19  = 35404, 3867351, 141248, 43032, 104977, 59230, 103791, 117433, 423380, 78967, 497481
backward_node_10  = 8462, 17969, 21560, 77422, 68465, 161061, 340511, 24500, 103102, 3756949, 458000
backward_node_13  = 51668, 80384, 19602, 76494, 61477, 6645, 63964, 94400, 3833362, 157942, 444593
backward_node_16  = 3824695, 73961, 49518, 25720, 7209, 32405, 161144, 145048, 70471, 18155, 440832
total =  = 550326

source_target_node_7  = 98195, 3810034, 52118, 14061, 27707, 132968, 37518, 4280087, 4038980, 143143, 1263481
source_target_node_9  = 134886, 139762, 259912, 60070, 3918126, 103510, 109799, 4092264, 120031, 3855019, 1279337
source_target_node_14  = 353544, 54450, 3991185, 167710, 4095684, 410331, 214359, 374915, 143615, 141343, 994713
source_target_node_11  = 106084, 339590, 88233, 144227, 185357, 366722, 113855, 21862, 47968, 124220, 153811
source_target_node_6  = 3895221, 206167, 61251, 206976, 444279, 180271, 236855, 47836, 16906, 139577, 543533
source_target_node_16  = 229131, 67639, 169667, 134699, 156365, 60292, 3357, 198219, 3897, 4165603, 518886
source_target_node_18  = 3722598, 190973, 49965, 4123998, 1319, 3887928, 167135, 113956, 54441, 4211423, 1652373
source_target_node_3  = 18829, 61363, 176742, 35646, 349264, 150197, 210195, 3996221, 168175, 194258, 536089
source_target_node_20  = 502102, 203780, 175004, 101294, 3915211, 186646, 124462, 928, 13004, 239200, 546163
source_target_node_2  = 3864732, 465378, 133720, 194638, 37775, 448816, 4152099, 81738, 259172, 157103, 979517
source_target_node_12  = 122092, 52316, 256959, 175406, 48017, 146683, 165204, 64010, 233323, 22191, 128620
source_target_node_10  = 293552, 50366, 212681, 761, 173595, 4154358, 237485, 10488, 248123, 88110, 546951
source_target_node_0  = 185643, 27588, 67666, 143387, 18713, 134224, 4126005, 191767, 210958, 213249, 531920
source_target_node_1  = 22004, 4112071, 213174, 3882315, 17560, 171038, 63053, 471866, 213719, 146744, 931354
source_target_node_8  = 1907, 181568, 187816, 2478, 108203, 183264, 3788936, 50192, 163025, 205828, 487321
source_target_node_17  = 41931, 162447, 136203, 106820, 124381, 51969, 366078, 143719, 208329, 4149272, 549114
source_target_node_13  = 79779, 23779, 19867, 473911, 87202, 230806, 194324, 3882831, 34302, 84624, 511142
source_target_node_19  = 94603, 114483, 150415, 160386, 163957, 64696, 4202941, 258016, 12638, 8077, 523021
source_target_node_5  = 444861, 3806133, 46548, 80728, 141242, 37640, 140116, 105205, 132692, 209193, 514435
source_target_node_15  = 3793915, 3927601, 61737, 28886, 496399, 3887852, 20673, 154536, 67779, 80403, 1251978
source_target_node_4  = 9605, 421139, 3974983, 3900216, 214422, 7379, 23848, 168444, 85799, 35280, 884111
total =  = 729898

path_node_2  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_13  = 1125692, 9800081, 99619, 4161872, 1676, 1010, 4205449, 111353, 353132, 1152, 1986103
path_node_5  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_18  = 4813982, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_4  = 142580, 9505278, 105552, 110713, 109196, 111205, 120189, 132742, 105782, 132409, 1057564
path_node_12  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_19  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_9  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_20  = 38012, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_8  = 9051148, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_3  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_6  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_1  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_11  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_17  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_14  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_0  = 8986027, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_16  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_15  = 1610, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_node_10  = 5017457, 9640704, 107217, 225, 106594, 105787, 278, 109050, 3894500, 930, 1898274
path_node_7  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
total =  = 1647313

forward_port_1  = 332972, 4440219, 5164823, 4647530, 190047, 9570418, 543583, 3101, 529850, 3291307, 2871385
forward_port_15  = 4780981, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
forward_port_18  = 9969492, 4444336, 4432856, 9518694, 369709, 5709545, 134047, 3853961, 3361537, 168767, 4196294
forward_port_17  = 5042593, 8757323, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
forward_port_8  = 4960914, 590943, 155843, 5355804, 4656595, 9579483, 332333, 709932, 363, 6858360, 3320057
forward_port_14  = 4589894, 223505, 9237483, 9234682, 1310200, 689621, 5251977, 4665014, 3996208, 2747081, 4194566
forward_port_6  = 4718019, 4473875, 9324984, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
forward_port_2  = 4810451, 5114755, 5024336, 342120, 714784, 4946916, 9609497, 8887954, 3195697, 699331, 4334584
forward_port_11  = 9825020, 4734454, 9903984, 4809242, 5572530, 4282765, timeout, timeout, timeout, timeout, timeout
forward_port_10  = 4576664, 5915789, 126221, 5601317, 159759, 164579, 84, 4630093, 4000865, 3647877, 2882324
forward_port_16  = 9806803, 9375120, 4770676, 9898315, 9125841, 1128045, 9336638, 5084699, 338056, 515256, 5937944
forward_port_9  = 334940, 327363, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
forward_port_7  = 178094, 9561176, 317755, 4678649, 490880, 95, 4361477, 6439088, 108, 3155463, 2918278
forward_port_3  = 178189, 156845, 9915518, 4028445, 888706, 563019, 4442590, 316761, 4560262, 4031151, 2908148
forward_port_20  = 9671822, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
forward_port_13  = 5284425, 1128071, 9419246, 4929770, 161992, 9774602, 4849693, 1399907, 3722174, 3663629, 4433350
forward_port_5  = 1123822, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
forward_port_4  = 9897834, 5876832, 9481555, 4787550, timeout, timeout, timeout, timeout, timeout, timeout, timeout
forward_port_19  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
forward_port_0  = 8741860, 9672311, 4610449, 4697205, 5397885, 9267829, 5607533, 3697436, 3567584, 3862020, 5912211
forward_port_12  = 4906370, 5148820, 4017073, 5387967, 4505501, 4566814, 231159, 162364, 158064, 4115578, 3319971
total =  = 3935759

backward_port_19  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_6  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_11  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_2  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_12  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_4  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_8  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_3  = 101, 1478, 1152, 1106, 1100, 1094, 1135, 1171, 72, 1059, 946
backward_port_14  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_17  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_5  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_20  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_0  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_13  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_15  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_7  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_10  = 132, 1263, 1094, 1003, 60, 1046, 1052, 1032, 1165, 47, 789
backward_port_16  = 1462, 1086, 1106, 1047, 1030, 1047, 1059, 1203, 1077, 1081, 1119
backward_port_18  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_9  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
backward_port_1  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
total =  = 951

source_target_port_13  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_9  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_4  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_1  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_15  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_7  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_10  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_14  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_19  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_12  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_0  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_20  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_3  = 44540, 39141, 33900, 43114, 39776, 35150, 41562, 74174, 31256, 34367, 41698
source_target_port_2  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_5  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_8  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_17  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_16  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_18  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_11  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
source_target_port_6  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
total =  = 41698

path_port_2  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_1  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_0  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_17  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_5  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_18  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_7  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_11  = 84649, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_13  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_20  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_6  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_9  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_15  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_19  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_12  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_4  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_3  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_14  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_16  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_10  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
path_port_8  = timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout, timeout
total =  = 0