Für den Einsatz von Applikationen auf Rust-Basis ist kein Gastbetriebssystem beziehungsweise keine Schnittstelle wie POSIX notwendig. Applikationen können direkt als native PikeOS-Instanz ausgeführt werden. Die Rust-Implementierung wurde so umgesetzt, dass wesentliche PikeOS-Merkmale genutzt werden können. Dazu zählen das Certifiable File System, Communication Ports und das Property-Management.
Zusammen mit dem gegen die Common Criteria auf Stufe EAL 5+ Security-zertifiziertem PikeOS (Version 5.1.3) bildet Rust eine cybersichere und funktional sichere Grundlage für eingebettete Applikationen. Anwendungsfelder für die Kombination beider Technologien finden sich bei sicheren Gateways und bei Anwendungen, die höchste Ansprüche an funktionale Sicherheit erfüllen müssen. Dazu gehören Medizintechnik, Avionik, Automotive, das Bahnwesen und die Industrie.
PikeOS ...
ist darüber hinaus gegen viele Industrie-Software-Safety-Standards vorzertifiziert wie die für die Avionik geltende DO-178C, EN 50128 und EN 50657 für das Bahnwesen, ISO 26262 für Automotive sowie EN 61508 für die Industrie und IEC 62304 für die Medizin.
Rust ...
weist starke Datentypsicherheit auf sowie ein präventives Sicherheitskonzept. Die Programmiersprache ist wenig anfällig gegenüber Pufferüberläufen. Dadurch fällt ein Hauptangriffsvektor weg, den Hacker sich zu Nutze machen um eine Rechteeskalation zu erzwingen und sich somit eines Systems zu bemächtigen.
