References

[1]

MISRA C:2012 - Guidelines for the use of the C language in critical systems. MIRA Limited, Watling Street, Nuneaton, Warwickshire - United Kingdom, 2013.

[2]

The Cppcheck developers. Cppcheck - a tool for static c/c++ code analysis. 2026. Available at <https://cppcheck.sourceforge.io/>.

[3]

Andreas Schneider. Cmocka. 2026. Available at <https://cmocka.org/>.

[4]

Amazon Web Services, Inc. FreeRTOS - Real-time operating system for microcontrollers and small microprocessors. 2026. Available at <https://www.freertos.org/>.

[5]

Arducam. Arducam Mini 2MP Plus. 2026. Available at <https://www.arducam.com/arducam-2mp-spi-camera-b0067-arduino.html>.

[6]

Dassault Systèmes. Solidworks - The Solution for 3D CAD, Design and Product Development. 2026. Available at <https://www.solidworks.com/>.

[7]

The KiCad developers. KiCad - A Cross Platform and Open Source PCB Design Suite. 2026. Available at <https://www.kicad.org/>.

[8]

The libcsp developers. The Cubesat Space Protocol. 2026. Available at <https://github.com/libcsp/libcsp>.