Rust言語を、人命に関わるような決定的に安全性が重要なシステムに使用することをサポートする「Safety-Critical Rust Consortium」設立

Rust言語を、人命に関わるような決定的に安全性が重要なシステムに使用することをサポートする「Safety-Critical Rust Consortium」設立 Rust言語を推進する「The Rust Foundation」は、人命や財産に関わるような安全性が決定的に重要になるシステムのためにRust言語を責任を持ってサポートするためのコンソーシアム「Safety-Critical Rust Consortium」の設立を発表しました。 Rust言語は、C言語のように低レイヤのシステム開発向けに作られたプログラミング言語です。 不正なメモリ領域を指すポインターなどを許容しない安全なメモリ管理や、マルチスレッド実行においてデータ競合を排除した高い並列性を実現している点などの特長を備えているため、安全かつ高速なアプリケーション開発を実現します。 セーフティ・クリティカルとは？ 「セーフティ

[masterq]

"コンソーシアムの活動範囲には、ガイドライン、リンター、ライブラリ、静的解析ツール、形式手法、産業および法的要件を満たすための言語サブセットの開発などが含まれます" 期待

[fivestech]

参画してるトヨタはAreneでRust使ってるみたいだけど、このコンソーシアムでそのノウハウが共有されることになればいいな

[poad1010]

この記事をおすすめしました

[rgfx]

おーついに

[boomerangj]

面白い切り口だ

[minamishinji]

よい動き。

[ndanna]

rust学習

[vndn]

『産業および法的要件を満たすための言語サブセットの開発』

[sbrtnpg]

医療系システムはRustで開発してくださいって顧客から言われる世界線になる可能性がある？

[bopperjp]

MISRA C を置き換えに行く？

[gabill]

“Woven”

[gfx]

おお、これは野心的なプロジェクトだな！