aadl/diagrams/CAmkES-HAMR-arch-SeL4.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: g Pages: 1 -->
<svg width="4341pt" height="1487pt"
 viewBox="0.00 0.00 4341.00 1487.07" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1483.0723)">
<title>g</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1483.0723 4337,-1483.0723 4337,4 -4,4"/>
<!-- MCMP_PROC_SW_FC_UART_UARTDriver -->
<g id="node1" class="node">
<title>MCMP_PROC_SW_FC_UART_UARTDriver</title>
<polygon fill="none" stroke="#000000" points="728.5,-547.9572 728.5,-571.9572 1291.5,-571.9572 1291.5,-547.9572 728.5,-547.9572"/>
<text text-anchor="start" x="852" y="-557.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">MCMP_PROC_SW_FC_UART_UARTDriver</text>
<polygon fill="none" stroke="#000000" points="728.5,-523.9572 728.5,-547.9572 1291.5,-547.9572 1291.5,-523.9572 728.5,-523.9572"/>
<text text-anchor="start" x="755.5" y="-533.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1065.5" y="-533.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_MissionCommand_queue</text>
<polygon fill="none" stroke="#000000" points="728.5,-499.9572 728.5,-523.9572 1291.5,-523.9572 1291.5,-499.9572 728.5,-499.9572"/>
<text text-anchor="start" x="733" y="-509.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1043" y="-509.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AirVehicleState_WPM_queue_1</text>
<polygon fill="none" stroke="#000000" points="728.5,-475.9572 728.5,-499.9572 1291.5,-499.9572 1291.5,-475.9572 728.5,-475.9572"/>
<text text-anchor="start" x="731.5" y="-485.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1041.5" y="-485.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AirVehicleState_UXAS_queue_1</text>
<polygon fill="none" stroke="#000000" points="728.5,-451.9572 728.5,-475.9572 1291.5,-475.9572 1291.5,-451.9572 728.5,-451.9572"/>
<text text-anchor="start" x="803.5" y="-461.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="933.5" y="-461.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AirVehicleState_WPM_1_notification</text>
<polygon fill="none" stroke="#000000" points="728.5,-427.9572 728.5,-451.9572 1291.5,-451.9572 1291.5,-427.9572 728.5,-427.9572"/>
<text text-anchor="start" x="802.5" y="-437.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="932.5" y="-437.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AirVehicleState_UXAS_1_notification</text>
<polygon fill="none" stroke="#000000" points="728.5,-403.9572 728.5,-427.9572 1291.5,-427.9572 1291.5,-403.9572 728.5,-403.9572"/>
<text text-anchor="start" x="812" y="-413.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="971" y="-413.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_MissionCommand_notification</text>
<polygon fill="none" stroke="#000000" points="728.5,-379.9572 728.5,-403.9572 1291.5,-403.9572 1291.5,-379.9572 728.5,-379.9572"/>
<text text-anchor="start" x="879.5" y="-389.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes Period </text>
<text text-anchor="start" x="992.5" y="-389.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_pacer_notification</text>
</g>
<!-- vmUXAS -->
<g id="node7" class="node">
<title>vmUXAS</title>
<polygon fill="none" stroke="#000000" points="2578,-1223.9572 2578,-1247.9572 3220,-1247.9572 3220,-1223.9572 2578,-1223.9572"/>
<text text-anchor="start" x="2866.5" y="-1233.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">vmUXAS</text>
<polygon fill="none" stroke="#000000" points="2578,-1199.9572 2578,-1223.9572 3220,-1223.9572 3220,-1199.9572 2578,-1199.9572"/>
<text text-anchor="start" x="2639.5" y="-1209.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="2949.5" y="-1209.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AutomationRequest_queue</text>
<polygon fill="none" stroke="#000000" points="2578,-1175.9572 2578,-1199.9572 3220,-1199.9572 3220,-1175.9572 2578,-1175.9572"/>
<text text-anchor="start" x="2654.5" y="-1185.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="2964.5" y="-1185.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AirVehicleState_queue</text>
<polygon fill="none" stroke="#000000" points="2578,-1151.9572 2578,-1175.9572 3220,-1175.9572 3220,-1151.9572 2578,-1151.9572"/>
<text text-anchor="start" x="2648.5" y="-1161.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="2958.5" y="-1161.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_OperatingRegion_queue</text>
<polygon fill="none" stroke="#000000" points="2578,-1127.9572 2578,-1151.9572 3220,-1151.9572 3220,-1127.9572 2578,-1127.9572"/>
<text text-anchor="start" x="2652" y="-1137.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="2962" y="-1137.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_LineSearchTask_queue</text>
<polygon fill="none" stroke="#000000" points="2578,-1103.9572 2578,-1127.9572 3220,-1127.9572 3220,-1103.9572 2578,-1103.9572"/>
<text text-anchor="start" x="2581" y="-1113.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="2891" y="-1113.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AutomationResponse_MON_GEO_queue_1</text>
<polygon fill="none" stroke="#000000" points="2578,-1079.9572 2578,-1103.9572 3220,-1103.9572 3220,-1079.9572 2578,-1079.9572"/>
<text text-anchor="start" x="2581.5" y="-1089.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="2891.5" y="-1089.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AutomationResponse_MON_REQ_queue_1</text>
<polygon fill="none" stroke="#000000" points="2578,-1055.9572 2578,-1079.9572 3220,-1079.9572 3220,-1055.9572 2578,-1055.9572"/>
<text text-anchor="start" x="2719" y="-1065.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_int8_t_1_t </text>
<text text-anchor="start" x="2916" y="-1065.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_pacer_period_queue</text>
<polygon fill="none" stroke="#000000" points="2578,-1031.9572 2578,-1055.9572 3220,-1055.9572 3220,-1031.9572 2578,-1031.9572"/>
<text text-anchor="start" x="2721.5" y="-1041.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits HaveNotification </text>
<text text-anchor="start" x="2874.5" y="-1041.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">notification_ready_connector</text>
<polygon fill="none" stroke="#000000" points="2578,-1007.9572 2578,-1031.9572 3220,-1031.9572 3220,-1007.9572 2578,-1007.9572"/>
<text text-anchor="start" x="2652" y="-1017.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="2782" y="-1017.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AutomationResponse_MON_GEO_1_notification</text>
<polygon fill="none" stroke="#000000" points="2578,-983.9572 2578,-1007.9572 3220,-1007.9572 3220,-983.9572 2578,-983.9572"/>
<text text-anchor="start" x="2652.5" y="-993.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="2782.5" y="-993.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AutomationResponse_MON_REQ_1_notification</text>
<polygon fill="none" stroke="#000000" points="2578,-959.9572 2578,-983.9572 3220,-983.9572 3220,-959.9572 2578,-959.9572"/>
<text text-anchor="start" x="2814.5" y="-969.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses FileServerInterface </text>
<text text-anchor="start" x="2971.5" y="-969.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">fs</text>
<polygon fill="none" stroke="#000000" points="2578,-935.9572 2578,-959.9572 3220,-959.9572 3220,-935.9572 2578,-935.9572"/>
<text text-anchor="start" x="2843.5" y="-945.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses Batch </text>
<text text-anchor="start" x="2915.5" y="-945.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">batch</text>
<polygon fill="none" stroke="#000000" points="2578,-911.9572 2578,-935.9572 3220,-935.9572 3220,-911.9572 2578,-911.9572"/>
<text text-anchor="start" x="2806" y="-921.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses PutChar </text>
<text text-anchor="start" x="2894" y="-921.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">guest_putchar</text>
<polygon fill="none" stroke="#000000" points="2578,-887.9572 2578,-911.9572 3220,-911.9572 3220,-887.9572 2578,-887.9572"/>
<text text-anchor="start" x="2806.5" y="-897.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses GetChar </text>
<text text-anchor="start" x="2894.5" y="-897.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">serial_getchar</text>
<polygon fill="none" stroke="#000000" points="2578,-863.9572 2578,-887.9572 3220,-887.9572 3220,-863.9572 2578,-863.9572"/>
<text text-anchor="start" x="2820.5" y="-873.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses VirtQueueDev </text>
<text text-anchor="start" x="2948.5" y="-873.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">recv</text>
<polygon fill="none" stroke="#000000" points="2578,-839.9572 2578,-863.9572 3220,-863.9572 3220,-839.9572 2578,-839.9572"/>
<text text-anchor="start" x="2820" y="-849.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses VirtQueueDrv </text>
<text text-anchor="start" x="2947" y="-849.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">send</text>
<polygon fill="none" stroke="#000000" points="2578,-815.9572 2578,-839.9572 3220,-839.9572 3220,-815.9572 2578,-815.9572"/>
<text text-anchor="start" x="2786" y="-825.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses VMDTBPassthrough </text>
<text text-anchor="start" x="2957" y="-825.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">dtb_self</text>
<polygon fill="none" stroke="#000000" points="2578,-791.9572 2578,-815.9572 3220,-815.9572 3220,-791.9572 2578,-791.9572"/>
<text text-anchor="start" x="2799" y="-801.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes restart </text>
<text text-anchor="start" x="2909" y="-801.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">restart_event</text>
<polygon fill="none" stroke="#000000" points="2578,-767.9572 2578,-791.9572 3220,-791.9572 3220,-767.9572 2578,-767.9572"/>
<text text-anchor="start" x="2745" y="-777.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes HaveNotification </text>
<text text-anchor="start" x="2926" y="-777.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">notification_ready</text>
<polygon fill="none" stroke="#000000" points="2578,-743.9572 2578,-767.9572 3220,-767.9572 3220,-743.9572 2578,-743.9572"/>
<text text-anchor="start" x="2696" y="-753.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="2855" y="-753.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AutomationRequest_notification</text>
<polygon fill="none" stroke="#000000" points="2578,-719.9572 2578,-743.9572 3220,-743.9572 3220,-719.9572 2578,-719.9572"/>
<text text-anchor="start" x="2711" y="-729.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="2870" y="-729.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AirVehicleState_notification</text>
<polygon fill="none" stroke="#000000" points="2578,-695.9572 2578,-719.9572 3220,-719.9572 3220,-695.9572 2578,-695.9572"/>
<text text-anchor="start" x="2705" y="-705.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="2864" y="-705.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_OperatingRegion_notification</text>
<polygon fill="none" stroke="#000000" points="2578,-671.9572 2578,-695.9572 3220,-695.9572 3220,-671.9572 2578,-671.9572"/>
<text text-anchor="start" x="2708.5" y="-681.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="2867.5" y="-681.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_LineSearchTask_notification</text>
<polygon fill="none" stroke="#000000" points="2578,-647.9572 2578,-671.9572 3220,-671.9572 3220,-647.9572 2578,-647.9572"/>
<text text-anchor="start" x="2725" y="-657.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes Period_VM </text>
<text text-anchor="start" x="2872" y="-657.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_pacer_period_notification</text>
<polygon fill="none" stroke="#000000" points="2578,-623.9572 2578,-647.9572 3220,-647.9572 3220,-623.9572 2578,-623.9572"/>
<text text-anchor="start" x="2787.5" y="-633.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">provides VMDTBPassthrough </text>
<text text-anchor="start" x="2986.5" y="-633.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">dtb</text>
</g>
<!-- MCMP_PROC_SW_FC_UART_UARTDriver&#45;&gt;vmUXAS -->
<g id="conn5" class="edge">
<title>MCMP_PROC_SW_FC_UART_UARTDriver:sb_AirVehicleState_UXAS_1_notification&#45;&gt;vmUXAS:sb_AirVehicleState_notification</title>
<path fill="none" stroke="#c0c0c0" d="M1291.5,-439.9572C1851.853,-439.9572 2075.9552,-331.1718 2534,-653.9572 2563.2307,-674.5562 2543.3261,-721.1022 2567.8462,-730.3444"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="2567.5747,-733.8451 2578,-731.9572 2568.6729,-726.9317 2567.5747,-733.8451"/>
</g>
<!-- MCMP_PROC_SW_FC_UART_UARTDriver&#45;&gt;vmUXAS -->
<g id="conn6" class="edge">
<title>MCMP_PROC_SW_FC_UART_UARTDriver:sb_AirVehicleState_UXAS_queue_1&#45;&gt;vmUXAS:sb_AirVehicleState_queue</title>
<path fill="none" stroke="#ffc0cb" d="M1291.5,-487.9572C1318.3742,-487.9572 1310.8138,-518.2418 1335,-529.9572 1576.973,-647.1653 2348.2886,-497.5352 2534,-691.9572 2607.9688,-769.3955 2476.3394,-1161.4947 2568.0766,-1186.6863"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="2567.6364,-1190.1585 2578,-1187.9572 2568.5257,-1183.2152 2567.6364,-1190.1585"/>
</g>
<!-- MCMP_PROC_SW_WPM_WaypointPlanManagerService -->
<g id="node8" class="node">
<title>MCMP_PROC_SW_WPM_WaypointPlanManagerService</title>
<polygon fill="none" stroke="#000000" points="3791,-397.9572 3791,-421.9572 4325,-421.9572 4325,-397.9572 3791,-397.9572"/>
<text text-anchor="start" x="3855" y="-407.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">MCMP_PROC_SW_WPM_WaypointPlanManagerService</text>
<polygon fill="none" stroke="#000000" points="3791,-373.9572 3791,-397.9572 4325,-397.9572 4325,-373.9572 3791,-373.9572"/>
<text text-anchor="start" x="3794" y="-383.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="4104" y="-383.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AutomationResponse_queue</text>
<polygon fill="none" stroke="#000000" points="3791,-349.9572 3791,-373.9572 4325,-373.9572 4325,-349.9572 3791,-349.9572"/>
<text text-anchor="start" x="3813.5" y="-359.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="4123.5" y="-359.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AirVehicleState_queue</text>
<polygon fill="none" stroke="#000000" points="3791,-325.9572 3791,-349.9572 4325,-349.9572 4325,-325.9572 3791,-325.9572"/>
<text text-anchor="start" x="3795.5" y="-335.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="4105.5" y="-335.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_MissionCommand_queue_1</text>
<polygon fill="none" stroke="#000000" points="3791,-301.9572 3791,-325.9572 4325,-325.9572 4325,-301.9572 3791,-301.9572"/>
<text text-anchor="start" x="3878" y="-311.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_event_counter_t </text>
<text text-anchor="start" x="4065" y="-311.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_ReturnHome_counter</text>
<polygon fill="none" stroke="#000000" points="3791,-277.9572 3791,-301.9572 4325,-301.9572 4325,-277.9572 3791,-277.9572"/>
<text text-anchor="start" x="3866.5" y="-287.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="3996.5" y="-287.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_MissionCommand_1_notification</text>
<polygon fill="none" stroke="#000000" points="3791,-253.9572 3791,-277.9572 4325,-277.9572 4325,-253.9572 3791,-253.9572"/>
<text text-anchor="start" x="3850.5" y="-263.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="4009.5" y="-263.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AutomationResponse_notification</text>
<polygon fill="none" stroke="#000000" points="3791,-229.9572 3791,-253.9572 4325,-253.9572 4325,-229.9572 3791,-229.9572"/>
<text text-anchor="start" x="3870" y="-239.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="4029" y="-239.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AirVehicleState_notification</text>
<polygon fill="none" stroke="#000000" points="3791,-205.9572 3791,-229.9572 4325,-229.9572 4325,-205.9572 3791,-205.9572"/>
<text text-anchor="start" x="3922" y="-215.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="4081" y="-215.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_ReturnHome</text>
<polygon fill="none" stroke="#000000" points="3791,-181.9572 3791,-205.9572 4325,-205.9572 4325,-181.9572 3791,-181.9572"/>
<text text-anchor="start" x="3927.5" y="-191.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes Period </text>
<text text-anchor="start" x="4040.5" y="-191.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_pacer_notification</text>
</g>
<!-- MCMP_PROC_SW_FC_UART_UARTDriver&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService -->
<g id="conn3" class="edge">
<title>MCMP_PROC_SW_FC_UART_UARTDriver:sb_AirVehicleState_WPM_1_notification&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService:sb_AirVehicleState_notification</title>
<path fill="none" stroke="#0000ff" d="M1291.5,-463.9572C1319.3169,-463.9572 1310.0683,-431.2937 1335,-418.9572 2108.6667,-36.1396 2402.27,-243.265 3264,-192.9572 3478.3018,-180.4463 3550.9513,-105.5119 3747,-192.9572 3769.9718,-203.2035 3764.3398,-232.0267 3780.8779,-239.9306"/>
<polygon fill="#0000ff" stroke="#0000ff" points="3780.5075,-243.4259 3791,-241.9572 3781.8817,-236.5621 3780.5075,-243.4259"/>
</g>
<!-- MCMP_PROC_SW_FC_UART_UARTDriver&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService -->
<g id="conn4" class="edge">
<title>MCMP_PROC_SW_FC_UART_UARTDriver:sb_AirVehicleState_WPM_queue_1&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService:sb_AirVehicleState_queue</title>
<path fill="none" stroke="#ff0000" d="M1291.5,-511.9572C1735.948,-511.9572 1847.052,-515.9572 2291.5,-515.9572 2291.5,-515.9572 2291.5,-515.9572 2899,-515.9572 3087.5199,-515.9572 3595.3809,-603.9902 3747,-491.9572 3792.9918,-457.9734 3737.8098,-373.4514 3780.9928,-363.0189"/>
<polygon fill="#ff0000" stroke="#ff0000" points="3781.4251,-366.4928 3791,-361.9572 3780.6865,-359.5319 3781.4251,-366.4928"/>
</g>
<!-- vmRADIO -->
<g id="node2" class="node">
<title>vmRADIO</title>
<polygon fill="none" stroke="#000000" points="738.5,-1215.9572 738.5,-1239.9572 1280.5,-1239.9572 1280.5,-1215.9572 738.5,-1215.9572"/>
<text text-anchor="start" x="972" y="-1225.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">vmRADIO</text>
<polygon fill="none" stroke="#000000" points="738.5,-1191.9572 738.5,-1215.9572 1280.5,-1215.9572 1280.5,-1191.9572 738.5,-1191.9572"/>
<text text-anchor="start" x="772" y="-1201.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1082" y="-1201.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_trusted_ids_queue_1</text>
<polygon fill="none" stroke="#000000" points="738.5,-1167.9572 738.5,-1191.9572 1280.5,-1191.9572 1280.5,-1167.9572 738.5,-1167.9572"/>
<text text-anchor="start" x="741.5" y="-1177.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1051.5" y="-1177.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AutomationRequest_queue_1</text>
<polygon fill="none" stroke="#000000" points="738.5,-1143.9572 738.5,-1167.9572 1280.5,-1167.9572 1280.5,-1143.9572 738.5,-1143.9572"/>
<text text-anchor="start" x="750.5" y="-1153.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1060.5" y="-1153.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_OperatingRegion_queue_1</text>
<polygon fill="none" stroke="#000000" points="738.5,-1119.9572 738.5,-1143.9572 1280.5,-1143.9572 1280.5,-1119.9572 738.5,-1119.9572"/>
<text text-anchor="start" x="754.5" y="-1129.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1064.5" y="-1129.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_LineSearchTask_queue_1</text>
<polygon fill="none" stroke="#000000" points="738.5,-1095.9572 738.5,-1119.9572 1280.5,-1119.9572 1280.5,-1095.9572 738.5,-1095.9572"/>
<text text-anchor="start" x="829.5" y="-1105.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_int8_t_1_t </text>
<text text-anchor="start" x="1026.5" y="-1105.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_pacer_period_queue</text>
<polygon fill="none" stroke="#000000" points="738.5,-1071.9572 738.5,-1095.9572 1280.5,-1095.9572 1280.5,-1071.9572 738.5,-1071.9572"/>
<text text-anchor="start" x="832" y="-1081.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits HaveNotification </text>
<text text-anchor="start" x="985" y="-1081.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">notification_ready_connector</text>
<polygon fill="none" stroke="#000000" points="738.5,-1047.9572 738.5,-1071.9572 1280.5,-1071.9572 1280.5,-1047.9572 738.5,-1047.9572"/>
<text text-anchor="start" x="843" y="-1057.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="973" y="-1057.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_trusted_ids_1_notification</text>
<polygon fill="none" stroke="#000000" points="738.5,-1023.9572 738.5,-1047.9572 1280.5,-1047.9572 1280.5,-1023.9572 738.5,-1023.9572"/>
<text text-anchor="start" x="812.5" y="-1033.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="942.5" y="-1033.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AutomationRequest_1_notification</text>
<polygon fill="none" stroke="#000000" points="738.5,-999.9572 738.5,-1023.9572 1280.5,-1023.9572 1280.5,-999.9572 738.5,-999.9572"/>
<text text-anchor="start" x="821.5" y="-1009.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="951.5" y="-1009.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_OperatingRegion_1_notification</text>
<polygon fill="none" stroke="#000000" points="738.5,-975.9572 738.5,-999.9572 1280.5,-999.9572 1280.5,-975.9572 738.5,-975.9572"/>
<text text-anchor="start" x="825.5" y="-985.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="955.5" y="-985.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_LineSearchTask_1_notification</text>
<polygon fill="none" stroke="#000000" points="738.5,-951.9572 738.5,-975.9572 1280.5,-975.9572 1280.5,-951.9572 738.5,-951.9572"/>
<text text-anchor="start" x="925" y="-961.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses FileServerInterface </text>
<text text-anchor="start" x="1082" y="-961.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">fs</text>
<polygon fill="none" stroke="#000000" points="738.5,-927.9572 738.5,-951.9572 1280.5,-951.9572 1280.5,-927.9572 738.5,-927.9572"/>
<text text-anchor="start" x="954" y="-937.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses Batch </text>
<text text-anchor="start" x="1026" y="-937.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">batch</text>
<polygon fill="none" stroke="#000000" points="738.5,-903.9572 738.5,-927.9572 1280.5,-927.9572 1280.5,-903.9572 738.5,-903.9572"/>
<text text-anchor="start" x="916.5" y="-913.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses PutChar </text>
<text text-anchor="start" x="1004.5" y="-913.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">guest_putchar</text>
<polygon fill="none" stroke="#000000" points="738.5,-879.9572 738.5,-903.9572 1280.5,-903.9572 1280.5,-879.9572 738.5,-879.9572"/>
<text text-anchor="start" x="917" y="-889.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses GetChar </text>
<text text-anchor="start" x="1005" y="-889.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">serial_getchar</text>
<polygon fill="none" stroke="#000000" points="738.5,-855.9572 738.5,-879.9572 1280.5,-879.9572 1280.5,-855.9572 738.5,-855.9572"/>
<text text-anchor="start" x="931" y="-865.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses VirtQueueDev </text>
<text text-anchor="start" x="1059" y="-865.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">recv</text>
<polygon fill="none" stroke="#000000" points="738.5,-831.9572 738.5,-855.9572 1280.5,-855.9572 1280.5,-831.9572 738.5,-831.9572"/>
<text text-anchor="start" x="930.5" y="-841.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses VirtQueueDrv </text>
<text text-anchor="start" x="1057.5" y="-841.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">send</text>
<polygon fill="none" stroke="#000000" points="738.5,-807.9572 738.5,-831.9572 1280.5,-831.9572 1280.5,-807.9572 738.5,-807.9572"/>
<text text-anchor="start" x="896.5" y="-817.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses VMDTBPassthrough </text>
<text text-anchor="start" x="1067.5" y="-817.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">dtb_self</text>
<polygon fill="none" stroke="#000000" points="738.5,-783.9572 738.5,-807.9572 1280.5,-807.9572 1280.5,-783.9572 738.5,-783.9572"/>
<text text-anchor="start" x="909.5" y="-793.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes restart </text>
<text text-anchor="start" x="1019.5" y="-793.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">restart_event</text>
<polygon fill="none" stroke="#000000" points="738.5,-759.9572 738.5,-783.9572 1280.5,-783.9572 1280.5,-759.9572 738.5,-759.9572"/>
<text text-anchor="start" x="855.5" y="-769.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes HaveNotification </text>
<text text-anchor="start" x="1036.5" y="-769.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">notification_ready</text>
<polygon fill="none" stroke="#000000" points="738.5,-735.9572 738.5,-759.9572 1280.5,-759.9572 1280.5,-735.9572 738.5,-735.9572"/>
<text text-anchor="start" x="835.5" y="-745.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes Period_VM </text>
<text text-anchor="start" x="982.5" y="-745.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_pacer_period_notification</text>
<polygon fill="none" stroke="#000000" points="738.5,-711.9572 738.5,-735.9572 1280.5,-735.9572 1280.5,-711.9572 738.5,-711.9572"/>
<text text-anchor="start" x="898" y="-721.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">provides VMDTBPassthrough </text>
<text text-anchor="start" x="1097" y="-721.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ffa500">dtb</text>
</g>
<!-- vmRADIO&#45;&gt;vmRADIO -->
<g id="conn1" class="edge">
<title>vmRADIO:dtb_self&#45;&gt;vmRADIO:dtb</title>
<path fill="none" stroke="#ffff00" d="M738.4025,-823.3583C594.3694,-819.8194 463.5,-806.135 463.5,-771.9572 463.5,-738.5805 588.3068,-724.7478 728.2984,-720.8218"/>
<polygon fill="#ffff00" stroke="#ffff00" points="728.498,-724.3179 738.4025,-720.5561 728.3139,-717.3203 728.498,-724.3179"/>
</g>
<!-- vmRADIO&#45;&gt;vmRADIO -->
<g id="notify_ready_vmRADIO" class="edge">
<title>vmRADIO:notification_ready_connector&#45;&gt;vmRADIO:notification_ready</title>
<path fill="none" stroke="#c0c0c0" d="M738.4025,-1080.4261C594.3694,-1066.5056 463.5,-1026.8928 463.5,-927.9572 463.5,-831.3405 588.3068,-791.2983 728.2984,-776.51"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="728.8053,-779.9766 738.4025,-775.4884 728.1011,-773.0121 728.8053,-779.9766"/>
</g>
<!-- fserv -->
<g id="node3" class="node">
<title>fserv</title>
<polygon fill="none" stroke="#000000" points="3485.5,-1094.9572 3485.5,-1118.9572 3525.5,-1118.9572 3525.5,-1094.9572 3485.5,-1094.9572"/>
<text text-anchor="start" x="3488.5" y="-1104.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">fserv</text>
</g>
<!-- vmRADIO&#45;&gt;fserv -->
<g id="fsvmRADIO" class="edge">
<title>vmRADIO:fs&#45;&gt;fserv:fs_ctrl</title>
<path fill="none" stroke="#c0c0c0" d="M1280.5,-963.9572C1325.3762,-963.9572 1295.6244,-900.4848 1335,-878.9572 1467.199,-806.6809 1894.6824,-785.676 2013,-878.9572 2066.8396,-921.4042 2000.2185,-980.7824 2049,-1028.9572 2206.2668,-1184.2682 2372.7946,-987.7384 2534,-1138.9572 2575.232,-1177.635 2524.7198,-1227.1082 2570,-1260.9572 2628.5578,-1304.7319 3157.2222,-1279.2803 3228,-1260.9572 3325.6187,-1235.6856 3425.4853,-1167.8425 3474.4961,-1131.2112"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="3476.8931,-1133.7869 3482.7627,-1124.9666 3472.6738,-1128.2015 3476.8931,-1133.7869"/>
</g>
<!-- serial -->
<g id="node4" class="node">
<title>serial</title>
<polygon fill="none" stroke="#000000" points="3484.5,-733.9572 3484.5,-757.9572 3527.5,-757.9572 3527.5,-733.9572 3484.5,-733.9572"/>
<text text-anchor="start" x="3487.5" y="-743.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">serial</text>
</g>
<!-- vmRADIO&#45;&gt;serial -->
<g id="serial_vmRADIO" class="edge">
<title>vmRADIO:batch&#45;&gt;serial:processed_batch</title>
<path fill="none" stroke="#c0c0c0" d="M1280.5,-939.9572C1342.3309,-939.9572 1285.5114,-849.0239 1335,-811.9572 1456.4281,-721.0082 1863.3656,-756.9782 2013,-731.9572 2262.8604,-690.177 2318.1182,-638.0007 2570,-610.9572 2860.7733,-579.7382 2943.0178,-545.315 3228,-610.9572 3321.0852,-632.3983 3419.1143,-689.4569 3470.0486,-722.1202"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="3468.4068,-725.2268 3478.7025,-727.7268 3472.2129,-719.352 3468.4068,-725.2268"/>
</g>
<!-- vmRADIO&#45;&gt;serial -->
<g id="serial_input_vmRADIO" class="edge">
<title>vmRADIO:serial_getchar&#45;&gt;serial:getchar</title>
<path fill="none" stroke="#c0c0c0" d="M1280.5,-891.9572C1355.6233,-891.9572 1277.7943,-780.6502 1335,-731.9572 1545.7995,-552.5265 2293.3994,-580.0881 2570,-568.9572 2716.104,-563.0777 3087.6305,-528.0017 3228,-568.9572 3330.6744,-598.9145 3431.5521,-679.684 3478.3741,-720.9499"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="3476.1527,-723.6584 3485.9474,-727.6976 3480.8094,-718.432 3476.1527,-723.6584"/>
</g>
<!-- MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="node9" class="node">
<title>MCMP_PROC_SW_AM_Gate_CASE_AttestationGate</title>
<polygon fill="none" stroke="#000000" points="1343,-1299.9572 1343,-1323.9572 2005,-1323.9572 2005,-1299.9572 1343,-1299.9572"/>
<text text-anchor="start" x="1484" y="-1309.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">MCMP_PROC_SW_AM_Gate_CASE_AttestationGate</text>
<polygon fill="none" stroke="#000000" points="1343,-1275.9572 1343,-1299.9572 2005,-1299.9572 2005,-1275.9572 1343,-1275.9572"/>
<text text-anchor="start" x="1445" y="-1285.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1755" y="-1285.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_trusted_ids_queue</text>
<polygon fill="none" stroke="#000000" points="1343,-1251.9572 1343,-1275.9572 2005,-1275.9572 2005,-1251.9572 1343,-1251.9572"/>
<text text-anchor="start" x="1403.5" y="-1261.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1713.5" y="-1261.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AutomationRequest_in_queue</text>
<polygon fill="none" stroke="#000000" points="1343,-1227.9572 1343,-1251.9572 2005,-1251.9572 2005,-1227.9572 1343,-1227.9572"/>
<text text-anchor="start" x="1365.5" y="-1237.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1675.5" y="-1237.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AutomationRequest_out_UXAS_queue_1</text>
<polygon fill="none" stroke="#000000" points="1343,-1203.9572 1343,-1227.9572 2005,-1227.9572 2005,-1203.9572 1343,-1203.9572"/>
<text text-anchor="start" x="1346" y="-1213.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1656" y="-1213.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_AutomationRequest_out_MON_REQ_queue_1</text>
<polygon fill="none" stroke="#000000" points="1343,-1179.9572 1343,-1203.9572 2005,-1203.9572 2005,-1179.9572 1343,-1179.9572"/>
<text text-anchor="start" x="1412.5" y="-1189.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1722.5" y="-1189.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_OperatingRegion_in_queue</text>
<polygon fill="none" stroke="#000000" points="1343,-1155.9572 1343,-1179.9572 2005,-1179.9572 2005,-1155.9572 1343,-1155.9572"/>
<text text-anchor="start" x="1400" y="-1165.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1710" y="-1165.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_OperatingRegion_out_queue_1</text>
<polygon fill="none" stroke="#000000" points="1343,-1131.9572 1343,-1155.9572 2005,-1155.9572 2005,-1131.9572 1343,-1131.9572"/>
<text text-anchor="start" x="1416.5" y="-1141.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1726.5" y="-1141.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_LineSearchTask_in_queue</text>
<polygon fill="none" stroke="#000000" points="1343,-1107.9572 1343,-1131.9572 2005,-1131.9572 2005,-1107.9572 1343,-1107.9572"/>
<text text-anchor="start" x="1403.5" y="-1117.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="1713.5" y="-1117.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_LineSearchTask_out_queue_1</text>
<polygon fill="none" stroke="#000000" points="1343,-1083.9572 1343,-1107.9572 2005,-1107.9572 2005,-1083.9572 1343,-1083.9572"/>
<text text-anchor="start" x="1436" y="-1093.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="1566" y="-1093.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AutomationRequest_out_UXAS_1_notification</text>
<polygon fill="none" stroke="#000000" points="1343,-1059.9572 1343,-1083.9572 2005,-1083.9572 2005,-1059.9572 1343,-1059.9572"/>
<text text-anchor="start" x="1416.5" y="-1069.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="1546.5" y="-1069.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AutomationRequest_out_MON_REQ_1_notification</text>
<polygon fill="none" stroke="#000000" points="1343,-1035.9572 1343,-1059.9572 2005,-1059.9572 2005,-1035.9572 1343,-1035.9572"/>
<text text-anchor="start" x="1470.5" y="-1045.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="1600.5" y="-1045.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_OperatingRegion_out_1_notification</text>
<polygon fill="none" stroke="#000000" points="1343,-1011.9572 1343,-1035.9572 2005,-1035.9572 2005,-1011.9572 1343,-1011.9572"/>
<text text-anchor="start" x="1474.5" y="-1021.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="1604.5" y="-1021.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_LineSearchTask_out_1_notification</text>
<polygon fill="none" stroke="#000000" points="1343,-987.9572 1343,-1011.9572 2005,-1011.9572 2005,-987.9572 1343,-987.9572"/>
<text text-anchor="start" x="1501" y="-997.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="1660" y="-997.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_trusted_ids_notification</text>
<polygon fill="none" stroke="#000000" points="1343,-963.9572 1343,-987.9572 2005,-987.9572 2005,-963.9572 1343,-963.9572"/>
<text text-anchor="start" x="1460" y="-973.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="1619" y="-973.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_AutomationRequest_in_notification</text>
<polygon fill="none" stroke="#000000" points="1343,-939.9572 1343,-963.9572 2005,-963.9572 2005,-939.9572 1343,-939.9572"/>
<text text-anchor="start" x="1469" y="-949.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="1628" y="-949.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_OperatingRegion_in_notification</text>
<polygon fill="none" stroke="#000000" points="1343,-915.9572 1343,-939.9572 2005,-939.9572 2005,-915.9572 1343,-915.9572"/>
<text text-anchor="start" x="1472.5" y="-925.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="1631.5" y="-925.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_LineSearchTask_in_notification</text>
<polygon fill="none" stroke="#000000" points="1343,-891.9572 1343,-915.9572 2005,-915.9572 2005,-891.9572 1343,-891.9572"/>
<text text-anchor="start" x="1543.5" y="-901.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes Period </text>
<text text-anchor="start" x="1656.5" y="-901.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_pacer_notification</text>
</g>
<!-- vmRADIO&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="conn7" class="edge">
<title>vmRADIO:sb_trusted_ids_1_notification&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_trusted_ids_notification</title>
<path fill="none" stroke="#0000ff" d="M1280.5,-1059.9572C1315.0953,-1059.9572 1306.8948,-1011.5258 1332.7972,-1001.6882"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1333.7263,-1005.0807 1343,-999.9572 1332.5554,-998.1793 1333.7263,-1005.0807"/>
</g>
<!-- vmRADIO&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="conn8" class="edge">
<title>vmRADIO:sb_trusted_ids_queue_1&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_trusted_ids_queue</title>
<path fill="none" stroke="#ffc0cb" d="M1280.5,-1203.9572C1323.2165,-1203.9572 1300.9625,-1274.7412 1333.0197,-1286.3542"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="1332.5715,-1289.827 1343,-1287.9572 1333.6816,-1282.9156 1332.5715,-1289.827"/>
</g>
<!-- vmRADIO&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="conn9" class="edge">
<title>vmRADIO:sb_AutomationRequest_1_notification&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_AutomationRequest_in_notification</title>
<path fill="none" stroke="#0000ff" d="M1280.5,-1035.9572C1315.0953,-1035.9572 1306.8948,-987.5258 1332.7972,-977.6882"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1333.7263,-981.0807 1343,-975.9572 1332.5554,-974.1793 1333.7263,-981.0807"/>
</g>
<!-- vmRADIO&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="conn10" class="edge">
<title>vmRADIO:sb_AutomationRequest_queue_1&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_AutomationRequest_in_queue</title>
<path fill="none" stroke="#ffc0cb" d="M1280.5,-1179.9572C1323.2165,-1179.9572 1300.9625,-1250.7412 1333.0197,-1262.3542"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="1332.5715,-1265.827 1343,-1263.9572 1333.6816,-1258.9156 1332.5715,-1265.827"/>
</g>
<!-- vmRADIO&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="conn11" class="edge">
<title>vmRADIO:sb_OperatingRegion_1_notification&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_OperatingRegion_in_notification</title>
<path fill="none" stroke="#0000ff" d="M1280.5,-1011.9572C1315.0953,-1011.9572 1306.8948,-963.5258 1332.7972,-953.6882"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1333.7263,-957.0807 1343,-951.9572 1332.5554,-950.1793 1333.7263,-957.0807"/>
</g>
<!-- vmRADIO&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="conn12" class="edge">
<title>vmRADIO:sb_OperatingRegion_queue_1&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_OperatingRegion_in_queue</title>
<path fill="none" stroke="#ffc0cb" d="M1280.5,-1155.9572C1308.7997,-1155.9572 1310.8593,-1184.0141 1333.009,-1190.5899"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="1332.6178,-1194.0689 1343,-1191.9572 1333.5669,-1187.1336 1332.6178,-1194.0689"/>
</g>
<!-- vmRADIO&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="conn13" class="edge">
<title>vmRADIO:sb_LineSearchTask_1_notification&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_LineSearchTask_in_notification</title>
<path fill="none" stroke="#0000ff" d="M1280.5,-987.9572C1315.0953,-987.9572 1306.8948,-939.5258 1332.7972,-929.6882"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1333.7263,-933.0807 1343,-927.9572 1332.5554,-926.1793 1333.7263,-933.0807"/>
</g>
<!-- vmRADIO&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="conn14" class="edge">
<title>vmRADIO:sb_LineSearchTask_queue_1&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_LineSearchTask_in_queue</title>
<path fill="none" stroke="#ffc0cb" d="M1280.5,-1131.9572C1305.0285,-1131.9572 1312.7454,-1140.9814 1332.8084,-1143.3784"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="1332.8176,-1146.8845 1343,-1143.9572 1333.2146,-1139.8958 1332.8176,-1146.8845"/>
</g>
<!-- time_server -->
<g id="node5" class="node">
<title>time_server</title>
<polygon fill="none" stroke="#000000" points="4015,-733.9572 4015,-757.9572 4101,-757.9572 4101,-733.9572 4015,-733.9572"/>
<text text-anchor="start" x="4018" y="-743.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">time_server</text>
</g>
<!-- serial&#45;&gt;time_server -->
<g id="serialserver_timer" class="edge">
<title>serial:timeout&#45;&gt;time_server:the_timer</title>
<path fill="none" stroke="#00ff00" d="M3535.2048,-745.9572C3622.2343,-745.9572 3877.9303,-745.9572 3996.4205,-745.9572"/>
<polygon fill="#00ff00" stroke="#00ff00" points="3996.7656,-749.4573 4006.7656,-745.9572 3996.7656,-742.4573 3996.7656,-749.4573"/>
</g>
<!-- MCMP_PROC_SW_FlyZones_FlyZonesDatabase -->
<g id="node6" class="node">
<title>MCMP_PROC_SW_FlyZones_FlyZonesDatabase</title>
<polygon fill="none" stroke="#000000" points="2707,-421.9572 2707,-445.9572 3091,-445.9572 3091,-421.9572 2707,-421.9572"/>
<text text-anchor="start" x="2727.5" y="-431.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">MCMP_PROC_SW_FlyZones_FlyZonesDatabase</text>
<polygon fill="none" stroke="#000000" points="2707,-397.9572 2707,-421.9572 3091,-421.9572 3091,-397.9572 2707,-397.9572"/>
<text text-anchor="start" x="2714.5" y="-407.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sp_union_art_DataContent_t </text>
<text text-anchor="start" x="2961.5" y="-407.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_keep_in_zones</text>
<polygon fill="none" stroke="#000000" points="2707,-373.9572 2707,-397.9572 3091,-397.9572 3091,-373.9572 2707,-373.9572"/>
<text text-anchor="start" x="2710" y="-383.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sp_union_art_DataContent_t </text>
<text text-anchor="start" x="2957" y="-383.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_keep_out_zones</text>
<polygon fill="none" stroke="#000000" points="2707,-349.9572 2707,-373.9572 3091,-373.9572 3091,-349.9572 2707,-349.9572"/>
<text text-anchor="start" x="2768.5" y="-359.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes Period </text>
<text text-anchor="start" x="2881.5" y="-359.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_pacer_notification</text>
</g>
<!-- MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo -->
<g id="node12" class="node">
<title>MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo</title>
<polygon fill="none" stroke="#000000" points="3280.5,-421.9572 3280.5,-445.9572 3731.5,-445.9572 3731.5,-421.9572 3280.5,-421.9572"/>
<text text-anchor="start" x="3315.5" y="-431.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo</text>
<polygon fill="none" stroke="#000000" points="3280.5,-397.9572 3280.5,-421.9572 3731.5,-421.9572 3731.5,-397.9572 3280.5,-397.9572"/>
<text text-anchor="start" x="3321.5" y="-407.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sp_union_art_DataContent_t </text>
<text text-anchor="start" x="3568.5" y="-407.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_keep_in_zones</text>
<polygon fill="none" stroke="#000000" points="3280.5,-373.9572 3280.5,-397.9572 3731.5,-397.9572 3731.5,-373.9572 3280.5,-373.9572"/>
<text text-anchor="start" x="3317" y="-383.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sp_union_art_DataContent_t </text>
<text text-anchor="start" x="3564" y="-383.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_keep_out_zones</text>
<polygon fill="none" stroke="#000000" points="3280.5,-349.9572 3280.5,-373.9572 3731.5,-373.9572 3731.5,-349.9572 3280.5,-349.9572"/>
<text text-anchor="start" x="3284.5" y="-359.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="3594.5" y="-359.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_observed_queue</text>
<polygon fill="none" stroke="#000000" points="3280.5,-325.9572 3280.5,-349.9572 3731.5,-349.9572 3731.5,-325.9572 3280.5,-325.9572"/>
<text text-anchor="start" x="3283.5" y="-335.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="3593.5" y="-335.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_output_queue_1</text>
<polygon fill="none" stroke="#000000" points="3280.5,-301.9572 3280.5,-325.9572 3731.5,-325.9572 3731.5,-301.9572 3280.5,-301.9572"/>
<text text-anchor="start" x="3355" y="-311.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_event_counter_t </text>
<text text-anchor="start" x="3542" y="-311.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_alert_counter</text>
<polygon fill="none" stroke="#000000" points="3280.5,-277.9572 3280.5,-301.9572 3731.5,-301.9572 3731.5,-277.9572 3280.5,-277.9572"/>
<text text-anchor="start" x="3354.5" y="-287.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="3484.5" y="-287.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_output_1_notification</text>
<polygon fill="none" stroke="#000000" points="3280.5,-253.9572 3280.5,-277.9572 3731.5,-277.9572 3731.5,-253.9572 3280.5,-253.9572"/>
<text text-anchor="start" x="3413.5" y="-263.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="3543.5" y="-263.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_alert</text>
<polygon fill="none" stroke="#000000" points="3280.5,-229.9572 3280.5,-253.9572 3731.5,-253.9572 3731.5,-229.9572 3280.5,-229.9572"/>
<text text-anchor="start" x="3340.5" y="-239.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="3499.5" y="-239.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_observed_notification</text>
<polygon fill="none" stroke="#000000" points="3280.5,-205.9572 3280.5,-229.9572 3731.5,-229.9572 3731.5,-205.9572 3280.5,-205.9572"/>
<text text-anchor="start" x="3375.5" y="-215.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes Period </text>
<text text-anchor="start" x="3488.5" y="-215.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_pacer_notification</text>
</g>
<!-- MCMP_PROC_SW_FlyZones_FlyZonesDatabase&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo -->
<g id="conn15" class="edge">
<title>MCMP_PROC_SW_FlyZones_FlyZonesDatabase:sb_keep_in_zones&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo:sb_keep_in_zones</title>
<path fill="none" stroke="#ff0000" d="M3091,-409.9572C3171.7678,-409.9572 3194.4443,-409.9572 3270.4468,-409.9572"/>
<polygon fill="#ff0000" stroke="#ff0000" points="3270.5,-413.4573 3280.5,-409.9572 3270.5,-406.4573 3270.5,-413.4573"/>
</g>
<!-- MCMP_PROC_SW_FlyZones_FlyZonesDatabase&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo -->
<g id="conn16" class="edge">
<title>MCMP_PROC_SW_FlyZones_FlyZonesDatabase:sb_keep_out_zones&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo:sb_keep_out_zones</title>
<path fill="none" stroke="#ff0000" d="M3091,-385.9572C3171.7678,-385.9572 3194.4443,-385.9572 3270.4468,-385.9572"/>
<polygon fill="#ff0000" stroke="#ff0000" points="3270.5,-389.4573 3280.5,-385.9572 3270.5,-382.4573 3270.5,-389.4573"/>
</g>
<!-- vmUXAS&#45;&gt;fserv -->
<g id="fsvmUXAS" class="edge">
<title>vmUXAS:fs&#45;&gt;fserv:fs_ctrl</title>
<path fill="none" stroke="#c0c0c0" d="M3220,-971.9572C3322.1042,-971.9572 3426.7383,-1043.3965 3476.1902,-1082.3384"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="3474.2119,-1085.2379 3484.2075,-1088.7505 3478.584,-1079.7712 3474.2119,-1085.2379"/>
</g>
<!-- vmUXAS&#45;&gt;serial -->
<g id="serial_vmUXAS" class="edge">
<title>vmUXAS:batch&#45;&gt;serial:processed_batch</title>
<path fill="none" stroke="#c0c0c0" d="M3220,-947.9572C3340.1679,-947.9572 3445.1697,-827.227 3486.6337,-772.4382"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="3489.5727,-774.3514 3492.7355,-764.2397 3483.9573,-770.1721 3489.5727,-774.3514"/>
</g>
<!-- vmUXAS&#45;&gt;serial -->
<g id="serial_input_vmUXAS" class="edge">
<title>vmUXAS:serial_getchar&#45;&gt;serial:getchar</title>
<path fill="none" stroke="#c0c0c0" d="M3220,-899.9572C3327.2278,-899.9572 3432.8829,-814.7696 3479.9899,-771.1112"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="3482.4201,-773.6303 3487.3031,-764.2278 3477.6224,-768.5331 3482.4201,-773.6303"/>
</g>
<!-- vmUXAS&#45;&gt;vmUXAS -->
<g id="conn2" class="edge">
<title>vmUXAS:dtb_self&#45;&gt;vmUXAS:dtb</title>
<path fill="none" stroke="#ffff00" d="M2577.8811,-827.9077C2414.0743,-819.3773 2267,-793.9934 2267,-731.9572 2267,-671.1933 2408.1038,-645.5937 2567.8254,-636.553"/>
<polygon fill="#ffff00" stroke="#ffff00" points="2568.0857,-640.0441 2577.8811,-636.0067 2567.7059,-633.0544 2568.0857,-640.0441"/>
</g>
<!-- vmUXAS&#45;&gt;vmUXAS -->
<g id="notify_ready_vmUXAS" class="edge">
<title>vmUXAS:notification_ready_connector&#45;&gt;vmUXAS:notification_ready</title>
<path fill="none" stroke="#c0c0c0" d="M2577.8811,-1041.4414C2414.0743,-1029.3499 2267,-995.2629 2267,-911.9572 2267,-830.36 2408.1038,-795.9834 2567.8254,-783.2449"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="2568.1783,-786.7282 2577.8811,-782.473 2567.6425,-779.7487 2568.1783,-786.7282"/>
</g>
<!-- MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req -->
<g id="node11" class="node">
<title>MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req</title>
<polygon fill="none" stroke="#000000" points="3272.5,-1401.9572 3272.5,-1425.9572 3739.5,-1425.9572 3739.5,-1401.9572 3272.5,-1401.9572"/>
<text text-anchor="start" x="3316.5" y="-1411.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req</text>
<polygon fill="none" stroke="#000000" points="3272.5,-1377.9572 3272.5,-1401.9572 3739.5,-1401.9572 3739.5,-1377.9572 3272.5,-1377.9572"/>
<text text-anchor="start" x="3284.5" y="-1387.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="3594.5" y="-1387.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_observed_queue</text>
<polygon fill="none" stroke="#000000" points="3272.5,-1353.9572 3272.5,-1377.9572 3739.5,-1377.9572 3739.5,-1353.9572 3272.5,-1353.9572"/>
<text text-anchor="start" x="3275.5" y="-1363.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="3585.5" y="-1363.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_reference_1_queue</text>
<polygon fill="none" stroke="#000000" points="3272.5,-1329.9572 3272.5,-1353.9572 3739.5,-1353.9572 3739.5,-1329.9572 3272.5,-1329.9572"/>
<text text-anchor="start" x="3340.5" y="-1339.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="3499.5" y="-1339.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_observed_notification</text>
<polygon fill="none" stroke="#000000" points="3272.5,-1305.9572 3272.5,-1329.9572 3739.5,-1329.9572 3739.5,-1305.9572 3272.5,-1305.9572"/>
<text text-anchor="start" x="3332" y="-1315.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="3491" y="-1315.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_reference_1_notification</text>
<polygon fill="none" stroke="#000000" points="3272.5,-1281.9572 3272.5,-1305.9572 3739.5,-1305.9572 3739.5,-1281.9572 3272.5,-1281.9572"/>
<text text-anchor="start" x="3375.5" y="-1291.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes Period </text>
<text text-anchor="start" x="3488.5" y="-1291.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_pacer_notification</text>
</g>
<!-- vmUXAS&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req -->
<g id="conn19" class="edge">
<title>vmUXAS:sb_AutomationResponse_MON_REQ_1_notification&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req:sb_observed_notification</title>
<path fill="none" stroke="#0000ff" d="M3220,-995.9572C3294.1235,-995.9572 3203.9936,-1310.28 3262.7183,-1339.7477"/>
<polygon fill="#0000ff" stroke="#0000ff" points="3261.9746,-1343.1678 3272.5,-1341.9572 3263.5169,-1336.3399 3261.9746,-1343.1678"/>
</g>
<!-- vmUXAS&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req -->
<g id="conn20" class="edge">
<title>vmUXAS:sb_AutomationResponse_MON_REQ_queue_1&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req:sb_observed_queue</title>
<path fill="none" stroke="#ffc0cb" d="M3220,-1091.9572C3283.5648,-1091.9572 3213.7787,-1358.2547 3262.7582,-1387.381"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="3261.9375,-1390.7842 3272.5,-1389.9572 3263.7272,-1384.0169 3261.9375,-1390.7842"/>
</g>
<!-- vmUXAS&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo -->
<g id="conn17" class="edge">
<title>vmUXAS:sb_AutomationResponse_MON_GEO_1_notification&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo:sb_observed_notification</title>
<path fill="none" stroke="#0000ff" d="M3220,-1019.9572C3303.1491,-1019.9572 3202.721,-304.4687 3270.8111,-245.7763"/>
<polygon fill="#0000ff" stroke="#0000ff" points="3272.4801,-248.8806 3280.5,-241.9572 3269.9131,-242.3682 3272.4801,-248.8806"/>
</g>
<!-- vmUXAS&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo -->
<g id="conn18" class="edge">
<title>vmUXAS:sb_AutomationResponse_MON_GEO_queue_1&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo:sb_observed_queue</title>
<path fill="none" stroke="#ffc0cb" d="M3220,-1115.9572C3300.5998,-1115.9572 3204.9566,-422.5403 3271.099,-365.6585"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="3272.4774,-368.8774 3280.5,-361.9572 3269.913,-362.364 3272.4774,-368.8774"/>
</g>
<!-- MCMP_PROC_SW_WPM_WaypointPlanManagerService&#45;&gt;MCMP_PROC_SW_FC_UART_UARTDriver -->
<g id="conn21" class="edge">
<title>MCMP_PROC_SW_WPM_WaypointPlanManagerService:sb_MissionCommand_1_notification&#45;&gt;MCMP_PROC_SW_FC_UART_UARTDriver:sb_MissionCommand_notification</title>
<path fill="none" stroke="#0000ff" d="M3791,-289.9572C3743.6609,-289.9572 3786.5018,-219.0455 3747,-192.9572 3589.7143,-89.0807 3087.4917,-173.9572 2899,-173.9572 2291.5,-173.9572 2291.5,-173.9572 2291.5,-173.9572 2078.8932,-173.9572 1497.7202,-58.1223 1335,-194.9572 1261.2257,-256.9956 1382.0081,-404.4636 1301.7034,-415.3231"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1301.2636,-411.8436 1291.5,-415.9572 1301.6979,-418.8301 1301.2636,-411.8436"/>
</g>
<!-- MCMP_PROC_SW_WPM_WaypointPlanManagerService&#45;&gt;MCMP_PROC_SW_FC_UART_UARTDriver -->
<g id="conn22" class="edge">
<title>MCMP_PROC_SW_WPM_WaypointPlanManagerService:sb_MissionCommand_queue_1&#45;&gt;MCMP_PROC_SW_FC_UART_UARTDriver:sb_MissionCommand_queue</title>
<path fill="none" stroke="#ff0000" d="M3791,-337.9572C3733.777,-337.9572 3793.4988,-425.6057 3747,-458.9572 3670.4167,-513.8871 2993.2459,-477.9572 2899,-477.9572 2291.5,-477.9572 2291.5,-477.9572 2291.5,-477.9572 1866.1798,-477.9572 1741.1177,-381.6019 1335,-507.9572 1316.8192,-513.6138 1314.6863,-529.1038 1301.4324,-534.2614"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1300.7683,-530.8241 1291.5,-535.9572 1301.9464,-537.7242 1300.7683,-530.8241"/>
</g>
<!-- MCMP_PROC_SW_AM_Gate_CASE_AttestationGate&#45;&gt;vmUXAS -->
<g id="conn23" class="edge">
<title>MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_AutomationRequest_out_UXAS_1_notification&#45;&gt;vmUXAS:sb_AutomationRequest_notification</title>
<path fill="none" stroke="#c0c0c0" d="M2005,-1095.9572C2240.5962,-1095.9572 2360.9893,-1221.8725 2534,-1061.9572 2581.6906,-1017.8764 2517.1444,-783.6895 2567.9756,-758.2071"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="2569.0092,-761.5623 2578,-755.9572 2567.4762,-754.7322 2569.0092,-761.5623"/>
</g>
<!-- MCMP_PROC_SW_AM_Gate_CASE_AttestationGate&#45;&gt;vmUXAS -->
<g id="conn24" class="edge">
<title>MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_AutomationRequest_out_UXAS_queue_1&#45;&gt;vmUXAS:sb_AutomationRequest_queue</title>
<path fill="none" stroke="#ffc0cb" d="M2005,-1239.9572C2240.353,-1239.9572 2299.191,-1231.9486 2534,-1215.9572 2549.7645,-1214.8836 2555.9341,-1212.9478 2567.9742,-1212.2325"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="2568.0999,-1215.7305 2578,-1211.9572 2567.9077,-1208.7331 2568.0999,-1215.7305"/>
</g>
<!-- MCMP_PROC_SW_AM_Gate_CASE_AttestationGate&#45;&gt;vmUXAS -->
<g id="conn27" class="edge">
<title>MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_OperatingRegion_out_1_notification&#45;&gt;vmUXAS:sb_OperatingRegion_notification</title>
<path fill="none" stroke="#c0c0c0" d="M2005,-1047.9572C2063.8157,-1047.9572 2490.3781,-1068.4086 2534,-1028.9572 2584.6889,-983.1145 2513.9193,-735.0751 2568.1802,-710.0018"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="2568.9234,-713.4222 2578,-707.9572 2567.4965,-706.5692 2568.9234,-713.4222"/>
</g>
<!-- MCMP_PROC_SW_AM_Gate_CASE_AttestationGate&#45;&gt;vmUXAS -->
<g id="conn28" class="edge">
<title>MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_OperatingRegion_out_queue_1&#45;&gt;vmUXAS:sb_OperatingRegion_queue</title>
<path fill="none" stroke="#ffc0cb" d="M2005,-1167.9572C2256.191,-1167.9572 2321.5509,-1164.0659 2567.6606,-1163.9594"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="2568.0008,-1167.4595 2578,-1163.9572 2567.9992,-1160.4595 2568.0008,-1167.4595"/>
</g>
<!-- MCMP_PROC_SW_FLT_LST_CASE_Filter_LST -->
<g id="node10" class="node">
<title>MCMP_PROC_SW_FLT_LST_CASE_Filter_LST</title>
<polygon fill="none" stroke="#000000" points="2057.5,-991.9572 2057.5,-1015.9572 2526.5,-1015.9572 2526.5,-991.9572 2057.5,-991.9572"/>
<text text-anchor="start" x="2117.5" y="-1001.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">MCMP_PROC_SW_FLT_LST_CASE_Filter_LST</text>
<polygon fill="none" stroke="#000000" points="2057.5,-967.9572 2057.5,-991.9572 2526.5,-991.9572 2526.5,-967.9572 2057.5,-967.9572"/>
<text text-anchor="start" x="2073.5" y="-977.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="2383.5" y="-977.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_filter_in_queue</text>
<polygon fill="none" stroke="#000000" points="2057.5,-943.9572 2057.5,-967.9572 2526.5,-967.9572 2526.5,-943.9572 2057.5,-943.9572"/>
<text text-anchor="start" x="2060.5" y="-953.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_union_art_DataContent_1_t </text>
<text text-anchor="start" x="2370.5" y="-953.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">sb_filter_out_queue_1</text>
<polygon fill="none" stroke="#000000" points="2057.5,-919.9572 2057.5,-943.9572 2526.5,-943.9572 2526.5,-919.9572 2057.5,-919.9572"/>
<text text-anchor="start" x="2131.5" y="-929.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits ReceiveEvent </text>
<text text-anchor="start" x="2261.5" y="-929.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_filter_out_1_notification</text>
<polygon fill="none" stroke="#000000" points="2057.5,-895.9572 2057.5,-919.9572 2526.5,-919.9572 2526.5,-895.9572 2057.5,-895.9572"/>
<text text-anchor="start" x="2129.5" y="-905.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes ReceiveEvent </text>
<text text-anchor="start" x="2288.5" y="-905.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_filter_in_notification</text>
<polygon fill="none" stroke="#000000" points="2057.5,-871.9572 2057.5,-895.9572 2526.5,-895.9572 2526.5,-871.9572 2057.5,-871.9572"/>
<text text-anchor="start" x="2161.5" y="-881.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes Period </text>
<text text-anchor="start" x="2274.5" y="-881.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">sb_pacer_notification</text>
</g>
<!-- MCMP_PROC_SW_AM_Gate_CASE_AttestationGate&#45;&gt;MCMP_PROC_SW_FLT_LST_CASE_Filter_LST -->
<g id="conn29" class="edge">
<title>MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_LineSearchTask_out_1_notification&#45;&gt;MCMP_PROC_SW_FLT_LST_CASE_Filter_LST:sb_filter_in_notification</title>
<path fill="none" stroke="#0000ff" d="M2005,-1023.9572C2057.6109,-1023.9572 2008.8634,-923.6962 2047.2208,-909.597"/>
<polygon fill="#0000ff" stroke="#0000ff" points="2048.1763,-912.989 2057.5,-907.9572 2047.0735,-906.0764 2048.1763,-912.989"/>
</g>
<!-- MCMP_PROC_SW_AM_Gate_CASE_AttestationGate&#45;&gt;MCMP_PROC_SW_FLT_LST_CASE_Filter_LST -->
<g id="conn30" class="edge">
<title>MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_LineSearchTask_out_queue_1&#45;&gt;MCMP_PROC_SW_FLT_LST_CASE_Filter_LST:sb_filter_in_queue</title>
<path fill="none" stroke="#ff0000" d="M2005,-1119.9572C2067.6894,-1119.9572 1999.6841,-995.3675 2047.5682,-981.2538"/>
<polygon fill="#ff0000" stroke="#ff0000" points="2048.0372,-984.7223 2057.5,-979.9572 2047.131,-977.7812 2048.0372,-984.7223"/>
</g>
<!-- MCMP_PROC_SW_AM_Gate_CASE_AttestationGate&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req -->
<g id="conn25" class="edge">
<title>MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_AutomationRequest_out_MON_REQ_1_notification&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req:sb_reference_1_notification</title>
<path fill="none" stroke="#0000ff" d="M2005,-1071.9572C2040.6249,-1071.9572 2020.4135,-1117.6982 2049,-1138.9572 2242.8556,-1283.1226 2331.5641,-1255.0728 2570,-1293.9572 2874.8685,-1343.6756 2958.2305,-1318.5379 3262.0613,-1317.967"/>
<polygon fill="#0000ff" stroke="#0000ff" points="3262.5033,-1321.4667 3272.5,-1317.9572 3262.4967,-1314.4667 3262.5033,-1321.4667"/>
</g>
<!-- MCMP_PROC_SW_AM_Gate_CASE_AttestationGate&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req -->
<g id="conn26" class="edge">
<title>MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_AutomationRequest_out_MON_REQ_queue_1&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req:sb_reference_1_queue</title>
<path fill="none" stroke="#ff0000" d="M2005,-1215.9572C2027.4917,-1215.9572 2027.769,-1233.5329 2049,-1240.9572 2270.2672,-1318.333 2336.9755,-1297.5458 2570,-1322.9572 2877.6226,-1356.5037 2957.9752,-1365.7591 3262.4998,-1365.9541"/>
<polygon fill="#ff0000" stroke="#ff0000" points="3262.4989,-1369.454 3272.5,-1365.9572 3262.5011,-1362.454 3262.4989,-1369.454"/>
</g>
<!-- MCMP_PROC_SW_FLT_LST_CASE_Filter_LST&#45;&gt;vmUXAS -->
<g id="conn31" class="edge">
<title>MCMP_PROC_SW_FLT_LST_CASE_Filter_LST:sb_filter_out_1_notification&#45;&gt;vmUXAS:sb_LineSearchTask_notification</title>
<path fill="none" stroke="#c0c0c0" d="M2526.5,-931.9572C2635.4458,-931.9572 2476.3212,-699.684 2567.989,-684.7133"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="2568.292,-688.2005 2578,-683.9572 2567.7648,-681.2204 2568.292,-688.2005"/>
</g>
<!-- MCMP_PROC_SW_FLT_LST_CASE_Filter_LST&#45;&gt;vmUXAS -->
<g id="conn32" class="edge">
<title>MCMP_PROC_SW_FLT_LST_CASE_Filter_LST:sb_filter_out_queue_1&#45;&gt;vmUXAS:sb_LineSearchTask_queue</title>
<path fill="none" stroke="#ffc0cb" d="M2526.5,-955.9572C2607.6058,-955.9572 2503.3015,-1123.7973 2567.7493,-1138.8767"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="2567.6882,-1142.3895 2578,-1139.9572 2568.422,-1135.4281 2567.6882,-1142.3895"/>
</g>
<!-- MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService -->
<g id="conn33" class="edge">
<title>MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo:sb_output_1_notification&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService:sb_AutomationResponse_notification</title>
<path fill="none" stroke="#0000ff" d="M3731.5,-289.9572C3756.2276,-289.9572 3761.3697,-271.9089 3780.8948,-267.1148"/>
<polygon fill="#0000ff" stroke="#0000ff" points="3781.4633,-270.5727 3791,-265.9572 3780.6666,-263.6181 3781.4633,-270.5727"/>
</g>
<!-- MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService -->
<g id="conn34" class="edge">
<title>MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo:sb_output_queue_1&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService:sb_AutomationResponse_queue</title>
<path fill="none" stroke="#ff0000" d="M3731.5,-337.9572C3761.6278,-337.9572 3758.394,-375.6982 3780.9633,-384.2489"/>
<polygon fill="#ff0000" stroke="#ff0000" points="3780.5545,-387.7296 3791,-385.9572 3781.7291,-380.8288 3780.5545,-387.7296"/>
</g>
<!-- MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService -->
<g id="conn35" class="edge">
<title>MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo:sb_alert&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService:sb_ReturnHome</title>
<path fill="none" stroke="#0000ff" d="M3731.5,-265.9572C3761.6278,-265.9572 3758.394,-228.2163 3780.9633,-219.6656"/>
<polygon fill="#0000ff" stroke="#0000ff" points="3781.7291,-223.0857 3791,-217.9572 3780.5545,-216.1849 3781.7291,-223.0857"/>
</g>
<!-- MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService -->
<g id="conn36" class="edge">
<title>MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo:sb_alert_counter&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService:sb_ReturnHome_counter</title>
<path fill="none" stroke="#ff0000" d="M3731.5,-313.9572C3754.2257,-313.9572 3762.304,-313.9572 3780.9101,-313.9572"/>
<polygon fill="#ff0000" stroke="#ff0000" points="3781,-317.4573 3791,-313.9572 3781,-310.4573 3781,-317.4573"/>
</g>
<!-- pacer -->
<g id="node13" class="node">
<title>pacer</title>
<polygon fill="none" stroke="#000000" points="275.5,-749.9572 275.5,-773.9572 676.5,-773.9572 676.5,-749.9572 275.5,-749.9572"/>
<text text-anchor="start" x="457" y="-759.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">pacer</text>
<polygon fill="none" stroke="#000000" points="275.5,-725.9572 275.5,-749.9572 676.5,-749.9572 676.5,-725.9572 275.5,-725.9572"/>
<text text-anchor="start" x="278.5" y="-735.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_int8_t_1_t </text>
<text text-anchor="start" x="475.5" y="-735.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">period_to_vmRADIO_queue</text>
<polygon fill="none" stroke="#000000" points="275.5,-701.9572 275.5,-725.9572 676.5,-725.9572 676.5,-701.9572 275.5,-701.9572"/>
<text text-anchor="start" x="283.5" y="-711.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport sb_queue_int8_t_1_t </text>
<text text-anchor="start" x="480.5" y="-711.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#ff0000">period_to_vmUXAS_queue</text>
<polygon fill="none" stroke="#000000" points="275.5,-677.9572 275.5,-701.9572 676.5,-701.9572 676.5,-677.9572 275.5,-677.9572"/>
<text text-anchor="start" x="299" y="-687.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits Period_VM </text>
<text text-anchor="start" x="417" y="-687.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">period_to_vmRADIO_notification</text>
<polygon fill="none" stroke="#000000" points="275.5,-653.9572 275.5,-677.9572 676.5,-677.9572 676.5,-653.9572 275.5,-653.9572"/>
<text text-anchor="start" x="304" y="-663.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits Period_VM </text>
<text text-anchor="start" x="422" y="-663.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">period_to_vmUXAS_notification</text>
<polygon fill="none" stroke="#000000" points="275.5,-629.9572 275.5,-653.9572 676.5,-653.9572 676.5,-629.9572 275.5,-629.9572"/>
<text text-anchor="start" x="411" y="-639.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits Period </text>
<text text-anchor="start" x="496" y="-639.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">period</text>
<polygon fill="none" stroke="#000000" points="275.5,-605.9572 275.5,-629.9572 676.5,-629.9572 676.5,-605.9572 275.5,-605.9572"/>
<text text-anchor="start" x="410.5" y="-615.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits TickTock </text>
<text text-anchor="start" x="515.5" y="-615.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">tick</text>
<polygon fill="none" stroke="#000000" points="275.5,-581.9572 275.5,-605.9572 676.5,-605.9572 676.5,-581.9572 275.5,-581.9572"/>
<text text-anchor="start" x="394.5" y="-591.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes TickTock </text>
<text text-anchor="start" x="527.5" y="-591.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#0000ff">tock</text>
</g>
<!-- pacer&#45;&gt;MCMP_PROC_SW_FC_UART_UARTDriver -->
<g id="conn38" class="edge">
<title>pacer:period&#45;&gt;MCMP_PROC_SW_FC_UART_UARTDriver:sb_pacer_notification</title>
<path fill="none" stroke="#0000ff" d="M676.5,-641.9572C786.3319,-641.9572 625.9891,-407.8109 718.4074,-392.7194"/>
<polygon fill="#0000ff" stroke="#0000ff" points="718.792,-396.2004 728.5,-391.9572 718.2648,-389.2203 718.792,-396.2004"/>
</g>
<!-- pacer&#45;&gt;vmRADIO -->
<g id="conn39" class="edge">
<title>pacer:period_to_vmRADIO_notification&#45;&gt;vmRADIO:sb_pacer_period_notification</title>
<path fill="none" stroke="#c0c0c0" d="M676.5,-689.9572C710.401,-689.9572 702.974,-736.7742 728.4802,-746.2839"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="728.0601,-749.7622 738.5,-747.9572 729.2131,-742.8578 728.0601,-749.7622"/>
</g>
<!-- pacer&#45;&gt;vmRADIO -->
<g id="conn40" class="edge">
<title>pacer:period_to_vmRADIO_queue&#45;&gt;vmRADIO:sb_pacer_period_queue</title>
<path fill="none" stroke="#ffc0cb" d="M676.5,-737.9572C756.1235,-737.9572 664.1618,-1075.4617 728.3695,-1105.7844"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="727.9883,-1109.2821 738.5,-1107.9572 729.4564,-1102.4378 727.9883,-1109.2821"/>
</g>
<!-- pacer&#45;&gt;MCMP_PROC_SW_FlyZones_FlyZonesDatabase -->
<g id="conn41" class="edge">
<title>pacer:period&#45;&gt;MCMP_PROC_SW_FlyZones_FlyZonesDatabase:sb_pacer_notification</title>
<path fill="none" stroke="#0000ff" d="M676.5,-641.9572C738.3709,-641.9572 673.0075,-407.203 720,-366.9572 1052.8349,-81.9074 2247.1767,-357.7179 2696.8431,-361.9091"/>
<polygon fill="#0000ff" stroke="#0000ff" points="2696.9835,-365.4097 2707,-361.9572 2697.0167,-358.4098 2696.9835,-365.4097"/>
</g>
<!-- pacer&#45;&gt;vmUXAS -->
<g id="conn42" class="edge">
<title>pacer:period_to_vmUXAS_notification&#45;&gt;vmUXAS:sb_pacer_period_notification</title>
<path fill="none" stroke="#c0c0c0" d="M676.5,-665.9572C1518.2109,-665.9572 1731.1723,-660.0055 2567.8176,-659.9575"/>
<polygon fill="#c0c0c0" stroke="#c0c0c0" points="2568.0001,-663.4576 2578,-659.9572 2567.9999,-656.4576 2568.0001,-663.4576"/>
</g>
<!-- pacer&#45;&gt;vmUXAS -->
<g id="conn43" class="edge">
<title>pacer:period_to_vmUXAS_queue&#45;&gt;vmUXAS:sb_pacer_period_queue</title>
<path fill="none" stroke="#ffc0cb" d="M676.5,-713.9572C736.5836,-713.9572 678.7783,-1209.2444 720,-1252.9572 1115.0936,-1671.9282 1439.5104,-1389.3521 2013,-1336.9572 2247.4771,-1315.535 2362.0392,-1401.7922 2534,-1240.9572 2589.2266,-1189.3038 2507.0759,-1078.9533 2567.9478,-1068.7215"/>
<polygon fill="#ffc0cb" stroke="#ffc0cb" points="2568.2941,-1072.2053 2578,-1067.9572 2567.7634,-1065.2255 2568.2941,-1072.2053"/>
</g>
<!-- pacer&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService -->
<g id="conn44" class="edge">
<title>pacer:period&#45;&gt;MCMP_PROC_SW_WPM_WaypointPlanManagerService:sb_pacer_notification</title>
<path fill="none" stroke="#0000ff" d="M676.5,-641.9572C787.5881,-641.9572 639.9342,-220.9639 720,-143.9572 1025.9496,150.3026 1249.5074,-97.9572 1674,-97.9572 1674,-97.9572 1674,-97.9572 2899,-97.9572 3276.5435,-97.9572 3404.3401,10.546 3747,-147.9572 3769.0664,-158.1644 3764.8075,-184.8002 3781.1289,-192.0896"/>
<polygon fill="#0000ff" stroke="#0000ff" points="3780.5236,-195.5371 3791,-193.9572 3781.825,-188.6591 3780.5236,-195.5371"/>
</g>
<!-- pacer&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate -->
<g id="conn45" class="edge">
<title>pacer:period&#45;&gt;MCMP_PROC_SW_AM_Gate_CASE_AttestationGate:sb_pacer_notification</title>
<path fill="none" stroke="#0000ff" d="M676.5,-641.9572C815.412,-641.9572 1195.0558,-606.8043 1299,-698.9572 1365.8687,-758.2405 1259.2513,-892.3488 1332.5765,-903.2501"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1332.786,-906.7723 1343,-903.9572 1333.2599,-899.7883 1332.786,-906.7723"/>
</g>
<!-- pacer&#45;&gt;MCMP_PROC_SW_FLT_LST_CASE_Filter_LST -->
<g id="conn46" class="edge">
<title>pacer:period&#45;&gt;MCMP_PROC_SW_FLT_LST_CASE_Filter_LST:sb_pacer_notification</title>
<path fill="none" stroke="#0000ff" d="M676.5,-641.9572C696.4419,-641.9572 700.2108,-633.4205 720,-630.9572 975.3626,-599.1703 1053.4273,-554.0516 1299,-630.9572 1317.5894,-636.7788 1317.3766,-647.6582 1335,-655.9572 1618.1204,-789.282 1736.8811,-698.6786 2013,-845.9572 2032.3618,-856.2846 2032.2156,-876.2373 2047.3193,-882.2203"/>
<polygon fill="#0000ff" stroke="#0000ff" points="2047.0538,-885.7255 2057.5,-883.9572 2048.2311,-878.8252 2047.0538,-885.7255"/>
</g>
<!-- pacer&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req -->
<g id="conn47" class="edge">
<title>pacer:period&#45;&gt;MCMP_PROC_SW_MON_REQ_CASE_Monitor_Req:sb_pacer_notification</title>
<path fill="none" stroke="#0000ff" d="M676.5,-641.9572C744.5607,-641.9572 673.4549,-1203.3003 720,-1252.9572 1011.6488,-1564.1044 1247.5359,-1355.9572 1674,-1355.9572 1674,-1355.9572 1674,-1355.9572 2291.5,-1355.9572 2707.9806,-1355.9572 2830.9157,-1448.576 3228,-1322.9572 3246.639,-1317.0607 3248.7355,-1301.0424 3262.3124,-1295.7102"/>
<polygon fill="#0000ff" stroke="#0000ff" points="3263.2384,-1299.1024 3272.5,-1293.9572 3262.0513,-1292.2038 3263.2384,-1299.1024"/>
</g>
<!-- pacer&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo -->
<g id="conn48" class="edge">
<title>pacer:period&#45;&gt;MCMP_PROC_SW_MON_GEO_CASE_Monitor_Geo:sb_pacer_notification</title>
<path fill="none" stroke="#0000ff" d="M676.5,-641.9572C767.4596,-641.9572 652.5527,-295.9859 720,-234.9572 928.5947,-46.2134 2949.8451,-214.0976 3270.246,-217.8922"/>
<polygon fill="#0000ff" stroke="#0000ff" points="3270.478,-221.3936 3280.5,-217.9572 3270.5224,-214.3938 3270.478,-221.3936"/>
</g>
<!-- pacer&#45;&gt;pacer -->
<g id="conn37" class="edge">
<title>pacer:tick&#45;&gt;pacer:tock</title>
<path fill="none" stroke="#0000ff" d="M275.2806,-623.5647C136.5439,-624.4617 0,-619.718 0,-605.9572 0,-592.5324 129.9581,-587.6898 265.1251,-588.2942"/>
<polygon fill="#0000ff" stroke="#0000ff" points="265.2616,-591.7949 275.2806,-588.3498 265.2999,-584.795 265.2616,-591.7949"/>
</g>
<!-- connectiontypekey -->
<g id="node14" class="node">
<title>connectiontypekey</title>
<polygon fill="none" stroke="#000000" points="357.5,-967.9572 357.5,-991.9572 593.5,-991.9572 593.5,-967.9572 357.5,-967.9572"/>
<text text-anchor="start" x="395.5" y="-977.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">Key: Connection Types</text>
<polygon fill="none" stroke="#000000" points="357.5,-943.9572 357.5,-967.9572 543.5,-967.9572 543.5,-943.9572 357.5,-943.9572"/>
<text text-anchor="start" x="398" y="-952.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">seL4SharedData</text>
<polygon fill="#ff0000" stroke="transparent" points="543.5,-943.9572 543.5,-967.9572 593.5,-967.9572 593.5,-943.9572 543.5,-943.9572"/>
<polygon fill="none" stroke="#000000" points="543.5,-943.9572 543.5,-967.9572 593.5,-967.9572 593.5,-943.9572 543.5,-943.9572"/>
<text text-anchor="start" x="558" y="-952.1572" font-family="Times,serif" font-size="16.00" fill="#000000">red</text>
<polygon fill="none" stroke="#000000" points="357.5,-919.9572 357.5,-943.9572 543.5,-943.9572 543.5,-919.9572 357.5,-919.9572"/>
<text text-anchor="start" x="396" y="-928.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">seL4Notification</text>
<polygon fill="#0000ff" stroke="transparent" points="543.5,-919.9572 543.5,-943.9572 593.5,-943.9572 593.5,-919.9572 543.5,-919.9572"/>
<polygon fill="none" stroke="#000000" points="543.5,-919.9572 543.5,-943.9572 593.5,-943.9572 593.5,-919.9572 543.5,-919.9572"/>
<text text-anchor="start" x="554.5" y="-928.1572" font-family="Times,serif" font-size="16.00" fill="#000000">blue</text>
<polygon fill="none" stroke="#000000" points="357.5,-895.9572 357.5,-919.9572 543.5,-919.9572 543.5,-895.9572 357.5,-895.9572"/>
<text text-anchor="start" x="406.5" y="-904.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">seL4RPCCall</text>
<polygon fill="#ffa500" stroke="transparent" points="543.5,-895.9572 543.5,-919.9572 593.5,-919.9572 593.5,-895.9572 543.5,-895.9572"/>
<polygon fill="none" stroke="#000000" points="543.5,-895.9572 543.5,-919.9572 593.5,-919.9572 593.5,-895.9572 543.5,-895.9572"/>
<text text-anchor="start" x="546.5" y="-904.1572" font-family="Times,serif" font-size="16.00" fill="#000000">orange</text>
<polygon fill="none" stroke="#000000" points="357.5,-871.9572 357.5,-895.9572 543.5,-895.9572 543.5,-871.9572 357.5,-871.9572"/>
<text text-anchor="start" x="397.5" y="-880.1572" font-family="Times,serif" font-size="16.00" fill="#00ff00">seL4TimeServer</text>
<polygon fill="#00ff00" stroke="transparent" points="543.5,-871.9572 543.5,-895.9572 593.5,-895.9572 593.5,-871.9572 543.5,-871.9572"/>
<polygon fill="none" stroke="#000000" points="543.5,-871.9572 543.5,-895.9572 593.5,-895.9572 593.5,-871.9572 543.5,-871.9572"/>
<text text-anchor="start" x="550.5" y="-880.1572" font-family="Times,serif" font-size="16.00" fill="#000000">green</text>
<polygon fill="none" stroke="#000000" points="357.5,-847.9572 357.5,-871.9572 543.5,-871.9572 543.5,-847.9572 357.5,-847.9572"/>
<text text-anchor="start" x="360.5" y="-856.1572" font-family="Times,serif" font-size="16.00" fill="#a52a2a">seL4GlobalAsynchCallback</text>
<polygon fill="#a52a2a" stroke="transparent" points="543.5,-847.9572 543.5,-871.9572 593.5,-871.9572 593.5,-847.9572 543.5,-847.9572"/>
<polygon fill="none" stroke="#000000" points="543.5,-847.9572 543.5,-871.9572 593.5,-871.9572 593.5,-847.9572 543.5,-847.9572"/>
<text text-anchor="start" x="547.5" y="-856.1572" font-family="Times,serif" font-size="16.00" fill="#000000">brown</text>
<polygon fill="none" stroke="#000000" points="357.5,-823.9572 357.5,-847.9572 543.5,-847.9572 543.5,-823.9572 357.5,-823.9572"/>
<text text-anchor="start" x="367" y="-832.1572" font-family="Times,serif" font-size="16.00" fill="#ffff00">seL4VMDTBPassthrough</text>
<polygon fill="#ffff00" stroke="transparent" points="543.5,-823.9572 543.5,-847.9572 593.5,-847.9572 593.5,-823.9572 543.5,-823.9572"/>
<polygon fill="none" stroke="#000000" points="543.5,-823.9572 543.5,-847.9572 593.5,-847.9572 593.5,-823.9572 543.5,-823.9572"/>
<text text-anchor="start" x="546.5" y="-832.1572" font-family="Times,serif" font-size="16.00" fill="#000000">yellow</text>
<polygon fill="none" stroke="#000000" points="357.5,-799.9572 357.5,-823.9572 543.5,-823.9572 543.5,-799.9572 357.5,-799.9572"/>
<text text-anchor="start" x="366" y="-808.1572" font-family="Times,serif" font-size="16.00" fill="#ffc0cb">seL4SharedDataWithCaps</text>
<polygon fill="#ffc0cb" stroke="transparent" points="543.5,-799.9572 543.5,-823.9572 593.5,-823.9572 593.5,-799.9572 543.5,-799.9572"/>
<polygon fill="none" stroke="#000000" points="543.5,-799.9572 543.5,-823.9572 593.5,-823.9572 593.5,-799.9572 543.5,-799.9572"/>
<text text-anchor="start" x="553.5" y="-808.1572" font-family="Times,serif" font-size="16.00" fill="#000000">pink</text>
</g>
<!-- interfacetypekey -->
<g id="node15" class="node">
<title>interfacetypekey</title>
<polygon fill="none" stroke="#000000" points="401.5,-1137.9572 401.5,-1161.9572 549.5,-1161.9572 549.5,-1137.9572 401.5,-1137.9572"/>
<text text-anchor="start" x="404.5" y="-1147.1572" font-family="Times,serif" font-weight="bold" font-size="16.00" fill="#000000">Key: Interface Types</text>
<polygon fill="none" stroke="#000000" points="401.5,-1113.9572 401.5,-1137.9572 485.5,-1137.9572 485.5,-1113.9572 401.5,-1113.9572"/>
<text text-anchor="start" x="417" y="-1122.1572" font-family="Times,serif" font-size="16.00" fill="#ff0000">dataport</text>
<polygon fill="#ff0000" stroke="transparent" points="485.5,-1113.9572 485.5,-1137.9572 549.5,-1137.9572 549.5,-1113.9572 485.5,-1113.9572"/>
<polygon fill="none" stroke="#000000" points="485.5,-1113.9572 485.5,-1137.9572 549.5,-1137.9572 549.5,-1113.9572 485.5,-1113.9572"/>
<text text-anchor="start" x="507" y="-1122.1572" font-family="Times,serif" font-size="16.00" fill="#000000">red</text>
<polygon fill="none" stroke="#000000" points="401.5,-1089.9572 401.5,-1113.9572 485.5,-1113.9572 485.5,-1089.9572 401.5,-1089.9572"/>
<text text-anchor="start" x="426" y="-1098.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">emits</text>
<polygon fill="#0000ff" stroke="transparent" points="485.5,-1089.9572 485.5,-1113.9572 549.5,-1113.9572 549.5,-1089.9572 485.5,-1089.9572"/>
<polygon fill="none" stroke="#000000" points="485.5,-1089.9572 485.5,-1113.9572 549.5,-1113.9572 549.5,-1089.9572 485.5,-1089.9572"/>
<text text-anchor="start" x="503.5" y="-1098.1572" font-family="Times,serif" font-size="16.00" fill="#000000">blue</text>
<polygon fill="none" stroke="#000000" points="401.5,-1065.9572 401.5,-1089.9572 485.5,-1089.9572 485.5,-1065.9572 401.5,-1065.9572"/>
<text text-anchor="start" x="411.5" y="-1074.1572" font-family="Times,serif" font-size="16.00" fill="#0000ff">consumes</text>
<polygon fill="#0000ff" stroke="transparent" points="485.5,-1065.9572 485.5,-1089.9572 549.5,-1089.9572 549.5,-1065.9572 485.5,-1065.9572"/>
<polygon fill="none" stroke="#000000" points="485.5,-1065.9572 485.5,-1089.9572 549.5,-1089.9572 549.5,-1065.9572 485.5,-1065.9572"/>
<text text-anchor="start" x="503.5" y="-1074.1572" font-family="Times,serif" font-size="16.00" fill="#000000">blue</text>
<polygon fill="none" stroke="#000000" points="401.5,-1041.9572 401.5,-1065.9572 485.5,-1065.9572 485.5,-1041.9572 401.5,-1041.9572"/>
<text text-anchor="start" x="415.5" y="-1050.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">provides</text>
<polygon fill="#ffa500" stroke="transparent" points="485.5,-1041.9572 485.5,-1065.9572 549.5,-1065.9572 549.5,-1041.9572 485.5,-1041.9572"/>
<polygon fill="none" stroke="#000000" points="485.5,-1041.9572 485.5,-1065.9572 549.5,-1065.9572 549.5,-1041.9572 485.5,-1041.9572"/>
<text text-anchor="start" x="495.5" y="-1050.1572" font-family="Times,serif" font-size="16.00" fill="#000000">orange</text>
<polygon fill="none" stroke="#000000" points="401.5,-1017.9572 401.5,-1041.9572 485.5,-1041.9572 485.5,-1017.9572 401.5,-1017.9572"/>
<text text-anchor="start" x="429.5" y="-1026.1572" font-family="Times,serif" font-size="16.00" fill="#ffa500">uses</text>
<polygon fill="#ffa500" stroke="transparent" points="485.5,-1017.9572 485.5,-1041.9572 549.5,-1041.9572 549.5,-1017.9572 485.5,-1017.9572"/>
<polygon fill="none" stroke="#000000" points="485.5,-1017.9572 485.5,-1041.9572 549.5,-1041.9572 549.5,-1017.9572 485.5,-1017.9572"/>
<text text-anchor="start" x="495.5" y="-1026.1572" font-family="Times,serif" font-size="16.00" fill="#000000">orange</text>
</g>
</g>
</svg>