<?xml version="1.0" encoding="UTF-8"?>
<REQ-IF xmlns="http://www.omg.org/spec/ReqIF/20110401/reqif.xsd"
        xmlns:xhtml="http://www.w3.org/1999/xhtml">
  <THE-HEADER>
    <REQ-IF-HEADER IDENTIFIER="header-se-autonomous-vehicle">
      <CREATION-TIME>2026-04-24T20:19:25.347Z</CREATION-TIME>
      <REQ-IF-TOOL-ID>AIRGen</REQ-IF-TOOL-ID>
      <REQ-IF-VERSION>1.0</REQ-IF-VERSION>
      <SOURCE-TOOL-ID>AIRGen</SOURCE-TOOL-ID>
      <TITLE>se-autonomous-vehicle</TITLE>
    </REQ-IF-HEADER>
  </THE-HEADER>
  <CORE-CONTENT>
    <REQ-IF-CONTENT>
      <DATATYPES>
        <DATATYPE-DEFINITION-STRING IDENTIFIER="string-type" LAST-CHANGE="2026-04-24T20:19:25.347Z" MAX-LENGTH="65535"/>
        <DATATYPE-DEFINITION-INTEGER IDENTIFIER="int-type" LAST-CHANGE="2026-04-24T20:19:25.347Z" MIN="0" MAX="100"/>
      </DATATYPES>
      <SPEC-TYPES>
        <SPEC-OBJECT-TYPE IDENTIFIER="req-type" LAST-CHANGE="2026-04-24T20:19:25.347Z">
          <SPEC-ATTRIBUTES>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-ref" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Reference">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-text" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Text">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-rationale" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Rationale">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-pattern" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="EARS Pattern">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-verification" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Verification Method">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
            <ATTRIBUTE-DEFINITION-INTEGER IDENTIFIER="attr-qaScore" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="QA Score">
              <TYPE><DATATYPE-DEFINITION-INTEGER-REF>int-type</DATATYPE-DEFINITION-INTEGER-REF></TYPE>
            </ATTRIBUTE-DEFINITION-INTEGER>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-complianceStatus" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Compliance Status">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-complianceRationale" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Compliance Rationale">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-tags" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Tags">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
          </SPEC-ATTRIBUTES>
        </SPEC-OBJECT-TYPE>
        <SPEC-RELATION-TYPE IDENTIFIER="trace-link-type" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Trace Link">
          <SPEC-ATTRIBUTES>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-linkType" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Link Type">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-linkDescription" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Description">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-linkRationale" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Rationale">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
          </SPEC-ATTRIBUTES>
        </SPEC-RELATION-TYPE>
        <SPECIFICATION-TYPE IDENTIFIER="spec-type" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Document">
          <SPEC-ATTRIBUTES>
            <ATTRIBUTE-DEFINITION-STRING IDENTIFIER="attr-docName" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Document Name">
              <TYPE><DATATYPE-DEFINITION-STRING-REF>string-type</DATATYPE-DEFINITION-STRING-REF></TYPE>
            </ATTRIBUTE-DEFINITION-STRING>
          </SPEC-ATTRIBUTES>
        </SPECIFICATION-TYPE>
        <RELATION-GROUP-TYPE IDENTIFIER="linkset-type" LAST-CHANGE="2026-04-24T20:19:25.347Z" LONG-NAME="Document Linkset"/>
      </SPEC-TYPES>
      <SPEC-OBJECTS>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-001" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="ARC-ARCHITECTUREDECISIONS-001">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Vehicle Control Subsystem SHALL use dual-redundant CAN FD buses for all safety-critical actuator command paths. Rationale: Single-bus failure must not result in loss of vehicle control. The primary bus carries real-time commands while the secondary bus provides hot standby with automatic failover within 5 ms. This decision derives from ISO 26262 ASIL-D requirements for steering and braking functions.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="architecture; vehicle-control; redundancy; session-168">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-002" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="ARC-ARCHITECTUREDECISIONS-002">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Perception Subsystem SHALL perform all sensor fusion centrally in the Sensor Fusion Engine before forwarding the unified object list to the Planning and Decision Subsystem. Rationale: Centralised fusion avoids conflicting object representations across subsystems and ensures a single authoritative world model. Track-level fusion using an extended Kalman filter was selected over raw-level fusion due to lower computational cost and proven reliability in automotive applications.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="architecture; perception; sensor-fusion; session-168">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-003" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="ARC-ARCHITECTUREDECISIONS-003">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Planning and Decision Subsystem SHALL separate tactical decision-making (Behavior Planner) from trajectory generation (Motion Planner) as distinct components with a well-defined interface. Rationale: Decoupling tactical decisions from trajectory optimisation allows independent verification of safety-critical maneuver selection logic at ASIL-D, while the trajectory generator operates at ASIL-B with tighter real-time constraints. This separation also enables independent algorithm updates without cross-impact.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="architecture; planning; separation-of-concerns; session-168">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-004" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="ARC-ARCHITECTUREDECISIONS-004">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Safety and Monitoring Subsystem SHALL operate on a physically independent compute node from the Planning and Vehicle Control subsystems. Rationale: An independent safety monitor cannot be compromised by the same software faults or hardware failures that affect the primary compute stack. The Safety Integrity Monitor runs on a separate ARM Cortex-R lockstep processor with its own power supply, implementing a checker-shadow pattern to validate that planning outputs remain within the operational design domain.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="architecture; safety-monitoring; independence; session-168">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-005" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="ARC-ARCHITECTUREDECISIONS-005">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Vehicle Control Subsystem SHALL use dual-redundant CAN FD buses for all safety-critical actuator command paths. Rationale: Single-bus failure must not result in loss of vehicle control.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="architecture; vehicle-control; redundancy; session-168">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-001" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-001">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Perception Subsystem and the Planning and Decision Subsystem SHALL transmit a fused object list containing object class, position, velocity, heading, dimensions, and confidence score at a minimum rate of 20 Hz over a shared-memory IPC channel.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; perception-planning; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-002" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-002">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Planning and Decision Subsystem and the Vehicle Control Subsystem SHALL transmit trajectory waypoints as a time-stamped sequence of position, velocity, and curvature at a minimum rate of 50 Hz with maximum latency of 10 milliseconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; planning-control; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-003" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-003">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Perception Subsystem and the Safety and Monitoring Subsystem SHALL transmit sensor health status messages including temperature, calibration drift, and signal-to-noise ratio for each sensor at a minimum rate of 1 Hz.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; perception-safety; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-004" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-004">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Prediction Module and the Behavior Planner SHALL transmit predicted trajectories as a sequence of time-stamped position and velocity pairs for each tracked object, with intent classification label and confidence, at a minimum rate of 10 Hz.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; planning; prediction-behavior; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-005" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-005">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Behavior Planner and the Motion Planner SHALL transmit a driving action command comprising action type, target lane, target speed, and urgency flag with maximum latency of 5 milliseconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; planning; behavior-motion; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-006" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-006">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Risk Assessor and the Motion Planner SHALL provide a safety verdict for each candidate trajectory comprising a pass/fail flag, minimum time-to-collision value, and required deceleration margin, evaluated within 5 milliseconds of trajectory submission.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; planning; risk-motion; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-007" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-007">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Vehicle Dynamics Monitor and the Steering Controller SHALL transmit vehicle state data (yaw rate, lateral acceleration, steering angle feedback) as a structured message at 100 Hz with end-to-end latency not exceeding 2 milliseconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; vehicle-control; dynamics-steering; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-008" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-008">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the control algorithms (Steering Controller, Throttle and Brake Controller) and the Drive-by-Wire Gateway SHALL use a dual-redundant CAN FD bus operating at 500 kbit/s with message authentication codes on all safety-critical frames.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; vehicle-control; can-bus; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-009" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-009">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Drive-by-Wire Gateway and the Actuator Health Manager SHALL report actuator telemetry (motor temperature, position feedback, current draw, pressure readings) at 50 Hz, with the Health Manager returning a fault status word within one telemetry cycle.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; vehicle-control; health-telemetry; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-010" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-010">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the GNSS Receiver and the Pose Estimator SHALL transmit position fixes in NMEA 0183 GGA format at a minimum rate of 10 Hz, including fix quality indicator, number of satellites, and horizontal dilution of precision.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; localization; gnss; pose-estimator; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-011" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-011">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Inertial Measurement Unit and the Pose Estimator SHALL transmit three-axis acceleration and three-axis angular rate measurements at a minimum rate of 200 Hz with timestamps synchronised to the vehicle time base within 1 microsecond.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; localization; imu; pose-estimator; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-012" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-012">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Pose Estimator and the Planning and Decision Subsystem SHALL transmit the fused ego-pose as a stamped message containing position (x, y, z), orientation (quaternion), linear velocity, angular velocity, and a 6x6 covariance matrix at a minimum rate of 100 Hz.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; localization; pose-estimator; planning; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-013" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-013">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Fault Detection and Isolation Module and the Minimal Risk Condition Controller SHALL transmit fault reports containing fault type, affected subsystem, severity classification, and recommended isolation action, delivered within 10 milliseconds of fault confirmation.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; safety-monitoring; fdi-mrc; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-014" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-014">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Safety Integrity Monitor and the Fault Detection and Isolation Module SHALL transmit runtime integrity verdicts at 100 Hz, each verdict containing a pass/fail status and the function identifier being monitored.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; safety-monitoring; sim-fdi; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-015" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-015">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Safety and Monitoring Subsystem components and the Event Data Recorder SHALL transmit all fault events and emergency action commands as time-stamped messages with microsecond resolution, using a non-blocking write protocol that does not impede safety-critical processing.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; safety-monitoring; edr; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-016" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-016">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Vehicle Cybersecurity Gateway and the Fault Detection and Isolation Module SHALL transmit intrusion detection alerts containing the affected network domain, attack classification, and blocked message count, with alert delivery latency not exceeding 5 milliseconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; safety-monitoring; csg-fdi; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-017" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-017">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the LiDAR Processing Unit, Camera Vision Pipeline, Radar Processing Unit, and the Sensor Fusion Engine SHALL use a timestamped detection message format containing sensor identity, detection confidence, bounding geometry, and measurement covariance, transmitted at a rate matching each sensor's native cycle rate.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; perception; session-166">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-018" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-018">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Sensor Fusion Engine and the Object Tracker SHALL deliver fused detection updates containing track-to-detection association hypotheses, innovation vectors, and updated state covariance matrices at each fusion cycle.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; perception; session-166">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-019" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-019">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Object Tracker and the Planning and Decision Subsystem SHALL provide a tracked object list containing object identity, classification, kinematic state vector, and predicted trajectory at a minimum rate of 20 Hz.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; perception-planning; session-166">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-020" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-020">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the In-Vehicle Network Router and the V2X Communication Module SHALL carry IEEE 802.11p and PC5 protocol frames over a dedicated 1 Gbps Ethernet link with IEEE 802.1Q VLAN tag 100.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-021" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-021">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the V2X Communication Module and the Communication Security Manager SHALL support message signing requests and certificate lookups with a response latency not exceeding 5 milliseconds per operation.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-022" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-022">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the In-Vehicle Network Router and the Telemetry and Fleet Gateway SHALL multiplex telemetry streams from all subsystems onto a prioritized queue with configurable bandwidth allocation per data class.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-023" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-023">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the OTA Update Manager and the Communication Security Manager SHALL provide update package signature verification returning a signed verification verdict within 2 seconds for packages up to 500 MB.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-024" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="IFC-INTERFACEDEFINITIONS-024">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The interface between the Pose Estimator and the Vehicle Dynamics Monitor SHALL transmit the fused vehicle pose (position, heading, velocity) at a minimum rate of 50 Hz over the in-vehicle Ethernet backbone. The message SHALL include a validity flag and an estimated position covariance matrix to enable the Vehicle Dynamics Monitor to weight localization data against its own inertial estimates.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="interface; localization-control; pose-dynamics; session-168">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-001" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="STK-STAKEHOLDERNEEDS-001">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL transport passengers to their destination without collision or injury under all conditions within its operational design domain.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="stakeholder; safety; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-002" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="STK-STAKEHOLDERNEEDS-002">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL be available for passenger service at least 95% of scheduled operating hours.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="stakeholder; availability; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-003" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="STK-STAKEHOLDERNEEDS-003">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL comply with all applicable national and regional traffic regulations and vehicle safety standards.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="stakeholder; regulatory; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-004" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="STK-STAKEHOLDERNEEDS-004">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL provide a comfortable ride experience with smooth acceleration, braking, and cornering comparable to an experienced human driver.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="stakeholder; comfort; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-005" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="STK-STAKEHOLDERNEEDS-005">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL support remote monitoring and over-the-air software updates without requiring physical access to the vehicle.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="stakeholder; fleet; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-006" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="STK-STAKEHOLDERNEEDS-006">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL operate in rain, fog, and nighttime conditions within the defined operational design domain without degradation below minimum safety thresholds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="stakeholder; environment; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-001" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-001">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Perception Subsystem SHALL process LiDAR point cloud data at a minimum rate of 10 frames per second with 360-degree coverage and angular resolution of 0.1 degrees.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; lidar; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-002" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-002">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Perception Subsystem SHALL classify detected objects into at least 12 categories including vehicle, pedestrian, cyclist, traffic sign, traffic light, lane marking, barrier, construction zone, animal, debris, emergency vehicle, and unknown.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; classification; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-003" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-003">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Perception Subsystem SHALL fuse data from LiDAR, camera, and radar sensors and produce a unified object list within 30 milliseconds of sensor data acquisition.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; fusion; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-004" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-004">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="While operating in fog with visibility below 100 metres, the Perception Subsystem SHALL increase radar weighting in the fusion algorithm and report a perception confidence metric below 0.7 to the Planning Subsystem.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; weather; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-005" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-005">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Perception Subsystem SHALL perform continuous self-diagnostics on all sensors and report any sensor degradation or failure to the Safety and Monitoring Subsystem within 200 milliseconds of detection.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; diagnostics; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-006" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-006">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Perception Subsystem SHALL track at least 200 simultaneous objects with unique track identifiers, maintaining track continuity across sensor occlusions of up to 2 seconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; tracking; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-007" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-007">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Behavior Planner SHALL evaluate and select a tactical driving action within 20 milliseconds of receiving an updated prediction and route input.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; planning; behavior-planner; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-008" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-008">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Motion Planner SHALL generate a kinematically feasible trajectory of at least 50 waypoints over a 5-second horizon, with lateral acceleration not exceeding 3 m/s² and longitudinal jerk not exceeding 1.5 m/s³.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; planning; motion-planner; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-009" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-009">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Prediction Module SHALL forecast trajectories for all tracked objects over a minimum 5-second prediction horizon with position error below 1.0 metre at 3 seconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; planning; prediction-module; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-010" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-010">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="When the Risk Assessor determines that no candidate trajectory maintains a time-to-collision above 2 seconds, the Planning and Decision Subsystem SHALL issue a minimal risk condition request to the Safety and Monitoring Subsystem within 10 milliseconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; planning; risk-assessor; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-011" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-011">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="When a route segment becomes blocked or a traffic incident is reported, the Route Planner SHALL compute an alternative route within 500 milliseconds using the current HD map graph.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; planning; route-planner; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-012" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-012">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Prediction Module SHALL classify the intent of each tracked road user into at least 6 categories including lane-keeping, lane-change-left, lane-change-right, braking, accelerating, and turning with classification accuracy above 90%.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; planning; prediction-module; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-013" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-013">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Motion Planner SHALL complete trajectory optimisation within 30 milliseconds from receipt of a behaviour decision, ensuring the planning subsystem contribution to the sense-plan-act cycle remains below 50 milliseconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; planning; motion-planner; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-014" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-014">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Steering Controller SHALL track the commanded steering angle with a steady-state error not exceeding 0.5 degrees and transient response settling time below 150 milliseconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; vehicle-control; steering-controller; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-015" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-015">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Throttle and Brake Controller SHALL execute longitudinal acceleration commands with jerk not exceeding 1.5 m/s³ during normal operation and shall achieve commanded deceleration within 100 milliseconds of request.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; vehicle-control; throttle-brake; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-016" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-016">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Drive-by-Wire Gateway SHALL translate software control commands to CAN bus actuator messages within 5 milliseconds and SHALL verify message delivery acknowledgement for every safety-critical command.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; vehicle-control; drive-by-wire; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-017" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-017">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Vehicle Dynamics Monitor SHALL estimate vehicle velocity with accuracy within 0.1 m/s, yaw rate within 0.5 deg/s, and lateral acceleration within 0.05 m/s² at an update rate of at least 100 Hz.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; vehicle-control; dynamics-monitor; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-018" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-018">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="When any actuator reports a fault condition or fails to acknowledge a command within 10 milliseconds, the Actuator Health Manager SHALL classify the fault severity and initiate the corresponding degradation mode within 50 milliseconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; vehicle-control; actuator-health; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-019" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-019">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Drive-by-Wire Gateway SHALL implement a hardware watchdog timer with a timeout period not exceeding 50 milliseconds; when the watchdog expires, the gateway SHALL command all actuators to a safe default state.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; vehicle-control; drive-by-wire; safety; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-020" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-020">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="While the Actuator Health Manager signals a steering degradation mode, the Steering Controller SHALL limit maximum steering rate to 50% of nominal and SHALL reject any commanded angle exceeding the mechanically safe range.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; vehicle-control; steering-controller; degradation; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-021" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-021">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Pose Estimator SHALL produce a fused six-degree-of-freedom ego-pose at a minimum rate of 100 Hz with end-to-end latency not exceeding 10 milliseconds from the most recent sensor input.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; localization; pose-estimator; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-022" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-022">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The GNSS Receiver SHALL achieve horizontal position accuracy within 2 centimetres circular error probable when RTK correction data is available, and within 1.5 metres circular error probable in standalone GNSS mode.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; localization; gnss-receiver; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-023" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-023">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="When GNSS signal is lost, the Inertial Measurement Unit SHALL maintain dead reckoning position accuracy within 0.1 percent of distance travelled for a minimum of 30 seconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; localization; imu; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-024" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-024">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The SLAM Engine SHALL match LiDAR scans against stored map features at a minimum update rate of 10 Hz with lateral position error not exceeding 5 centimetres in structured environments.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; localization; slam-engine; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-025" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-025">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The HD Map Manager SHALL load and index map tiles within 50 milliseconds for a query covering a 500-metre radius around the current vehicle position.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; localization; hd-map-manager; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-026" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-026">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Pose Estimator SHALL detect and reject GNSS multipath errors exceeding 1 metre by performing consistency cross-checks against IMU and SLAM localization sources.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; localization; pose-estimator; integrity; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-027" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-027">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="While any single localization source is unavailable, the Pose Estimator SHALL maintain ego-pose lateral accuracy within 30 centimetres using the remaining sources and SHALL report the degraded integrity level to the Planning and Decision Subsystem.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; localization; pose-estimator; degradation; session-164">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-028" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-028">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Fault Detection and Isolation Module SHALL detect any single-point fault in a monitored subsystem within 50 milliseconds of the fault occurrence and issue a fault report to the Minimal Risk Condition Controller.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; safety-monitoring; fdi; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-029" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-029">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="When a critical fault report is received from the Fault Detection and Isolation Module, the Minimal Risk Condition Controller SHALL initiate a minimal risk condition manoeuvre within 100 milliseconds, bringing the vehicle to a controlled stop or safe pullover.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; safety-monitoring; mrc; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-030" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-030">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Safety Integrity Monitor SHALL execute an independent watchdog cycle at a rate of at least 100 Hz, verifying the execution timing and control flow integrity of all ASIL D rated functions.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; safety-monitoring; sim; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-031" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-031">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Event Data Recorder SHALL continuously record sensor inputs, planning decisions, and actuator commands at a minimum aggregate data rate of 100 Mbps in a crash-survivable storage medium compliant with UN Regulation 157 data storage survival requirements.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; safety-monitoring; edr; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-032" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-032">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Vehicle Cybersecurity Gateway SHALL monitor all in-vehicle network traffic and detect anomalous message patterns indicative of intrusion within 10 milliseconds, blocking unauthorised messages before they reach safety-critical domains.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; safety-monitoring; csg; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-033" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-033">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Fault Detection and Isolation Module SHALL detect and independently classify up to 3 concurrent faults across different subsystems, prioritising them by safety impact severity to determine the appropriate response level.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; safety-monitoring; fdi; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-034" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-034">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Minimal Risk Condition Controller SHALL support at least 3 graduated response levels: reduced speed operation, controlled lane-holding pullover, and immediate emergency stop, selecting the appropriate level based on the fault severity classification.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; safety-monitoring; mrc; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-035" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-035">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Event Data Recorder SHALL maintain a rolling pre-incident buffer of at least 30 seconds duration, preserving all recorded data channels for the period immediately preceding any detected safety event or collision.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; safety-monitoring; edr; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-036" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-036">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The LiDAR Processing Unit SHALL segment raw point cloud data into ground plane and non-ground clusters within 20 milliseconds per scan cycle, rejecting ground returns with a false-positive rate below 2 percent.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; lidar; session-166">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-037" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-037">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Camera Vision Pipeline SHALL detect and classify objects from at least 8 camera streams simultaneously, achieving a mean average precision of 0.85 or higher across all 12 required object categories at frame rates above 30 fps.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; camera; session-166">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-038" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-038">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="While operating in rain with intensity exceeding 25 mm/h or fog with visibility below 100 metres, the Radar Processing Unit SHALL maintain a detection probability of 0.95 or higher for vehicles within 150 metres.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; radar; session-166">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-039" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-039">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Sensor Fusion Engine SHALL complete probabilistic data association and state update for all correlated tracks within 15 milliseconds of receiving a new detection set from any sensor pipeline.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; fusion; session-166">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-040" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-040">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Object Tracker SHALL maintain persistent identity for tracked objects across at least 5 consecutive occlusion frames, with an identity switch rate below 1 percent per 1000 tracked object-frames.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; perception; tracker; session-166">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-041" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-041">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The V2X Communication Module SHALL transmit and receive Basic Safety Messages (BSM) with an end-to-end latency not exceeding 100 milliseconds under nominal channel load.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-042" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-042">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The V2X Communication Module SHALL support simultaneous operation on DSRC (IEEE 802.11p) and C-V2X (3GPP PC5) radio interfaces with automatic protocol selection based on infrastructure availability.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-043" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-043">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Telemetry and Fleet Gateway SHALL transmit vehicle health and position telemetry to the fleet management cloud at a minimum rate of 1 Hz over 4G/5G cellular with automatic failover between carriers.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-044" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-044">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The OTA Update Manager SHALL verify the cryptographic signature and integrity hash of every software update package before initiating installation on any target ECU.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-045" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-045">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="When an OTA update installation fails or post-update diagnostics detect a fault, the OTA Update Manager SHALL automatically rollback to the previous software version within 30 seconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-046" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-046">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The In-Vehicle Network Router SHALL guarantee worst-case frame delivery latency of 500 microseconds for safety-critical traffic classes using IEEE 802.1Qbv time-aware shaping.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-047" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-047">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Communication Security Manager SHALL maintain a certificate store supporting IEEE 1609.2 pseudonym certificates with automatic renewal and revocation list updates at intervals not exceeding 24 hours.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-048" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-048">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The In-Vehicle Network Router SHALL support aggregate throughput of at least 10 Gbps across all automotive Ethernet ports with VLAN isolation between safety-critical and infotainment domains.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-049" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-049">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="While cellular connectivity is unavailable, the Telemetry and Fleet Gateway SHALL buffer telemetry data in non-volatile storage for at least 72 hours and retransmit upon connectivity restoration.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-050" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-SUBSYSTEMREQUIREMENTS-050">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Communication Security Manager SHALL store all private keys in a hardware security module (HSM) with FIPS 140-2 Level 2 certification, preventing key extraction by any software process.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="subsystem; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-001">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL detect and classify all objects within a 200-metre forward range and 80-metre lateral range with a probability of detection of at least 99.9% for objects larger than 0.3 metres.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; perception; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-002">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL maintain localization accuracy within 10 centimetres laterally and 30 centimetres longitudinally relative to the HD map reference frame.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; localization; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-003">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="When a critical fault is detected in any subsystem, the Autonomous Vehicle SHALL execute a minimal risk condition manoeuvre bringing the vehicle to a safe stop within 5 seconds.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; safety; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-004" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-004">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL generate smooth, jerk-limited trajectories with lateral acceleration not exceeding 3 m/s² and longitudinal acceleration not exceeding 2.5 m/s² during normal operation.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; planning; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-005" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-005">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL support V2X communication compliant with ETSI ITS-G5 or C-V2X PC5 standards for cooperative awareness messaging at a minimum rate of 10 Hz.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; communication; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-006" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-006">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL accept and install over-the-air software updates while parked, with rollback capability within 60 seconds if the update fails post-installation verification.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; fleet; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-007" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-007">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="While operating in rain with intensity up to 50 mm/h, the Autonomous Vehicle SHALL maintain perception detection range of at least 120 metres forward.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; environment; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-008">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL execute the complete sense-plan-act cycle from sensor input to actuator command within 100 milliseconds end-to-end latency.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; control; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-009">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL achieve a mean time between critical failures of at least 10,000 operating hours for the integrated autonomous driving system.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; reliability; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SYS-SYSTEM-LEVELREQUIREMENTS-010">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Autonomous Vehicle SHALL be designed and verified to ASIL D per ISO 26262 for all safety-critical functions including steering, braking, and emergency stop.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="system; safety; iso26262; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-001" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-001">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The LiDAR processing rate and coverage SHALL be verified by injecting recorded point cloud datasets at rated frame rates and measuring processing latency and angular coverage completeness against SUB-SUBSYSTEMREQUIREMENTS-001.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; perception; test; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-002" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-002">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="Sensor fusion latency SHALL be verified by timestamping raw sensor inputs and fusion output, measuring end-to-end delay across 10,000 cycles under peak load conditions against SUB-SUBSYSTEMREQUIREMENTS-003.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; perception; latency; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-003" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-003">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Perception-to-Planning interface data rate SHALL be verified by monitoring the shared-memory IPC channel under simulated traffic scenarios with 200 tracked objects and confirming sustained 20 Hz delivery against IFC-INTERFACEDEFINITIONS-001.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; interface; test; session-161">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-004" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-004">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Behavior Planner decision cycle time SHALL be verified by measuring wall-clock latency from prediction input timestamp to action output timestamp across 50,000 decision cycles under peak traffic scenarios with 200 tracked objects, against SUB-SUBSYSTEMREQUIREMENTS-007.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; planning; behavior-planner; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-005" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-005">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Risk Assessor minimal risk condition handoff SHALL be verified by injecting failure scenarios where all candidate trajectories violate the 2-second time-to-collision threshold and measuring response latency and correct MRC request issuance, against SUB-SUBSYSTEMREQUIREMENTS-010.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; planning; risk-assessor; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-006" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-006">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Prediction Module trajectory forecast accuracy SHALL be verified by replaying recorded urban driving datasets and computing position error at 3-second and 5-second horizons across vehicle, pedestrian, and cyclist categories, against SUB-SUBSYSTEMREQUIREMENTS-009.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; planning; prediction-module; session-162">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-007" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-007">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Steering Controller steady-state error and settling time (SUB-VEHICLECONTROLSUBSYSTEM-014) SHALL be verified by hardware-in-the-loop test with a calibrated steering angle sensor, injecting step and ramp commands across the full operating range at ambient temperatures from -20°C to +60°C.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; vehicle-control; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-008" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-008">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Drive-by-Wire Gateway watchdog mechanism (SUB-VEHICLECONTROLSUBSYSTEM-019) SHALL be verified by fault injection test that interrupts the control software heartbeat and measures time to actuator safe-state transition, confirming it occurs within the 50 ms watchdog period.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; vehicle-control; safety; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-009" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-009">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The dual-redundant CAN FD interface (IFC-INTERFACEDEFINITIONS-008) SHALL be verified by protocol conformance test including bus-off recovery, message authentication validation, and single-bus-failure failover test confirming no command dropout exceeds one cycle.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; vehicle-control; interface; session-163">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-010" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-010">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Fault Detection and Isolation Module fault detection latency (SUB-028) SHALL be verified by hardware-in-the-loop testing with calibrated fault injection at each monitored subsystem interface, measuring detection time against the 50 ms threshold across 1000 fault injection cycles.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; safety-monitoring; fdi; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-011" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-011">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Minimal Risk Condition Controller safe-stop execution (SUB-029) SHALL be verified by closed-course vehicle testing with simulated critical faults, confirming MRC initiation within 100 ms and vehicle reaching a safe state in all test scenarios including highway, urban, and intersection contexts.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; safety-monitoring; mrc; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-012" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-012">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Safety Integrity Monitor watchdog cycle (SUB-030) SHALL be verified by analysis of execution traces and by injecting timing violations and control flow corruptions into ASIL D functions, confirming detection within one watchdog cycle.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; safety-monitoring; sim; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-013" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-013">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Event Data Recorder continuous recording and crash survivability (SUB-031) SHALL be verified by recording at sustained 100 Mbps throughput for 8 hours followed by a physical crash simulation per UN R157 Annex 1, confirming data integrity and readback of pre-incident buffer.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; safety-monitoring; edr; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-014" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-014">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Vehicle Cybersecurity Gateway intrusion detection (SUB-032) SHALL be verified by penetration testing with a standardised attack suite covering CAN bus injection, Ethernet MITM, and replay attacks, confirming detection and blocking within 10 ms for all attack vectors.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; safety-monitoring; csg; session-165">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-015" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-015">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-041 (V2X latency): Verify by test — inject BSM messages on RF channel simulator and measure end-to-end latency across 10,000 message cycles under nominal and congested channel conditions.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-016" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-016">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-044 (OTA integrity): Verify by test — present update packages with valid signatures, corrupted signatures, and revoked certificates. Confirm acceptance of valid packages and rejection of all tampered or revoked packages.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-017" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-017">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-046 (TSN latency): Verify by test — measure frame delivery latency on all safety-critical VLAN paths using precision time protocol (PTP) synchronized traffic generators with 99.999th percentile analysis.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-018" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-018">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="SUB-050 (HSM key isolation): Verify by inspection — review HSM FIPS 140-2 Level 2 certification documentation and verify by test that no software API permits private key export or direct read access.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; communication; session-167">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-019" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-019">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Pose Estimator fused position accuracy (SUB-SUBSYSTEMREQUIREMENTS-021) SHALL be verified by test using a reference-grade RTK-GNSS/INS system on a closed test track. The Pose Estimator output SHALL be compared against RTK ground truth over 100 km of driving across urban, suburban, and highway scenarios. Pass criteria: lateral error less than 10 cm RMS, heading error less than 0.1 degrees RMS.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; localization; pose-estimator; session-168">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-020" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-020">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Pose Estimator GNSS spoofing detection (SUB-SUBSYSTEMREQUIREMENTS-026) SHALL be verified by test using a GNSS signal simulator injecting spoofed signals with position offsets of 1 m to 100 m. The system SHALL detect and reject spoofed signals within 2 seconds for offsets greater than 5 m. Test SHALL include both gradual drift and sudden jump spoofing attack profiles.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; localization; gnss-spoofing; session-168">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      <SPEC-OBJECT IDENTIFIER="uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-021" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="VER-VERIFICATIONMETHODS-021">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-ref</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="The Inertial Measurement Unit dead-reckoning capability during GNSS loss (SUB-SUBSYSTEMREQUIREMENTS-023) SHALL be verified by test in a controlled tunnel environment. GNSS signal SHALL be occluded for intervals of 30, 60, and 120 seconds at vehicle speeds of 30 and 60 km/h. Pass criteria: position drift less than 1 m after 30 s, less than 5 m after 60 s, and less than 15 m after 120 s of GNSS denial.">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-text</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verification; localization; imu; dead-reckoning; session-168">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-tags</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-OBJECT-TYPE-REF>req-type</SPEC-OBJECT-TYPE-REF></TYPE>
      </SPEC-OBJECT>
      </SPEC-OBJECTS>
      <SPEC-RELATIONS>
      <SPEC-RELATION IDENTIFIER="rel-0" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-1" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-2" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-023</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-021</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-3" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-026</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-020</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-4" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-021</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-019</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-5" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-050</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-018</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-6" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-046</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-017</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-7" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-044</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-016</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-8" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-041</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-015</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-9" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-006</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-023</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-10" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-022</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-11" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-005</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-021</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-12" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-005</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-020</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-13" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-050</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-14" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-048</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-15" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-046</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-16" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-049</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-17" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-043</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-18" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-006</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-045</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-19" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-006</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-044</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-20" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-005</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-047</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-21" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-005</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-042</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-22" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-005</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-041</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-23" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-040</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-24" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-039</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-25" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-007</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-038</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-26" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-037</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-27" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-036</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-28" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-032</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-014</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-29" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-031</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-013</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-30" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-030</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-012</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-31" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-029</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-011</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-32" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-028</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-010</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-33" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-016</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-34" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-015</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-35" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-014</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-36" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-013</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-37" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-035</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-38" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-034</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-39" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-033</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-40" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-032</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-41" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-031</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-42" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-030</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-43" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-029</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-44" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-028</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-45" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-012</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-46" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-011</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-47" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-010</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-48" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-027</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-49" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-027</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-50" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-026</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-51" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-026</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-52" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-025</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-53" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-024</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-54" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-023</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-55" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-022</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-56" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-021</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-57" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-021</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-58" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-009</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-59" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-019</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-008</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-60" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-014</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-007</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-61" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-009</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-62" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-008</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-63" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-007</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-64" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-020</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-65" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-019</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-66" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-018</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-67" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-004</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-017</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-68" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-016</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-69" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-004</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-015</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-70" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-004</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-014</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-71" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-006</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-72" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-010</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-005</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-73" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-007</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-004</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-74" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-006</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-75" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-005</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-76" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-004</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-77" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-013</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-78" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-012</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-79" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-011</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-80" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-010</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-81" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-009</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-82" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-004</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-008</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-83" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-007</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-84" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-003</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-85" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-002</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-86" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-001</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="verifies">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-87" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-003</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-88" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-002</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-89" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-001</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-90" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-006</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-91" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-005</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-92" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-007</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-004</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-93" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-003</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-94" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-002</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-95" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-001</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-96" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-97" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-002</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-98" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-99" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-006</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-007</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-100" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-005</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-006</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-101" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-003</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-005</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-102" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-004</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-004</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-103" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-104" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      <SPEC-RELATION IDENTIFIER="rel-105" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <SOURCE><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-001</SPEC-OBJECT-REF></SOURCE>
        <TARGET><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></TARGET>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="derives">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-linkType</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <TYPE><SPEC-RELATION-TYPE-REF>trace-link-type</SPEC-RELATION-TYPE-REF></TYPE>
      </SPEC-RELATION>
      </SPEC-RELATIONS>
      <SPECIFICATIONS>
      <SPECIFICATION IDENTIFIER="spec-architecture-decisions" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <TYPE><SPECIFICATION-TYPE-REF>spec-type</SPECIFICATION-TYPE-REF></TYPE>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="Architecture Decisions">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-docName</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <CHILDREN>
          <SPEC-HIERARCHY IDENTIFIER="hier-sec-section-1773504981170">
            <CHILDREN>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-001">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-001</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-002">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-002</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-003">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-003</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-004">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-004</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-005">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:ARC-ARCHITECTUREDECISIONS-005</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
            </CHILDREN>
          </SPEC-HIERARCHY>
        </CHILDREN>
      </SPECIFICATION>
      <SPECIFICATION IDENTIFIER="spec-interface-requirements" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <TYPE><SPECIFICATION-TYPE-REF>spec-type</SPECIFICATION-TYPE-REF></TYPE>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="Interface Requirements">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-docName</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <CHILDREN>
          <SPEC-HIERARCHY IDENTIFIER="hier-sec-section-1773504980750">
            <CHILDREN>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-001">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-001</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-002">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-002</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-003">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-003</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-004">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-004</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-005">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-005</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-006">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-006</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-007">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-007</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-008">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-008</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-009">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-009</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-010">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-010</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-011">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-011</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-012">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-012</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-013">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-013</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-014">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-014</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-015">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-015</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-016">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-016</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-017">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-017</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-018">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-018</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-019">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-019</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-020">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-020</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-021">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-021</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-022">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-022</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-023">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-023</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-024">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:IFC-INTERFACEDEFINITIONS-024</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
            </CHILDREN>
          </SPEC-HIERARCHY>
        </CHILDREN>
      </SPECIFICATION>
      <SPECIFICATION IDENTIFIER="spec-stakeholder-requirements" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <TYPE><SPECIFICATION-TYPE-REF>spec-type</SPECIFICATION-TYPE-REF></TYPE>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="Stakeholder Requirements">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-docName</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <CHILDREN>
          <SPEC-HIERARCHY IDENTIFIER="hier-sec-section-1773506070468">
            <CHILDREN>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-001">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-001</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-002">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-002</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-003">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-003</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-004">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-004</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-005">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-005</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-006">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:STK-STAKEHOLDERNEEDS-006</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
            </CHILDREN>
          </SPEC-HIERARCHY>
        </CHILDREN>
      </SPECIFICATION>
      <SPECIFICATION IDENTIFIER="spec-subsystem-requirements" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <TYPE><SPECIFICATION-TYPE-REF>spec-type</SPECIFICATION-TYPE-REF></TYPE>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="Subsystem Requirements">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-docName</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <CHILDREN>
          <SPEC-HIERARCHY IDENTIFIER="hier-sec-section-1773504980363">
            <CHILDREN>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-001">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-001</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-002">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-002</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-003">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-003</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-004">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-004</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-005">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-005</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-006">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-006</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-007">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-007</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-008">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-008</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-009">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-009</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-010">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-010</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-011">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-011</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-012">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-012</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-013">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-013</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-014">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-014</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-015">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-015</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-016">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-016</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-017">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-017</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-018">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-018</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-019">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-019</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-020">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-VEHICLECONTROLSUBSYSTEM-020</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-021">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-021</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-022">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-022</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-023">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-023</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-024">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-024</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-025">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-025</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-026">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-026</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-027">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-027</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-028">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-028</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-029">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-029</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-030">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-030</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-031">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-031</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-032">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-032</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-033">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-033</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-034">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-034</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-035">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-035</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-036">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-036</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-037">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-037</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-038">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-038</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-039">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-039</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-040">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-040</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-041">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-041</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-042">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-042</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-043">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-043</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-044">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-044</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-045">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-045</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-046">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-046</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-047">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-047</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-048">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-048</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-049">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-049</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-050">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SUB-SUBSYSTEMREQUIREMENTS-050</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
            </CHILDREN>
          </SPEC-HIERARCHY>
        </CHILDREN>
      </SPECIFICATION>
      <SPECIFICATION IDENTIFIER="spec-system-requirements" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <TYPE><SPECIFICATION-TYPE-REF>spec-type</SPECIFICATION-TYPE-REF></TYPE>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="System Requirements">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-docName</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <CHILDREN>
          <SPEC-HIERARCHY IDENTIFIER="hier-sec-section-1773506070868">
            <CHILDREN>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-001</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-002</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-003</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-004">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-004</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-005">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-005</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-006">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-006</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-007">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-007</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-008</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-009</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:SYS-SYSTEM-LEVELREQUIREMENTS-010</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
            </CHILDREN>
          </SPEC-HIERARCHY>
        </CHILDREN>
      </SPECIFICATION>
      <SPECIFICATION IDENTIFIER="spec-verification-plan" LAST-CHANGE="2026-04-24T20:19:25.347Z">
        <TYPE><SPECIFICATION-TYPE-REF>spec-type</SPECIFICATION-TYPE-REF></TYPE>
        <VALUES>
          <ATTRIBUTE-VALUE-STRING THE-VALUE="Verification Plan">
            <DEFINITION><ATTRIBUTE-DEFINITION-STRING-REF>attr-docName</ATTRIBUTE-DEFINITION-STRING-REF></DEFINITION>
          </ATTRIBUTE-VALUE-STRING>
        </VALUES>
        <CHILDREN>
          <SPEC-HIERARCHY IDENTIFIER="hier-sec-section-1773504981587">
            <CHILDREN>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-001">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-001</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-002">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-002</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-003">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-003</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-004">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-004</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-005">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-005</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-006">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-006</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-007">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-007</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-008">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-008</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-009">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-009</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-010">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-010</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-011">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-011</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-012">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-012</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-013">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-013</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-014">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-014</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-015">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-015</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-016">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-016</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-017">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-017</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-018">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-018</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-019">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-019</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-020">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-020</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
              <SPEC-HIERARCHY IDENTIFIER="hier-uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-021">
                <OBJECT><SPEC-OBJECT-REF>uht-bot:se-autonomous-vehicle:VER-VERIFICATIONMETHODS-021</SPEC-OBJECT-REF></OBJECT>
              </SPEC-HIERARCHY>
            </CHILDREN>
          </SPEC-HIERARCHY>
        </CHILDREN>
      </SPECIFICATION>
      </SPECIFICATIONS>
      <SPEC-RELATION-GROUPS>
      <RELATION-GROUP IDENTIFIER="rg-linkset-1773505014524">
        <SOURCE-SPECIFICATION><SPECIFICATION-REF>spec-interface-requirements</SPECIFICATION-REF></SOURCE-SPECIFICATION>
        <TARGET-SPECIFICATION><SPECIFICATION-REF>spec-verification-plan</SPECIFICATION-REF></TARGET-SPECIFICATION>
        <TYPE><RELATION-GROUP-TYPE-REF>linkset-type</RELATION-GROUP-TYPE-REF></TYPE>
      </RELATION-GROUP>
      <RELATION-GROUP IDENTIFIER="rg-linkset-1773505014102">
        <SOURCE-SPECIFICATION><SPECIFICATION-REF>spec-subsystem-requirements</SPECIFICATION-REF></SOURCE-SPECIFICATION>
        <TARGET-SPECIFICATION><SPECIFICATION-REF>spec-verification-plan</SPECIFICATION-REF></TARGET-SPECIFICATION>
        <TYPE><RELATION-GROUP-TYPE-REF>linkset-type</RELATION-GROUP-TYPE-REF></TYPE>
      </RELATION-GROUP>
      <RELATION-GROUP IDENTIFIER="rg-linkset-1773505013628">
        <SOURCE-SPECIFICATION><SPECIFICATION-REF>spec-system-requirements</SPECIFICATION-REF></SOURCE-SPECIFICATION>
        <TARGET-SPECIFICATION><SPECIFICATION-REF>spec-interface-requirements</SPECIFICATION-REF></TARGET-SPECIFICATION>
        <TYPE><RELATION-GROUP-TYPE-REF>linkset-type</RELATION-GROUP-TYPE-REF></TYPE>
      </RELATION-GROUP>
      <RELATION-GROUP IDENTIFIER="rg-linkset-1773505013173">
        <SOURCE-SPECIFICATION><SPECIFICATION-REF>spec-system-requirements</SPECIFICATION-REF></SOURCE-SPECIFICATION>
        <TARGET-SPECIFICATION><SPECIFICATION-REF>spec-subsystem-requirements</SPECIFICATION-REF></TARGET-SPECIFICATION>
        <TYPE><RELATION-GROUP-TYPE-REF>linkset-type</RELATION-GROUP-TYPE-REF></TYPE>
      </RELATION-GROUP>
      <RELATION-GROUP IDENTIFIER="rg-linkset-1773505012414">
        <SOURCE-SPECIFICATION><SPECIFICATION-REF>spec-stakeholder-requirements</SPECIFICATION-REF></SOURCE-SPECIFICATION>
        <TARGET-SPECIFICATION><SPECIFICATION-REF>spec-system-requirements</SPECIFICATION-REF></TARGET-SPECIFICATION>
        <TYPE><RELATION-GROUP-TYPE-REF>linkset-type</RELATION-GROUP-TYPE-REF></TYPE>
      </RELATION-GROUP>
      </SPEC-RELATION-GROUPS>
    </REQ-IF-CONTENT>
  </CORE-CONTENT>
</REQ-IF>