Argument: A1.2.2.3.3.4.4.3.2.1.1.1.1.2.1 - Proven in use argument

Argument A1.2.2.3.3.4.4.3.2.1.1.1.1.2.1 Proven in use argument

[Back to main map]

Parent nodes:

Supports 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

Child nodes:

Has evidence Evidence: E1.2.2.3.3.4.4.3.2.1.1.1.1.2.1.1 Proven in use report
Has evidence Evidence: E1.2.2.3.3.4.4.3.2.1.1.1.1.2.1.2 Software requirements

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

The proven in use analysis relates the evidence to the COTS software requirements.