Objectively Defined Intended Uses, a Prerequisite to Efficient MBSE

This article proposes a method for improved model verification within Large-Scale Simulators (LSS). The approach relies on machine-interoperable traceability of model verification information, such as model Operational Domains (ODs). This enables automated evaluation of model relevance and facilitates the combination of models for a broader evaluation of credible simulation results. The paper introduces a proof-of-concept testbed for verification of black-box models against model requirements. Furthermore, the results also include a proposal for a machine-readable format to capture model requirement Verification & Validation (V&V) results, along with the resulting model and updated model OD information.