GNAT Pro for Rust saat ini sedang dalam tahap Early Access untuk sejumlah pelanggan tertentu dan menyediakan compiler (rustc), pengelola build dan paket (cargo), serta debugger (gdb) untuk Linux x86_64 dan target silang Linux.
Saat GNAT Pro for Rust 25 resmi dirilis, produk ini akan menyediakan integrasi penuh dengan gprbuild dan menawarkan binding dua arah Ada-Rust tingkat lanjut, sekaligus mendukung lebih banyak platform.
gprbuildadalah sistem build untuk Ada dan C/C++ yang digunakan di GNAT Studio.
GNAT Pro for Rust direncanakan untuk mendukung persyaratan sertifikasi keselamatan perangkat lunak untuk pesawat (DO-178), perkeretaapian (EN-50128), dan antariksa (ECSS-E-ST-40C serta ECSS-Q-ST-80C), di antaranya. Roadmap AdaCore mencakup sertifikasi pustaka bahasa (seperti subset dari libcore), riset traceability source-to-object, dan sertifikasi compiler (sertifikasi alat), serupa dengan yang sudah tersedia di GNAT Pro untuk Ada dan GNAT Pro untuk C/C++.
4 komentar
Semoga MCU juga bisa sedikit lebih berusaha.. -_-;
Di perusahaan kami juga sempat ada pembahasan untuk mengadopsi Rust, jadi saya mendengarnya sekilas; kesimpulannya sepertinya adalah AdaCore yang harus lebih giat... begitu ya. (karena masalah sertifikasi dan sebagainya)
Sepertinya bidang embedded akan menjadi semakin menarik. Jika juga mendukung sektor otomotif (seperti 26262), skalanya tampaknya akan membesar.
Ada banyak upaya untuk menggunakan Rust di sistem embedded, dan tampaknya AdaCore maju selangkah dengan mencoba menyediakan lingkungan pengembangan yang bahkan sudah bersertifikasi tool. (Perangkat lunak safety-critical seperti software untuk penerbangan mengharuskan alat yang digunakan dalam pengembangannya juga mendapat sertifikasi.)