AdaCore 將於 Embedded World 2026 展示擴展版高完整性軟體產品線與嵌入式 Rust 工作流程

AdaCore 將於 Embedded World 2026 展示高完整性軟體與嵌入式 Rust 方案

高完整性軟體開發商 AdaCore 宣布將參加 2026 年 3 月 10 日至 12 日於德國紐倫堡會展中心舉辦的 Embedded World 2026 嵌入式世界大展，展示其最新工具與技術成果。

因應產業複雜度與法規壓力持續擴展產品線

AdaCore 正積極擴展其產品與服務範疇，以因應汽車、航太、國防及工業市場日益增長的系統複雜度與法規合規壓力。在展位 4-116，該公司專家將提供互動式展示，涵蓋以下核心技術：

• SPARK：用於功能安全與軟體正確性驗證
• 嵌入式 Rust 工作流程：專為嵌入式系統設計的 Rust 語言開發流程
• CodeSonar 整合方案：針對 C 及 C++ 程式碼進行深度靜態分析

多語言開發與前沿議題交流

此次展覽將成為討論 Ada、SPARK、Rust 及 C/C++ 多語言開發的重要平台。工程團隊可與專家就以下關鍵議題進行深入交流：

• 記憶體安全（Memory Safety）
• 大型語言模型（LLM）在功能安全領域的應用
• DevSecOps 及持續整合/持續部署（CI/CD）管線的最佳實踐

為進一步支援這些複雜系統的開發需求，AdaCore 也將推出全新的公開及企業培訓服務，旨在強化工程人員在多語言開發環境中的專業技能。

技術議程亮點

展會期間，AdaCore 代表將主導多場技術講座：

• 週二：工作坊——如何將 GitLab 整合至嵌入式 DevOps 流程
• 週三：技術演講——透過形式驗證方法（Formal Methods）實現安全與資安的設計內建，探討 SPARK 在建構可驗證安全軟體中的角色
• 週四：展商論壇——從裸機 Rust 開發邁向現代 SoC 上的可認證系統；以及利用 CI/CD 推動可量化的軟體品質改善

AdaCore 技術行銷主管 Mark Hermeling 表示：「嵌入式世界大展的與會者正在尋找創新方法來改善嵌入式系統的開發方式。AdaCore 提供一系列廣泛的高完整性軟體開發工具，我們誠摯邀請與會者參加我們的演講或蒞臨展位，了解我們的工具如何協助提升專案的安全性與資訊安全防護能力。」

對於無人機及無人系統產業而言，高完整性軟體開發工具在確保飛控系統、自動駕駛演算法及通訊模組的安全性與可靠性方面扮演著至關重要的角色，AdaCore 此次展示的多語言開發與形式驗證技術，將為相關領域的軟體認證提供更有力的支援。

原文來源： 查看原文