Argument A1.2.2.3.3.4.4.3.2.1.1.1.1.2 A combination of constraints, formal verification and engineered safety features have been applied to the software

• Supports Claim: C1.2.2.3.3.4.4.3.2.1.1.1.1 The software responsible for decision making for this SIF is adequate (symbolic AI)

Child nodes:

• Has support Argument: A1.2.2.3.3.4.4.3.2.1.1.1.1.2.4 Symbolic AI: Formal methods have been used to provide better assurance than review and informal analyses
• Has support Argument: A1.2.2.3.3.4.4.3.2.1.1.1.1.2.1 Proven in use argument
• Has support Argument: A1.2.2.3.3.4.4.3.2.1.1.1.1.2.3 Requirements for the software have been established, constraints applied and verification of the selected software has been conducted
• Has support Argument: A1.2.2.3.3.4.4.3.2.1.1.1.1.2.2 The formal verification toolset has been constrained to a safe subset

The primary means of confirming that the COTS software in the system is adequate to prevent collisions is by either [specify which]:

• engineered safety features
• verification of source, object and compiled code

Proven in use arguments and supporting information is presented only by way of additional support.