Vector Stream Systems logo Vector Stream Systems

User Guide

From raw model data to validated requirements

Nine steps from first upload to AI-assisted trade studies. Generate requirements, synthesize complex safety assessments, and reason about architecture — each step produces a concrete artifact that the next step consumes. Nothing is thrown away.

Install VectorOWL Try the demo

U.S. Provisional Patent Application No. 64/073,689 — Autonomous Requirements Traceability and Engineering Synchronization System. Patent Pending.

Phase 1  Ingest Phase 2  Extract Phase 3  Generate Phase 4  Verify Phase 5  Simulate & Trade
Phase 1 — Ingest
1
Ingest

Upload model data

Load your existing engineering artifacts into VectorOWL through the web UI or the CLI. The ingest pipeline parses each file and builds the initial graph. You can upload multiple files in one pass; the system merges them into a single versioned ontology.

Populated OWL graph with entities, edges, and raw attributes ready for extraction.
SysML v1 / v2 Cameo XMI / EMF ReqIF CSV JSON TTL / OWL DBC (CAN) PDF / TXT
Phase 2 — Extract
2
Extract

Extract functions with inputs and outputs

VectorOWL scans the graph for all function-type nodes and resolves their typed interfaces. Input parameters, output parameters, and flow ports are extracted and stored as structured edges. The result is a queryable function catalog with full interface visibility.

Function catalog: each function node carries typed input/output ports and allocation edges to components.
functions typed interfaces flow ports
3
Extract

Extract signal enums and bitwise data

Signal definitions, enumeration types, and bitfield layouts are parsed and attached to their function and component nodes as typed attributes. CAN/LIN DBC and ARXML signal catalogs are read directly. Each signal gets a unique URI so requirements and anchors can reference it without ambiguity.

Signal catalog: every named signal has a URI, data type, enumeration values, and bit-level layout in the graph.
Signal Enum DBC ARXML bitfield
4
Extract

Extract spec limits for boundary conditions

Operating ranges, tolerance bands, and hard limits from your uploaded documents and model annotations are extracted and registered as candidate anchor constraints. Each limit is linked to the signal or function it governs so the boundary condition is traceable to its source document or standard.

Anchor candidates: limits with source provenance, ready to be promoted to enforced constraints.
min / max / nominal tolerance anchor candidate source citation
Phase 3 — Generate
5
Generate

Generate requirements

With the graph populated, open the requirements generator. Optionally upload a specification document for additional context, then describe what you need in plain language. The AI reads your functions, signals, and existing requirements and produces formally structured candidates. Select the ones you want and add them to the requirements table in one click.

Draft requirements in the table, each with a unique ID, text, priority, and verification method.
EARS format AI-assisted spec upload graph context
Phase 4 — Verify
6
Verify

Check requirements allocation

Every requirement must be allocated to at least one function, component, or system node. The traceability matrix shows which requirements are unallocated and which components have no requirement coverage. Fix gaps by drawing allocation edges directly in the graph or from the detail panel.

Traceability matrix with coverage percentages and a clear list of orphaned requirements and uncovered components.
allocates satisfies traceability matrix coverage report
7
Verify

Validate requirements and export

The AI quality checker inspects each requirement against a set of engineering rules: ambiguous terms, weak verbs, missing verification methods, missing rationale, and duplicate detection. Issues are ranked by severity. Apply suggested fixes inline without leaving the table. Each change is logged and versioned in the graph.

Once requirements are validated, export them to downstream tools. Use Export as CSV for spreadsheet workflows, or Export as ReqIF to import directly into DOORS, Jama, PTC Integrity, or any ReqIF 1.0-compatible tool. The export includes all attribute fields: ID, text, type, status, priority, risk, verification method, allocation, owner, rationale, source, and tags.

Quality-scored, validated requirements ready to push into DOORS, Jama, or your program's RM tool via ReqIF.
quality score EARS check verification method duplicate detection Export → ReqIF Export → CSV DOORS Jama
Phase 5 — Simulate & Trade
8
Simulate

Simulate requirements

Push validated requirements into the simulation layer via MCP. VectorOWL compares requirement bounds against outputs from your connected simulation tools (CFD, FEA, co-sim, or surrogate models). Anchor constraints from Step 4 are enforced as gates: a simulation result that violates an anchor is flagged before it can be merged into the graph.

Simulation evidence attached to requirement nodes, with anchor pass/fail status logged and linked to source models.
MCP context server anchor gate CFD / FEA co-sim evidence log
9
Trade studies

Parametrics and trade studies with MCP and AI

With a validated, evidence-backed graph, use MCP-connected AI agents to sweep design parameters and compare alternatives. Each trade study run queries the graph for constraints, executes the parametric sweep, and logs results with full provenance: which requirement drove which bound, which model produced which number. Agents cannot override anchor gates, so the governed graph stays consistent throughout.

Trade study report linked to the graph: parameter ranges, winning configuration, constraint margins, and full audit trail.
parametric sweep trade space AI agent MCP provenance audit trail

Install

Get VectorOWL running

Docker, source build, and MCP registration instructions.

Framework

Architecture overview

Ontology, vector, anchor, and MCP layers explained.

Demo

Try a live instance

Preloaded with aerospace and automotive demo data.

Consulting

Work with our team

Engagements for MBSE adoption, MCP integration, and trade study support.