GNAT Pro for Rust befindet sich derzeit im Early Access für ausgewählte Kunden und bietet den Compiler (rustc), den Build- und Paketmanager (cargo) sowie den Debugger (gdb) für x86_64-Linux und Linux-Cross-Targets.
Mit der offiziellen Veröffentlichung von GNAT Pro for Rust 25 wird eine vollständige Integration mit gprbuild geboten, außerdem erweitertes bidirektionales Ada-Rust-Binding und Unterstützung für weitere Plattformen.
gprbuildist das in GNAT Studio verwendete Build-System für Ada und C/C++.
GNAT Pro for Rust soll Anforderungen an die sicherheitsrelevante Softwarezertifizierung unter anderem für Luftfahrt (DO-178), Bahn (EN-50128) und Raumfahrt (ECSS-E-ST-40C und ECSS-Q-ST-80C) unterstützen. AdaCores Roadmap umfasst die Zertifizierung von Sprachbibliotheken (z. B. einer Teilmenge von libcore), ähnlich wie bereits für GNAT Pro für Ada und GNAT Pro für C/C++ verfügbar, Untersuchungen zur Source-Object-Traceability sowie die Zertifizierung des Compilers (Tool Qualification).
4 Kommentare
Hoffentlich strengen sich die MCUs auch etwas mehr an.. -_-;
Auch in unserem Unternehmen gab es Gespräche über die Einführung von Rust, daher habe ich mir das nebenbei angehört. Das Fazit schien zu sein, dass AdaCore sich ins Zeug legen muss ... (wegen Zertifizierung und ähnlicher Probleme)
Der Embedded-Bereich dürfte dadurch deutlich spannender werden. Wenn auch Automotive-Anforderungen (etwa 26262) unterstützt werden, könnte das dem Thema erheblich Auftrieb geben.
Es gibt viele Bemühungen, Rust im Embedded-Bereich einzusetzen, und es scheint, dass AdaCore nun sogar eine Entwicklungsumgebung bereitstellen will, bei der selbst die Tools zertifiziert sind. (Bei Safety-Critical-Software wie etwa Avionik-Software müssen auch die in der Entwicklung verwendeten Werkzeuge zertifiziert werden.)