2.2.4 Verification of requirements for SUDA elements
Assurance objective: Demonstrate that the safety requirements defined for each element of the RAS architecture are satisfied.
Contextual description: Evidence must be generated to provide sufficient confidence that the defined safety requirements are satisfied by the implementation of each element.
Approaches for demonstration: To be determined.
Many approaches for demonstrating this objective will be standard verification approaches, however there may be areas such as the role of simulation in testing that are particular to RAS.
ML may be used as part of the implementation of some elements. Approaches for verification of ML are considered under a separate objective.
The way in which these objectives are demonstrated may be different for different elements of the architecture as defined in the following sub-sections.
Next sections:
- 2.2.4.1 Verification of sensing requirements (guidance available)
- 2.2.4.2 Verification of understanding requirements (guidance available)
- 2.2.4.3 Verification of deciding requirements (guidance available)
- 2.2.4.4 Verification of acting requirements
- 2.2.4.5 Verification of infrastructure requirements