The purpose of verification is to generate evidence to demonstrate that the safety requirements specified for the AS are satisfied within the defined operating context. Verification may be carried out for different tiers of the system decomposition. For example, as illustrated in Figure 30 above, this may involve performing verification of the requirements on individual components of the AS and on the sub‐systems created through integrating components together, as well as verification of the AS platform as a whole. At each tier, the verification is performed with respect to the safety requirements defined for that particular tier.
In many regards, the approaches to verification of AS are no different from those used for traditional systems. However, as the behaviour of AS is often less bounded than for traditional systems, this can give rise to particular challenges, particularly when verifying AS that operate in complex environments. In  the following non‐exhaustive list of challenges to testing AS are identified:
For low‐level tiers, such as individual components that use particular technology, particular approaches may be required for which further, more detailed guidance is required (such as that provided for components that use machine learning in ).