- V-cycle for requirements, Architecture and verification
– top-down requirements, architecture and verification modules definition
– requirements, architecture and verification modules linking
– linking the system model and simulation results to requirements modules.