Engineering / MBSE

Model-Based Systems Engineering

MBSE practice of Abdulmalik Ajisegiri: SysML modeling, requirements traceability, and model-based verification.

Documents describe a system; models are the system, in a form you can query, analyze, and keep consistent as the design evolves. Model-based systems engineering replaces the pile of disconnected documents with a single source of truth — and that changes what rigor is possible.

SysML & modeling

SysML gives systems engineers a shared visual language: requirements diagrams, block definition diagrams, activity and sequence diagrams that capture structure and behavior precisely enough to reason about. The value isn't the diagrams themselves — it's the underlying model, where a change to one element propagates to everything that depends on it.

Requirements traceability

Traceability is the backbone of MBSE: every requirement linked to the stakeholder need it serves, the design elements that satisfy it, and the verification activities that prove it. Done well, you can answer "what breaks if this requirement changes?" in seconds. Done poorly — or in a spreadsheet nobody maintains — it's fiction. I dig into this in Model-Based Systems Engineering and Requirements Traceability.

Model-based verification

When requirements live in the model, verification can too: coverage analysis showing which requirements have verification plans, which plans have results, and where the gaps are. The model becomes a dashboard for engineering confidence, not just a design artifact.

Related research

← Back to Engineering · Systems Engineering →