
AdaCore 將於 Embedded World 2026 展示擴展版高完整性軟體產品線與嵌入式 Rust 工作流程
軟體開發商 AdaCore 將在 2026 年嵌入式世界大展上,展示針對航太、國防及車用領域的高完整性軟體開發工具,包括 SPARK 功能安全驗證、嵌入式 Rust 工作流程及 CodeSonar 深度靜態分析等最新技術方案。
來源:Unmanned Systems Technology
Ground Control 與 ArduPilot 開發團隊成功展示透過 Iridium Certus 衛星服務傳輸 MAVLink 遙測數據的可行性,使用 RockREMOTE UAV OEM 數據機,為偏遠地區無人機超視距飛行提供穩定的指揮控制與遙測通訊架構。
來源:Unmanned Systems Technology