Minimap of introduction diagram
Minimap of stage diagram

SACE outline

Instantiate AS verification argument pattern

This activity requires as input the AS verification argument pattern ([UU]), as well as the artefacts from Activities 28, 29 and 30 ([RR],[SS]and [TT]). The activity uses these artefacts to create an instantiated AS verification assurance argument ([VV]) which demonstrates how the verification activities show that the defined safety requirements are sufficiently satisfied by the AS.

Continue to: Artefact UU. AS verification argument pattern

Our site depends on cookies to provide our service to you. If you continue to use this site we will assume that you are happy with that. View our privacy policy.