GNAT Pro for Rust hiện đang trong giai đoạn Early Access dành cho một số khách hàng và cung cấp trình biên dịch (rustc), công cụ build và quản lý gói (cargo), cùng trình gỡ lỗi (gdb) cho Linux x86_64 và các mục tiêu cross-target Linux.
Khi GNAT Pro for Rust 25 chính thức phát hành, sản phẩm sẽ cung cấp tích hợp đầy đủ với gprbuild và hỗ trợ binding hai chiều Ada - Rust nâng cao, đồng thời hỗ trợ thêm nhiều nền tảng hơn.
- gprbuild là hệ thống build cho Ada, C/C++ được sử dụng trong GNAT Studio.
GNAT Pro for Rust được lên kế hoạch hỗ trợ các yêu cầu chứng nhận an toàn phần mềm cho hàng không (DO-178), đường sắt (EN-50128), vũ trụ (ECSS-E-ST-40C và ECSS-Q-ST-80C), v.v. Lộ trình của AdaCore bao gồm chứng nhận thư viện ngôn ngữ (chẳng hạn như tập con của libcore), nghiên cứu truy xuất nguồn gốc source-object và chứng nhận trình biên dịch (chứng nhận công cụ), tương tự như những gì đã có sẵn trong GNAT Pro cho Ada và GNAT Pro cho C/C++.
4 bình luận
Giá mà MCU cũng cố lên được một chút.. -_-;
Bên công ty tôi cũng có nói đến chuyện áp dụng Rust nên tôi có nghe ngóng qua loa, mà kết luận hình như là AdaCore phải cố lên mới được... thì phải. (vì các vấn đề như chứng nhận các thứ)
Có vẻ lĩnh vực nhúng sẽ trở nên thú vị hơn. Nếu còn hỗ trợ cả mảng ô tô (như 26262, v.v.) thì quy mô thị trường có lẽ sẽ lớn hơn nhiều.
Đã có nhiều nỗ lực nhằm sử dụng Rust trong hệ thống nhúng, và có vẻ AdaCore đang tiến thêm một bước khi cung cấp hẳn một môi trường phát triển đã được chứng nhận cả công cụ. (Với phần mềm an toàn trọng yếu như phần mềm hàng không, ngay cả các công cụ dùng trong quá trình phát triển cũng phải được chứng nhận.)