Argument A1.2.2.3.3.4.4.3.2 Collision Method 2 Using verifiable AI The decision making and avoidance system has been designed, implemented, analysed, tested and shown to adequately mitigate Hazard 1 (Collision)

• Supports Claim: C1.2.2.3.3.4.4.3 Hazard 1 is mitigated and managed (Collision)

Child nodes:

• Has subclaim Claim: C1.2.2.3.3.4.4.3.2.2 Requirements for the SIF have been derived from the system level requirements and verified
• Has subclaim Claim: C1.2.2.3.3.4.4.3.2.1 The system is adequate to prevent collision
• Has support Other: O1.2.2.3.3.4.4.3.2.3 Assumptions

• Has View Method 2

The adequacy of the deterministic and probabilistic safety claim for this hazard incorporates that of the (intelligent) control system.