Designing a Digital Twin–Enabled Requirement Verification Workflow within an MBSE Framework

Abstract

Verification of functional requirements in Model-Based Systems Engineering environments remains fragmented across heterogeneous tools and manual processes. This paper presents a digital twin–enabled workflow that supports automated requirement verification through integration of SysML models, executable simulation environments, and verification evaluation functions. Within this scope, the objective is to formalize a verification workflow that preserves architectural abstraction while enabling automated, traceable, and simulation-driven evaluation of functional requirements. The approach establishes a continuous digital thread that maintains traceability between requirements, system architecture, and verification outcomes.The workflow is demonstrated using a differential-drive robotic platform, where sensor data availability and update rate verification are used as representative examples of digital twin-based functional requirement evaluation. Results illustrate the feasibility of incorporating digital twin-driven verification into model-centric engineering processes while maintaining consistent verification feedback within the system model. The demonstration produced both passing and failing verification outcomes, illustrating the workflow’s ability to surface requirement-design mismatches.