Lynx schließt sich AdaCore und Ferrous Systems an

Lynx Software Technologies gab bekannt, dass sein Betriebssystem LynxOS-178 und der Unikernel LynxElement die Systemprogrammiersprache Rust unterstützen sollen. Zu diesem Zweck hat sich das Unternehmen mit folgenden Partnern zusammengetan: AdaCore, Anbieter von kommerziellen Softwarelösungen für die Sprachen Ada, C und C++, und Ferrous Systems, Anbieter von sicherheitskritischen und zertifizierten Toolchains für Rust-Anwender. Anfang dieses Jahres entwickelten Ferrous Systems und AdaCore gemeinsam die Ferrocene-Compiler-Toolchain, um die Anforderungen verschiedener regulierter Märkte wie Automobil, Avionik, Raumfahrt und Eisenbahn unterstützen zu können. Insbesondere können Ferrocene die erforderlichen Qualifizierungs- und Zertifizierungsunterlagen für ihre jeweiligen Märkte zur Verfügung gestellt werden. Lynx sieht Rust und die Rust-Toolchain Ferrocene als Schlüsselkomponenten für die Modernisierung der Entwicklung von eingebetteten Systemen an und integrierte daher Unterstützung dafür in seine Produkte, um die Entwicklung von sichererem Code zu ermöglichen. „Die Übereinstimmung der Aufgaben von AdaCore, Ferrous Systems und Lynx Software Technologies ist deutlich zu erkennen“, sagte Tim Reed, CEO von Lynx Software Technologies. „Ähnlich zu unserer langen Tradition, die Entwicklung von unternehmens- und sicherheitskritischen Systemen zu ermöglichen, hat AdaCore eine erfolgreiche Vergangenheit als vertrauenswürdiger Lieferant zertifizierter Toolchains, und Ferrous Systems bringt eine Fülle von Wissen und eine vielversprechende Erfolgsbilanz bei der Unterstützung von Entwicklern bei der Einführung von Rust in ihre eingebetteten Softwaresysteme mit. Wir glauben, dass die Kombination unserer jeweiligen Angebote es der Industrie ermöglichen wird, schnell sicherere Systeme auf den Markt zu bringen.“