Safe API Framework
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
Loading...
Searching...
No Matches
Memory Module - Architecture

Static Allocation Only

  • Memory module enforces no dynamic allocation. All memory available at
  • compile-time or initialization. Framework never calls malloc/free.

Strategy

  • Allocate at compile-time (static arrays, stack) or initialization (once).
  • Pre-calculate max sizes. Use static_assert to verify budget.

MISRA Rule 20.6

  • ✓ No malloc/free
  • ✓ No dynamic allocation
  • ✓ All storage static or stack-scoped

See Also