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
[Back to main map]
Parent nodes:
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 support
Argument
:
A1.2.2.3.3.4.4.3.2.2.1 Collision hazard mitigation SIF are linked to the system level requirements and have been shown to be complete, unambiguous (SMART)