官方资格 - 二茂铁
Officially Qualified – Ferrocene

原始链接: https://ferrous-systems.com/blog/officially-qualified-ferrocene/

Ferrocene 最近根据 ISO 26262 和 IEC 61508 等国际标准获得了在安全关键环境中使用的认证。这标志着 Rust 编译器首次获得此类认证。 通过这项新开发,公司可以为汽车中使用的电子系统创建软件,由于满足这些标准中规定的严格的初始危险要求,因此可以在批量生产期间部署该软件。 此外,与传统方法相比,二茂铁能够以显着降低的成本实现更安全的编程,从而更高水平地降低风险。 这些功能使二茂铁不仅成为 Rust 的重要里程碑,而且成为全球安全工程领域的重要里程碑。 如果有兴趣,可以联系 Ferrocene 于明年初推出的个人购买选项。 然而,目前的最低订购要求是 10 个许可证,为期 12 个月,价值 2,400 欧元(每个席位 240 欧元)。

虽然 Rust 的内存模型和所有权概念确实是为了促进安全的多线程和并发性,但它的设计并不仅仅关注这些方面。 相反,Rust 的首要原则是在整个程序生命周期中确保类型安全,以消除由缓冲区溢出或空指针取消引用引起的整类错误。 这种防止错误的方法可以使系统整体更安全,特别是在科学模拟、金融交易算法和飞行控制等实时系统等高性能计算领域。 此外,Rust 社区继续快速发展,并积极跨各个领域合作以扩展其功能。 因此,尽管并发性和线程安全性在 Rust 中发挥着重要作用,但实现这些功能的基本原理超出了这个范围。
相关文章

原文
Ferrocene icon

Ferrocene

A Rust compiler toolchain for safety- and mission-critical environments.

Mark of approval called `TÜV SÜD Mark P`

It’s official: Ferrocene is ISO 26262 and IEC 61508 qualified!

You can even find the certificate in TÜV SÜDs certificate database.

This means we achieved qualification for the open source Ferrocene toolchain. Ferrocene 23.06.0, based on Rust 1.68, is now fully usable in safety critical environments.

Early last month, Ferrocene’s source code was open sourced on GitHub.

After going through a couple rounds of dotting the i’s and crossing the t’s, TÜV SÜD officially sent over the certification on Monday October 29. This is the first qualification of a Rust compiler.

With these qualifications, Rust can now be used to develop software for electronic systems in series production road vehicles. We’ve qualified Ferrocene for use in systems up to ASIL D – the highest classification of initial hazard as defined by this standard. This standard provides automakers with guidelines that make the software being used to develop, produce, operate and service the automotive sectors safe to use.

Beyond the automotive, Ferrocene can also be used in electronic programmable systems in the industrial sector. Here the focus is on developing products or applications that carry out safety functions. Like the automotive certification, we’ve also gone for the highest level of risk reduction and qualified it at SIL4.

“Ferrocene is a major achievement both for Rust and safety in automotive,” says Florian. “It shows that Rust software can be used in all critical environments. The process was challenging but matched what we’ve come to expect from Rust: It enables building correct software at a much lower cost.”

With this step, we can start rolling out the sales process on Ferrocene. Our initial availability is limited to a minimum order of 10 license seats for 12 months, starting at €2.400,00 (€240 each) for the quality managed licenses.

We’ve also got an overview of the reasons for Ferrocene on our YouTube channel:

And if your organization is interested in purchasing licenses, then reach out to us.

We’ll be rolling out an individual purchase option at €25 per seat per month or €240 per seat per year in early 2024.

联系我们 contact @ memedata.com