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:

Contact us

Assuring Autonomy International Programme

assuring-autonomy@york.ac.uk
+44 (0)1904 325345
Institute for Safe Autonomy, University of York, Deramore Lane, York YO10 5GH

Contact us

Assuring Autonomy International Programme

assuring-autonomy@york.ac.uk
+44 (0)1904 325345
Institute for Safe Autonomy, University of York, Deramore Lane, York YO10 5GH