Layer 03 · Tools Work in progress

Parse, check, generate.

A Langium-based model engine and CLI parse text-first SysML v2 into a semantic graph, then run domain rules and closure checks. Run memo validate in CI, and each change produces a defined re-review scope.

Model engine

Text-first model processing

Parse SysML v2 source into a semantic graph. Preserve stable identifiers. Resolve relationships. Build a queryable model suitable for automation and review.

Closure checks

Compile the safety argument

Run native KerML closure and consistency checks — errors, warnings, completeness. Find gaps before design review or audit. Make closure visible to software, systems, risk, and V&V at once.

Artifact generation

Documents as generated views

Generate DHF artifacts. Import/export: Enterprise Architect, Cameo, OWL, CSV. Safety and regulatory artifacts with provenance, version stamping, and deterministic outputs.

CLI commands

What the tools compute

terminal

$ cd examples/gpca-pump && memo dev
→ live model + validation at localhost

$ memo validate
CR-MED-001  Hazard must have ≥1 risk control       (ISO 14971)
            Missing mitigation: hazAirInLine
CR-MED-003  Risk control must be verified           (ISO 14971 §7.4)
            Missing verification: rcDoorOpenAlarm
CR-MED-004  Pre-mitigation risk must be assessed    (ISO 14971)

Result: 2 errors · 1 warning · thread HZ-001 closed

Semantic model build

Load ontology and methodology packages, parse project SysML, resolve relationships, and build a queryable evidence graph.

Change impact analysis

Use structural dependencies, behavior links, and verification links to propose a defensible re-review and re-verification scope.

DSM & DHF generation

Generate dependency structure matrices, design history file views, and completeness dashboards from the model.

Import & export

Enterprise Architect, Cameo, OWL, CSV. CI validation before merge or release. Future connectors for ALM, QMS, and test systems.