The group of V&V methods applied to the motor control for industrial drives use case (UC13), which includes the migration of a digital twin to another processor platform, are:

• Behaviour-Driven Model Development and Test-Driven Model Review
• Model-Based Mutation Testing
• Model-Based Robustness Testing
• Monitoring Enriched Test Execution (Test Oracle Observation at Runtime)

As such, the method takes the digital twin, requirements and potentially pre-existing test cases as input and delivers a validated model and reports on functional and robustness tests as well as fault injection.

This overall workflow depicts how the methods interact in the context of the use case. Behaviour-Driven Model Development and Test-Driven Model Review provides a behaviour model for the two model-based test case generation approaches. The resulting abstract tests are concretized and run in a monitoring-enriched test environment. This environment makes use of formally defined monitors to ensure that properties in the discrete or continuous domain, such as voltage and current, of the system under test hold. This is an application of the Test Oracle Observation at Runtime method (as part of Monitoring Enriched Test Execution).