Skip to content
KIRRA
Mission Console
OP

Compliance & Certification

functional-safety evidence · audit-ready posture

Simulated dataaudit chain · demo99.9% verification coverage
ISO 26262
ASIL D

Road-vehicle functional safety

Certifiedexp 2027-03
IEC 61508
SIL 3

E/E/PE safety-related systems

Certifiedexp 2027-01
ISO 13849
PL e / Cat 4

Safety of machinery — control

In Auditexp 2026-09
UL 4600
Conformant

Autonomous product safety case

Self-Assessedexp 2026-12

Audit Chain Integrity

SHA-256 hash-chained ledger · GET /system/audit/verify

demo
Chain intact
Total entries184,220
Signed / unsigned184,220 / 0
Signature validyes
Headverified
Latest hash0x9f3a…c1

Audit Ledger

tamper-evident enforcement events · GET /console/audit

  • 12:00:00governor
    KINEMATIC_ENVELOPE_BREACH
    KIRRA-13 cmd_vel 999 m/s → DENY
    verified
  • 11:59:19fleet
    POSTURE_TRANSITION
    KIRRA-10 → Degraded (confidence 0.41)
    verified
  • 11:58:38attestation
    ATTESTATION_TRUSTED
    KIRRA-09 Ed25519 verified
    verified
  • 11:57:57federation
    FEDERATION_REPORT_ACCEPTED
    peer-controller-west gen 4471
    verified
  • 11:57:16governor
    NOMINAL_VALID_KINEMATICS
    KIRRA-08 cmd_vel 1.2 m/s → ALLOW
    verified

Verification Test Results

safety-case evidence suites · static artifact

  • Safety-goal verification (SG1–SG4)412 / 412
    100.0%
  • Fail-closed fault injection (FDIT/RTM)188 / 192
    97.9%
  • Kinematic envelope property tests2,048 / 2,048
    100.0%
  • WCET timing-evidence (QNX target)64 / 64
    100.0%
  • Attestation & replay-prevention96 / 96
    100.0%

Software Bill of Materials

cert-scoped · static artifact

  • kirra-runtime-sdk2.4.1
    Proprietarysigned
  • ed25519-dalek2.1.1
    BSD-3pinned
  • rusqlite (bundled)0.31.0
    MITpinned
  • tokio1.40.0
    MITpinned
  • axum0.8.1
    MITpinned
  • iceoryx20.4.0
    Apache-2.0spike — not in cert scope

Signed Firmware Provenance

Ed25519 release attestation · static artifact

  • Governor partition (QNX)v2.4.1
    0x7c1a…9e · release-ed255192026-06-10 09:12
  • ROS2 adapter guestv2.4.1
    0x33b8…04 · release-ed255192026-06-10 09:12
  • Fleet verifier servicev2.4.0
    0xa9f0…71 · release-ed255192026-05-28 16:40

Evidence Sources

what's live vs static

  • Audit chain & ledgerdemo
  • Certifications (ISO/IEC/UL)static evidence
  • Verification testsCI artifact
  • Software bill of materialsbuild artifact
  • Signed firmwarerelease attestation

The audit chain is read live from the verifier's tamper-evident ledger. Certifications, tests, SBOM, and firmware provenance are point-in-time evidence artifacts, not runtime endpoints.