Rust

Rust is a modern, multi-paradigm programming language with strong focus on Safety, performance and reliability. It enforces Safety memory with the concept of ownership which guarantees that a reference points to a valid memory. Many Safety and Security issues are eliminated at compile time and Rust can be easily linked with other external programming languages (C / C++, Python, Javascript, ...).

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.

Arrow

Rust now available for Real-Time Operating System and Hypervisor PikeOS

Read the Press Release

Please accept functional cookies to watch this video.

SYSGO supports the Rust language for our real-time operating system PikeOS. It has been tested for x86_64 and armv8hf architectures, but may run on other 64-bit architectures as well.

The implementation is basing on Embedded Rust and the Rust code is executed as plain PikeOS native processes running within isolated partitions. PikeOS processes 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.

Beyond Rust Embedded, the implementation provides the PikeOS system API by means of system call wrappers in a user convenient Rust API.

Shadow

Exemplary Architecture

Embedded Rust Advanced

Added Features

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)
Shadow

Application Notes
 

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.

Contact us

Shadow

Customer Benefits

Arrow

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.

Check

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. 

Arrow

Safety Environment

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.

Check

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.

Check

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. 

Need more Information?

Tell us about your project and your needs.
 

Contact us

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.

www.rust-lang.org