Skip to content

docs(iso26262): artifact mapping + gap analysis#164

Open
avrabe wants to merge 1 commit intomainfrom
docs/iso26262-artifact-mapping
Open

docs(iso26262): artifact mapping + gap analysis#164
avrabe wants to merge 1 commit intomainfrom
docs/iso26262-artifact-mapping

Conversation

@avrabe
Copy link
Copy Markdown
Contributor

@avrabe avrabe commented Apr 21, 2026

Honest assessment: can rivet represent ISO 26262 work products today?

Single-commit design doc: `docs/design/iso26262-artifact-mapping.md`. Maps ~40 key ISO 26262:2018 work products against rivet's existing schemas.

Results

  • EXACT: 32.5% (13/40) — mostly where SCORE, ASPICE, and STPA already line up: system arch, V-model verification, DFA, GSN safety case, change management
  • APPROX: 42.5% (17/40) — types exist but miss 26262-specific fields (IEC 61508's SIL enum where ASIL is needed, `fmea-entry` missing DC/SPFM/LFM, `safety-goal` missing safe-state/FTTI)
  • ABSENT: 25% (10/40) — Item definition, Operational situation, HSI, HW detailed design, SPFM/LFM, PMHF, HW component qualification, proven-in-use, DIA, ASIL decomposition

Top 3 gaps by blast radius

# Gap Clause Why it can't be faked Effort
1 ASIL + ASIL decomposition 9-5 `asil`/`safety-level` enum exists but no `decomposes-asil` link and no validator logic for enum arithmetic (D → B+B / C+A / D+QM). Validator changes required, not just schema. L
2 FMEDA with SPFM/LFM/DC/PMHF 5-8, 5-9 score's `fmea-entry` is RPN-style descriptive; 26262 needs numeric DC, FIT rates, ASIL-keyed PMHF thresholds. Needs numeric-aggregation rules in rivet-core. L
3 Item definition 3-5 No `item` type. `stkh-req` is a requirement, not a scope/boundary/assumption container that HARA attaches to. M

Verdict

No — at 32.5% EXACT coverage rivet cannot honestly claim ISO 26262 support today. But it's closer than most requirements tools (STPA, GSN, ASPICE, DFA already complete), and a bridging `schemas/iso-26262.yaml` plus three validator enhancements (ASIL arithmetic, numeric threshold rules, ASIL inheritance invariant) would take it to ~75% EXACT.

Key evidence paths (verified by reading)

  • `schemas/score.yaml` — ASIL-aware, closest to 26262
  • `schemas/iec-61508.yaml` — generic parent but SIL not ASIL
  • `schemas/safety-case.yaml` — full GSN with `asil: QM/A/B/C/D`
  • `schemas/iso-pas-8800.yaml` — has `tool-class: TQL-1..5` but AI-scoped
  • No `schemas/26262` or `schemas/automotive` file exists today
  • No `SPFM`/`LFM`/`PMHF`/`FMEDA`/`HSI`/`asil-decomposition` strings appear anywhere in `schemas/`

Explicit caveats

  • This is developer-facing, not a certification opinion.
  • ISO 26262:2018 mapping (not 2011).
  • Mapping fidelity ≠ audit acceptance.

Test plan

Doc only. No code.

🤖 Generated with Claude Code

Copy link
Copy Markdown

@github-actions github-actions Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Rivet Criterion Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite Current: 933df33 Previous: d09a4bb Ratio
link_graph_build/10000 49040069 ns/iter (± 2549856) 26661047 ns/iter (± 1907239) 1.84
validate/10000 17243472 ns/iter (± 2569459) 12674693 ns/iter (± 764811) 1.36

This comment was automatically generated by workflow using github-action-benchmark.

@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 21, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@avrabe avrabe force-pushed the docs/iso26262-artifact-mapping branch from f4a9011 to f427be6 Compare April 21, 2026 18:59
Enumerates ~40 ISO 26262:2018 work products (parts 3-9), maps each to
rivet's current schemas (common, stpa, iec-61508, aspice, score,
safety-case, iso-pas-8800), and records the gaps that block an honest
claim of "ISO 26262 support". 32.5% EXACT, 42.5% APPROX, 25% ABSENT.
Top gaps: ASIL decomposition, FMEDA with SPFM/LFM/PMHF, item definition
with S/E/C-driven HARA, HSI specification, tool confidence TCL matrix.

This is gap analysis only — no schemas are proposed or implemented.

Refs: REQ-010, FEAT-001

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@avrabe avrabe force-pushed the docs/iso26262-artifact-mapping branch from f427be6 to 933df33 Compare April 21, 2026 19:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant