Claim C1.2.2.3.3.4.4.3.2.1 The system is adequate to prevent collision

• Is a subclaim of 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)

Child nodes:

• Has subclaim Argument: A1.2.2.3.3.4.4.3.2.1.1 Design and implementation of the Collision Avoidance SIF is adequate to prevent collision because...
• Has support Argument: A1.2.2.3.3.4.4.3.2.1.2 The architecture and algorithms have been designed such that the hazard is mitigated