MBSE Driven Validation and Verification

MBSE Driven Validation and Verification

June 7, 2022 from 4:00 pm to 4:45 pm

Speaker: Andy Henderson, Zuken Vitech

This presentation is an overview of the Verification aspects of GENESYS. This presentation will cover the creation of Verification Requirements and explore their relationships with Verification Activities. It will also explore the use of the behavioral model in conjunction with the Verification Requirements to inform the creation of Verification Plans and Test Plans and explore the decomposition of Verification Activities into Test Cases and Test Steps.