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.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 email@example.com
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 firstname.lastname@example.org