Kernkonzept

Normen sind keine Checklisten.

Sie sind die Physik Ihres Projekts.

ISO 26262, ASPICE, IEC 62304 — diese Standards definieren, welche Artefakte existieren müssen und wie sie verbunden sein dürfen. Wir übersetzen sie in eine deterministische Graph-Grammatik.

01 Graph-Rewriting: Die „Physik" des Projekt-Universums

Wenn der Graph die „Materie" (die Dinge und Beziehungen) ist, dann ist die Grammatik die „Physik" — die Naturgesetze dieses Universums. In der Linguistik beschreibt eine generative Grammatik, wie aus begrenzten Zeichen unendlich viele gültige Sätze gebildet werden. In unserem System beschreibt die Graph-Grammatik, wie sich der Zustand der Welt legal verändern darf.

Graph-Ersetzungssysteme

Die Welt verändert sich nicht durch magisches „Updaten", sondern durch Ersetzung.

Regel-Beispiel

IF (Kunde fordert CR) THEN ersetze "CR" durch Sub-Graphen: Impact-AnalyseKostenkalkulationFreigabe

Das ist der Kern von Automotive SPICE und ISO 26262. Diese Normen sind nichts anderes als Graph-Grammatiken. Sie schreiben vor, welche Knoten (Work Products) zwingend existieren müssen und wie sie verbunden sein müssen, damit das Projekt als „compliant" gilt.

Determinismus vs. Emergenz

Die Grammatik-Regeln sind streng deterministisch (wenn A, dann B). Aber weil hunderte FTEs, Blocker und CRs gleichzeitig nach diesen Regeln interagieren, entsteht Emergenz. Der Graph zeigt das Verhalten eines komplexen adaptiven Systems.

Grammatik-Verletzung = Bug in der Realität

Wenn im Graphen ein Knoten „SW Release" existiert, aber die Kante zu „HIL Test bestanden" fehlt — dann ist das ein ontologischer Bruch. Das System muss diesen Zustand als „illegal" markieren.

02 Praxis: ASPICE SWE.3 — Detailed Design

Grammatik-Regel

ON INSERT "SWE.3 Item" CHECK { verified_by TEST → MIN 2 Tests (DC ≥ 80%) traced_from SWE.2 → EXACTLY 1 parent allocated_to ISM → NONE allowed (SWE.4 only) } FAIL → REPORT "Dangling SWE.3" WITH line_number

Diese Regel fand 13.347 unverlinkte SWE.3-Items — 99,4% der Gesamtmenge. Drei Bugs im Klassifizierungs-Code wurden aufgedeckt.

Illegaler Zustand

SWE.3: CDD_I2c_WriteByte ├─ verified_by → (NONE) ├─ traced_from → (NONE) └─ allocated_to → ISM-089
BLOCKED — 3 Verstöße

Legal

SWE.3: CDD_Spi_TransferSync ├─ verified_by → TEST-VER-236 ├─ traced_from → ARCH-003.8.2 └─ allocated_to → (NONE — correct)
✓ VALID