Core Concept
Standards are not checklists.
They are the physics of your project.
ISO 26262, ASPICE, IEC 62304 — these standards define which artifacts must exist and how they may be connected. We translate them into a deterministic graph grammar.
01 Graph Rewriting: The "Physics" of the Project Universe
If the graph is "matter" (the things and relationships), then grammar is the "physics" — the natural laws of this universe. In linguistics, a generative grammar describes how infinite valid sentences can be formed from finite characters. In our system, graph grammar describes how the state of the world may legally change.
Graph Rewriting Systems
The world doesn't change through magical "updating" but through replacement.
Rule Example
This is the core of Automotive SPICE and ISO 26262. These standards are nothing other than graph grammars. They prescribe which nodes (work products) must exist and how they must be connected for the project to be considered "compliant."
Determinism vs. Emergence
Grammar rules are strictly deterministic (if A, then B). But because hundreds of FTEs, blockers, and CRs interact simultaneously according to these rules, emergence arises. The graph shows the behavior of a complex adaptive system.
Grammar Violation = Bug in Reality
If the graph contains a node "SW Release" but the edge to "HIL Test Passed" is missing — that's an ontological break. The system must mark this state as "illegal."
02 Practice: ASPICE SWE.3 — Detailed Design
Grammar Rule
This rule found 13,347 unlinked SWE.3 items — 99.4% of the total. Three classification bugs were discovered.