By incorporating Embedded Rust into PikeOS, SYSGO is able to offer its customers a highly secure and reliable solution for their embedded systems. The combination of the RTOS and hypervisor provides customers with the ability to run multiple applications or operating systems on a single piece of hardware, improving performance and reducing costs.
The availability of Embedded Rust into PikeOS also helps to meet the high standards for Safety and reliability required by Safety-critical systems, such as those used in the Aerospace, Automotive, and industrial control industries. This is because Embedded Rust is designed to be highly secure and reliable, with features such as memory protection and error checking built in.
Furthermore, customers can take advantage of the robust Embedded Rust Security features within PikeOS to build highly reliable and secure embedded systems for a wide range of applications and industries.
In the following we show an exemplary architecture:
Here is a list of PikeOS technology features that have been added in comparison to the plain Embedded Rust scope:
- PikeOS Native threading & synchronization
- Rust panic handler routed to the PikeOS health monitor system
- PikeOS file system and property system
- PikeOS Certifiable File System (CFS)
- PikeOS communication ports
(ARINC 653-compatible queuing and sampling ports)
PikeOS Rust Demo
This document describes the extent and usage of the PikeOS Rust technology demo. Is has been tested for x86_64 and armv8hf architectures, but may run on other 64-bit architectures as well. The demo requires a Linux desktop host computer with PikeOS 5.1 and the development IDE CODEO. In addition, it works with Windows 10 computers with WSL2 installed. An X-Server, (e.g. VcXsrv) is required.
The demo is basing on Embedded Rust (https://docs.rust-embedded.org/book/), and comes with additional features, such as the alloc crate that enables heap memory management and Rust collections.
The focus on Rust Embedded allows to execute the Rust code as plain PikeOS native processes that have a low memory footprint and minimum requirement to the operating system. This in turn makes the rust code way more applicable to safety and security certification in comparison to rust systems that require a POSIX environment.
The build system is controlled by the cargo packet management which in turn is integrated into the CODEO IDE.
Our Application Notes are available at your SYSGO Sales contact.
Extremely Slim Base System
PikeOS applications are running on Embedded Rust in order to keep the base system as simple as possible. Still, the capabilities of PikeOS are available via a dedicated and optimized Rust service API. In addition, the developer has access to the Rust core and alloc crates.
Strong Security Focus
Rust is designed to be highly secure with features such as automatic memory management which helps to prevent common Security vulnerabilities such as buffer overflows.
With the Safety-certifiable PikeOS and a qualified tool chain from SYSGO and its partners, time-to-market and certification efforts can be reduced. Mixed critical systems can also be supported.
Support & Documentation
Rust offers latest documentation, a friendly compiler with useful error messages, and excellent tooling. It also includes an integrated package manager and build tool, smart multi-editor support with auto-completion and type inspections, an auto-formatter, and more.
Compiler Error Messages
The Rust compiler provides meaningful and context sensitive error messages, making it easier for developers to write and maintain code, even for complex systems.
About Rust & The Rust Foundation
The Rust programming language is an open source, community project governed by a core team and is sponsored by the Rust Foundation. The Rust Foundation is an independent non-profit organization dedicated to stewarding the Rust programming language, nurturing the Rust ecosystem, and supporting the set of maintainers governing and developing the project.