Rust programmeringssproget er nu tilgængelig til RTOS og Hypervisor PikeOS

Det sikkerhedsfokuserede programmeringssprog, Rust, er nu til tilgængelig til realtidsoperativsystem (RTOS) og hypervisor PikeOS (in english).

The security-focused programming language Rust is now available for the real-time operating system and hypervisor PikeOS. For the use of applications on Rust basis no guest operating system and/or no interface is necessary such as POSIX: Applications can run directly on a native PikeOS instance, making them both resource-efficient to operate and easier to certify against industry-specific safety and security standards. Rust was implemented in such a way that essential PikeOS features can be used. These include the Certifiable File System, communication ports and property management.

Together with PikeOS (version 5.1.3), which is security-certified against Common Criteria at the EAL 5+ level, Rust forms a cyber-secure and functionally safe foundation for embedded applications that is unprecedented in the safe-and-secure platform and embedded system landscape.

Areas of application for the combination of both technologies can be found wherever no compromises can be made in system protection, such as in secure gateways and in applications that have to meet the highest functional safety requirements. The target markets include medical technology, avionics, automotive, rail and industry.

PikeOS is also pre-certified against many industry software safety standards such as DO-178C for avionics, EN 50128 and EN 50657 for rail, ISO 26262 for automotive, EN 61508 for industrial and IEC 62304 for medical. The necessary focus on the combination of safety and security takes into account the realization that functional safety is nowadays increasingly also a question of security.

Rust is characterized, amongst other things, by strong data type security and a preventive security concept that makes it easier for programmers to detect and avoid safety-critical errors at the development stage. Consequently, this helps to reduce vulnerabilities in applications and thus protect against cyber attacks. A major strength of Rust, which is repeatedly demonstrated in practice, is its much lower susceptibility to buffer overflows compared to other programming languages. This eliminates a major attack vector that hackers exploit to force privilege escalation and thus seize a system.

- Supporting Rust for PikeOS was a logical step for us, because we take every possible step to make our operating system even more secure. I am therefore very happy that we have now succeeded in taking this step and that we can offer our customers a solution that not only they, but also their customers can rely on, says Dr. Oliver Kühlert, Head of Innovation Lab at SYSGO.

SYSGO is the leading European manufacturer of embedded software solutions such as the real-time operating system and hypervisor PikeOS and the embedded industrial-grade Linux ELinOS. Since 1991, SYSGO has been supporting customers in the Aerospace, Automotive, Railway and IIoT industries in the development of Safety-critical applications.

SYSGO was the first company worldwide to achieve the Safety requirement level SIL 4 for its multi-core capable real-time operating system and hypervisor PikeOS. PikeOS version 5.1.3 meets the Common Criteria at the EAL5+ level for x86 64-bit, ARMv8, or PowerPC and is also certified according to the strictest Safety standards such as IEC 61508, EN 50128, EN 50657 and ISO 26262, thus enabling application development according to the "Safe & Secure by Design" principle.

For industrial embedded systems, SYSGO also offers ELinOS, a Linux distribution with real-time extensions for embedded systems. Furthermore, solutions such as the Railway development platform (SAFe-VX) and the Secure Automotive Connectivity Platform (SACoP) for secure data transfer in, with and between automobiles are available.

SYSGO works closely with its customers throughout the entire product life cycle and supports them in the formal certification of software according to international standards for functional and IT Security. SYSGO is headquartered in Klein-Winternheim near Frankfurt, has subsidiaries in France and the Czech Republic and maintains a worldwide sales network. The company is ISO 9001:2015 and DIN EN ISO / IEC 27001:2017 certified and part of the European Thales Group.