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

C11 stdint.h Foundation

  • Types module is a thin wrapper over C11's <stdint.h>. Provides fixed-width
  • integer types guaranteed by C standard: uint8_t, int32_t, etc. No
  • implementation - just type definitions and static assertions.

Guaranteed Sizes

  • * sizeof(uint8_t) == 1 byte
    * sizeof(uint16_t) == 2 bytes
    * sizeof(uint32_t) == 4 bytes
    * sizeof(uint64_t) == 8 bytes
    * sizeof(bool) == 1 byte (typically)
    *
  • Verified by framework at compile-time via _Static_assert.

MISRA Compliance

  • ✓ Rule 6.1 - Fixed-width types only
  • ✓ Rule 7.2 - Proper signedness
  • ✓ Rule 8.3 - Type compatible

See Also