HarSaRK-RS: Hard Safe Real-Time Kernel in Rust

With the growth of the use of embedded systems in safety-critical applications, the demand for predictable and reliable real-time systems has increased drastically. A large percentage of real-time systems developed today are still built using C due to the performance requirements, and hence inherently unsafe. The advent of Rust has made it possible to achieve safety and reliability without any compromise on performance. This paper presents HarSaRK-RS, a priority-based preemptive hard real-time kernel implemented in Rust. The proposed kernel design and architecture ensure safety at compile time keeping the data-structure and runtime overhead of the kernel minimal, thus enhancing the real-time guarantees of the system. It guarantees freedom from data races, deadlocks, and priority inversion at compile-time. The Kernel core is independent of any clock for its operation, making it power efficient and ideal for battery-operated environments.