Забезпечення надійності та безпеки iot-пристроїв: перехід від C/C++ до Rust на рівні мікропрограм

Abstract

This work analyzes the impact of memory management errors on IoT fault tolerance, justifying the transition from C/C++ to Rust for firmware. While C/C++ introduces risks like memory corruption and undefined behavior – causing vulnerabilities and crashes – Rust eliminates these at compile time via its ownership and borrowing models. Furthermore, Rust prevents exploits by turning buffer overruns into controlled panics, statically guarantees thread safety, and reduces cyclomatic complexity. Integrating Rust neutralizes prevalent memory vulnerabilities during compilation, radically improving hardware fault tolerance.