GNAT Pro for Rust: สภาพแวดล้อมการพัฒนา Rust สำหรับระบบเอ็มเบ็ดเด็ด

GNAT Pro for Rust ขณะนี้อยู่ในช่วง Early Access สำหรับลูกค้าบางราย โดยให้บริการคอมไพเลอร์ (rustc), ตัวจัดการการบิลด์และแพ็กเกจ (cargo) และดีบักเกอร์ (gdb) สำหรับ x86_64 Linux และ Linux cross-targets

เมื่อ GNAT Pro for Rust 25 เปิดตัวอย่างเป็นทางการ จะรองรับการผสานรวมกับ gprbuild อย่างสมบูรณ์ และมอบความสามารถด้านการทำ binding แบบสองทางขั้นสูงระหว่าง Ada - Rust พร้อมทั้งรองรับแพลตฟอร์มเพิ่มเติมอีกมากขึ้น

• gprbuild คือระบบบิลด์สำหรับ Ada และ C/C++ ที่ใช้ใน GNAT Studio

GNAT Pro for Rust มีแผนจะรองรับข้อกำหนดด้านการรับรองความปลอดภัยของซอฟต์แวร์สำหรับอากาศยาน (DO-178), รถไฟ (EN-50128), อวกาศ (ECSS-E-ST-40C และ ECSS-Q-ST-80C) เป็นต้น โดยโรดแมปของ AdaCore ยังรวมถึงการรับรองไลบรารีของภาษา (เช่น subset ของ libcore) ที่คล้ายกับสิ่งที่มีใช้งานอยู่แล้วใน GNAT Pro for Ada และ GNAT Pro for C/C++, การศึกษาด้าน source-object traceability และการรับรองคอมไพเลอร์ (การรับรองเครื่องมือ)

[jjpark78]

หวังว่า MCU จะสู้ขึ้นมาหน่อยนะ.. -_-;

[botplaysdice]

ที่บริษัทของผมก็มีการคุยกันเรื่องนำ Rust มาใช้ เลยได้ยินมาคร่าว ๆ จากข้าง ๆ แต่สรุปแล้วเหมือนจะเป็นว่า AdaCore ต้องสู้ต่อไป... น่าจะประมาณนั้นนะครับ (เพราะปัญหาเรื่องการรับรองต่าง ๆ)

[pugh123]

ดูเหมือนว่าวงการระบบฝังตัวจะน่าสนใจขึ้นนะครับ ถ้ารองรับงานยานยนต์ด้วย (เช่น 26262 เป็นต้น) ก็น่าจะทำให้ตลาดใหญ่ขึ้นมากครับ

[regentag]

มีความพยายามมากมายที่จะนำ Rust ไปใช้กับงาน embedded และดูเหมือนว่า AdaCore จะก้าวออกมานำเสนอ environment สำหรับการพัฒนาที่ผ่านการรับรองเครื่องมืออย่างเป็นทางการเลยทีเดียว (ซอฟต์แวร์ด้านความปลอดภัยวิกฤต เช่น ซอฟต์แวร์การบิน จำเป็นต้องให้แม้แต่เครื่องมือที่ใช้พัฒนาผ่านการรับรองด้วย)