风河文档下载：为关键系统启用Rust
Contact 资讯 Contact 下载 Contact 联系

产品介绍

为关键系统启用Rust


合作伙伴解决方案简介

简介

风河是全球关键任务智能系统软件的提供者，AdaCore 是软件开发与验证工具提供商。这两家公司携手为风河开物RTOS 7 提供 GNAT Pro for Rust 工具链，这是一个可验证的 Rust 工具链，专为关键 Rust 应用设计。