Rapita Systems 将于下周在高完整性软件大会 (HISC) 上展示其 RapiCover Zero 和 RapiTime Zero 工具与 AdaCore 的 GNAT Pro for Rust 的集成。该集成将展示如何在用 Rust 编写的安全关键代码的目标测试期间收集结构覆盖率和执行时间指标(包括最坏情况执行时间)。
Rapita 的零仪表工具(包括 RapiCover Zero 和 RapiTime Zero)支持在不使用仪表的情况下验证安全关键代码。无论项目使用哪种编程语言或语言组合,组织都可以通过在不使用仪表的情况下对最终目标版本进行测试来减少验证工作量。
GNAT Pro for Rust 为关键的嵌入式 Rust 应用程序提供稳定性、安全性和可靠性。AdaCore 最初专注于 Ada,这是一种最先进的编程语言,专为开发长寿命、安全关键、经过认证的软件而设计。多年来,这一重点已从 Ada 语言扩展到其形式可验证的 SPARK 子集、C 和 C++,现在扩展到 Rust。AdaCore 是 Rust 基金会的成员,致力于让 Rust 在安全关键软件领域取得成功。
AdaCore 的 GNAT Pro 嵌入式产品经理 Jose Ruiz 对与 Rapita 继续合作发表了评论,他表示:“Rust 要想成为安全关键市场的可行替代方案,需要拥有 Rapita 专业知识和资历的公司参与。我们很高兴看到 Rapita 为 Rust 生态系统做出贡献,并很高兴扩大与他们的长期合作伙伴关系,涵盖 Ada、SPARK 以及现在的 Rust。”
高完整性软件会议 (HISC)将于2024 年 10 月 22 日在威尔士国际会议中心 (ICC) 举行。
HISC 的使命是分享软件工程从业者面临的挑战、最佳实践和经验。会议将邀请行业和学术专家发表演讲,分享他们在各个行业领域适用的必要技术和方法方面的经验和知识。
Rapita Systems 首席技术官 Antoine Colin 对即将举行的活动发表评论:“我们很高兴看到一种新语言进入安全关键系统开发领域,它有望带来一些独特的优势。Rust 的内存安全性与强大的错误处理机制相结合,确保了系统的稳定性和可靠性,使其成为安全关键软件的理想选择。我们很高兴能够与 AdaCore 合作,将使用 Rust 的安全关键系统所需的编译器和验证工具整合在一起。”