MISRA

MISRA-C:2012

Guidelines for the use of the C language in critical systems. A coding-rule set widely adopted in automotive, aerospace, and medical-device software for restricting C to its statically analysable subset.

Canonical id: MISRA-C-2012
Declaring specs: 2

Specifications declaring MISRA-C:2012

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.

L2

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.