Main characteristics: SRS centric, KSF (Key System Functions - grouping operations based on a set of principles), executable models are built and validated through execution, presented in the context of a V-based lifecyle