Rust - funktional sichere Software für Medizin und Luft- und Raumfahrt

In unserem Interview mit Jose Ruiz von AdaCore haben wir ein Update über das wachsende Interesse an Rust erhalten. Stark regulierte Branchen wie Luft- und Raumfahrt, Verteidigung, Eisenbahn und Medizin wägen die Vorteile von Rust gegenüber Alternativen wie Ada, C und C++ ab. AdaCore bereitet die Grundlagen für diese Entwicklung vor, indem es seine Erfahrung mit funktional sicherer Software nutzt.

Rust hat mit seinem Versprechen einer besseren Code- und Speichersicherheit bei Entwicklern eingebetteter Systeme viel Aufmerksamkeit erregt. AdaCore, bekannt als Anbieter von Ada-, C- und C++-Tools für sicherheitskritische Branchen wie Luft- und Raumfahrt und Verteidigung, reagiert auf dieses wachsende Interesse an Rust. Das Unternehmen erforscht, wie diese Sprache für diese Anwendungen vorbereitet werden kann, um sicherzustellen, dass die Werkzeuge die zahlreichen bestehenden Normen und Vorschriften erfüllen. Es gibt jedoch noch mehr als nur die Werkzeuge.

Die Crates von Rust bieten wiederverwendbare Bibliotheken, die ebenfalls getestet werden müssen. In unserem Gespräch mit Jose Ruiz betont er, dass das Interesse wächst, aber die meisten Kunden zögern, als erste ein Projekt von Anfang bis Ende mit dieser neuen Programmiersprache zu übernehmen. AdaCore kann auch Entwicklungsunterstützung bieten und diejenigen anleiten, die sich zum ersten Mal mit der Entwicklung sicherheitskritischer Systeme befassen.