Overview

This module is developed with awareness of MISRA-C:2012 guidelines and is suitable for use in ISO 26262 safety-related applications.

The implementation avoids dynamic memory allocation, recursion, and non-deterministic library calls. All memory accesses are bounded and validated before use.

Controlled Deviations

ID	Rule	Description	Justification
DV-QUEUE-001	MISRA-C:2012 Rule 11.4	Cast between `void` and `uint8_t` for raw byte copying.	Controlled and justified cast, no aliasing or type reinterpretation. Enables a generic queue implementation. Tested indirectly via DV_QUEUE_001 unit tests, including NULL and edge cases.

See also: docs/compliance/MISRA_Deviations.md

Verification

Static analysis with MISRA checker: PASSED (no critical violations)
Unit tests (DV_QUEUE_001): cover int, struct, char array, wrap-around, zero-byte elements, NULL pointer handling
Code review: APPROVED by Software Safety Architect