ISO
ISO 26262
Road vehicles — functional safety. The automotive functional-safety standard covering the full hardware-and-software life-cycle, with Automotive Safety Integrity Levels (ASIL) A through D.
Specifications declaring ISO 26262
L1
- SRS-001-DETERMINISTIC-HASH v0.1
Deterministic Hash Table
The certifiable-inference hash-table contract — platform-independent hashing, deterministic collision resolution, insertion-order iteration, zero malloc.
- SRS-007-TIMING v0.1
Deterministic Execution Timing
The L1 timing contract — execution time of core operations SHALL be independent of data values, with minimal jitter on identical hardware.
L2
- CI-MATH-001 v1.0
Certifiable Inference Mathematical Specification
The mathematical foundation for deterministic neural network inference — Q16.16 arithmetic and layer operations, every code path bound to a named theorem.
- SRS-006-CONVOLUTION v0.1
Deterministic 2D Convolution
2D convolution for safety-critical computer vision — sliding-window dot products with bit-perfect parity and bounded execution time across all platforms.
- SRS-008-POOLING v0.1
Max Pooling Layer
Deterministic max pooling for CNNs — bit-perfect spatial reduction with zero dynamic allocation; companion to SRS-006 at the L2 inference boundary.