Skip to content
VIPROVE
DE EN

The method · ALM as graph grammar PoC · 2 rules active

Standards are not documents.
They are rules.

ASPICE and ISO 26262 as executable graph-rewriting rules — checked on every INSERT/UPDATE. A violation is not a blemish, it is an illegal ontological state.

ASPICE ISO 26262 ISO 13855:2024 ISO 13849
Edition versioning · replay

The night the 2024 arrived.

ISO 13855:2010 → :2024 means, for the graph: apply a rule update, re-traverse dependent edges, rewrite calculations. The replay shows the mechanism — the same logic runs on every edition jump.

▸ Real example · cell B1 · S_min 520 mm verified

STANDARDS GRAPH · DEPENDENCIES
ISO 13855 2010 · superseded
Minimum distance S = K·T + C
Minimum distance S = (K×T) + DDS + Z
T = T₁ + T₂ + T₃ T = T_SRP/CS + T_ME + T_F
One source · many artifacts

One traversal writes four artifacts.

RELEASE NOTES gated · 3 pages · from the graph path only without violation
BUDGET DELTA +14.2 h traceability effort to controlling
SOW AMENDMENT Annex C · changes marked to customer
INFO 7 participants · role-based 7 × delivered

▸ Release gating (R2): no approval while the graph shows a violation — see B4 live.

Gating in action (B4) →
Backstage · the standards graph

Which standard feeds which edge.

Every parameter of the minimum-distance formula has a source — and every source has an edition. The graph makes the standards chain traversable, the changelog documents the jump from 2010 to 2024.

Changed 2010 → 2024 · C split into DDS + Z · T_F new · S_M new · vertical ESPE limits new

Draws from
Type A · basicType B · methodsType C · machineryProduct standard
ISO 13855:2010 → ISO 13855:2024

What changed — and what didn't.

S = K·T + C S = (K×T) + DDS + Z Allowance C split into DDS (reach) + Z (application)
T = T₁+T₂+T₃ T = T_SRP/CS + T_ME + T_F Tolerance factor T_F now explicit
— + S_M Dynamic approach (hazard point moves) is new
— vertical ESPE limits New rules for vertical 3D area sensors
C = 8·(d−14) DDS = max(reach allowances) Light-curtain formula absorbed into DDS, structured more finely
K = 2000/1600 K = 2000/1600 + S≥500 rule K unchanged, but the S>500 rule now explicit
Wiring

Rules come in, verdicts go out.

Viprove Graph · rule loop Layer model · what/why public

Reads

Standard editions · project topology via connectors (see Integration)

Transforms

Norm clauses → executable rules · mapping stays internal

Writes back

Gating verdicts · 4 artifacts · changelog · one source

Honest status.

What the method carries today — and what is still PoC.

Runs R1 + R2 active in the GraphDemo (B4) · the edition replay on this page shows the mechanism on real 13855 data.
PoC Full rule packs (ASPICE/ISO 26262 as rule versions) in build · LLM prototyped as ontology translator, not as a text generator.
Open Rule packs per standard edition · audit trail of verdicts · primary-source check of ISO 13855:2024 against the norm text.

Next

→ Integration · ConnectorsCodebeamer · vTestStudio · two modes → Request a reality check →