As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
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.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.