Modeling Guide
Knowledge Guides /How to Review an MBSE Model: From Diagrams to a Verifiable Engineering Baseline
Last updated: · New Horizon Digital Outsourcing Team
An MBSE review should examine elements, relationships, behavior, and evidence together. Clear diagrams support readability; the real questions are whether requirements are allocated, interfaces agree, behavior fits the mission, and conclusions can be traced to defined inputs and model versions. Agree on scope and pass criteria before modeling begins.
Freeze the Review Scope First
- Identify the model version, tool version, language version, modeling conventions, and requirements baseline. Distinguish system, subsystem, and equipment levels, and define which elements are in scope. Findings from a pilot model do not establish the quality of an entire product.
- Prepare a representative path from a requirement through functions, structure, interfaces, and verification records for a multidisciplinary walkthrough. Record missing elements and unresolved assumptions wherever the path breaks; adding links without clear semantics does not resolve the issue.
Organize Checks into Four Groups
- Completeness checks cover agreed requirements, functions, structure, and constraints. Consistency checks compare port directions, data types, units, and interface control documents. Matching names do not prove element identity; verify identifiers and ownership as well.
- Behavior checks cover normal paths, abnormal exits, and recovery conditions. Verifiability checks require an inspection method and evidence for each key measure. Executable models need recorded inputs, run conditions, and outputs; conceptual models should identify behavior that has not been execution-tested.
Define the Denominator for Coverage
- Report the number of baselined requirements, requirements with valid links, requirements supported by verification evidence, and exclusions separately. A link is not proof of verification, and these measures should not be combined into a single promotional figure.
- Sample orphan requirements, broken links, and cross-version references, recording causes and owners. Set thresholds according to project risk and acceptance agreements rather than treating a project-specific percentage as a universal SysML rule.
Deliver a Review Package That Can Be Checked
- The review package should include checklists, issues, the model baseline, key-path explanations, and an evidence index. Each issue needs element identifiers, reproduction steps, severity, the revision version, and the recheck result. Preserve before-and-after evidence when closing issues.
- Assess efficiency using time to locate comparable review issues, repeated issue counts, and closure time. Compare results only when scope and inspection methods match. Passing a model review does not mean physical performance has passed testing.