- V-cycle für Anforderungen, Architektur und Verifikation
– top-down Anforderung-, Architektur und Verifikation-Modul Definition
– Anforderung-, Architektur und Verifikation-Modul Verlinkung
– Verlinkung des Systemmodells und Simulationsergebnisse mit Anforderungsmodulen.