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

今回は「Rust言語を、人命に関わるような決定的に安全性が重要なシステムに使用することをサポートする「Safety-Critical Rust Consortium」設立」についてご紹介します。

関連ワード (事故、能力、許容等) についても参考にしながら、ぜひ本記事について議論していってくださいね。

本記事は、Publickey様で掲載されている内容を参考にしておりますので、より詳しく内容を知りたい方は、ページ下の元記事リンクより参照ください。


Rust言語を推進する「The Rust Foundation」は、人命や財産に関わるような安全性が決定的に重要になるシステムのためにRust言語を責任を持ってサポートするためのコンソーシアム「Safety-Critical Rust Consortium」の設立を発表しました。

fig

Rust言語は、C言語のように低レイヤのシステム開発向けに作られたプログラミング言語です。

不正なメモリ領域を指すポインターなどを許容しない安全なメモリ管理や、マルチスレッド実行においてデータ競合を排除した高い並列性を実現している点などの特長を備えているため、安全かつ高速なアプリケーション開発を実現します。

セーフティ・クリティカルとは?

「セーフティ・クリティカル」(Safety-Critical)とは、人命や財産、環境などの重要なものに対して危害を及ぼすような事故や致命的な故障を起こすことなく動作するシステムの能力を指します。

とりわけ、自動車、航空、宇宙、エネルギー、医療、ライフサイエンスなど、人命や財産に直接的に大きな影響を及ぼしうる分野において、セーフティ・クリティカルは重要となります。

今回設立された「Safety-Critical Rust Consortium」の主な目的は、セーフティ・クリティカルなソフトウェアにおいて、プログラミング言語Rustの責任ある使用をサポートすることにあります。

設立にはThe Rust Foundationと日本からWoven by Toyotaが参加し、その他にArm、AdaCore、Ferrous Systems、HighTec EDV-Systeme GmbH、Lynx Software Technologies、OxidOS、TECHFUND、TrustInSoft、Veecleなど、合計で9社が参加しました。

ガイドライン、ライブラリ、静的解析ツールなどを開発へ

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

コンソーシアムの成果物は、他のRustプロジェクトの取り組みと互換性のある方法で開発され、ライセンスされる予定とされています。

COMMENTS


Recommended

TITLE
CATEGORY
DATE
シャープ、「ロボホン」の弟モデルを発表 甘えん坊でおっとりした性格に
企業・業界動向
2021-05-22 16:55
第3回:情報セキュリティ担当者が知るべき、サイバーエクスポージャー管理のメリット
IT関連
2023-06-21 08:17
マクニカ、DX内製化支援でオレンジリーフと協業
IT関連
2024-01-18 02:19
ヒートアップする倉庫や仕分けのロボティクス、Zebra TechnologiesがFetchを約324億円買収
ロボティクス
2021-07-03 04:49
Denodo創設者が語るデータ仮想化の今後–コロナ禍で「質の良いデータ」がより重要に
IT関連
2021-03-31 19:31
Ruby on Railsを推進する「The Rails Foundation」発足、理事長にDHH氏が就任。Cookpad、GitHub、37signals、Shopifyなどが創立
Ruby
2022-11-16 17:49
「電気の顔の見える化」目指すみんな電力が11.5億円のシリーズC調達、総調達額約41.5億円に
シェアリングエコノミー
2021-05-08 09:21
SAPジャパンと三菱電機、一般送配電事業者向けのDX推進で協業
IT関連
2022-09-23 17:42
サステナビリティー経営のITソリューションはERPベンダーに有利か
IT関連
2022-04-28 22:28
物体を認識して分類せずに直接意思決定を行うGhostの自動運転・衝突回避技術
モビリティ
2021-07-04 04:27
ハッカーがほぼ全モデルのiPhoneに有効な新しい脱獄ツールを公開
セキュリティ
2021-03-03 06:44
APACでネットワーク拡張に注力–Coltテクノロジーサービスの事業戦略
IT関連
2023-02-19 22:34
トランプ氏支持者によるSNS「GETTR」、立ち上げ日に侵入される
アプリ・Web
2021-07-07 20:21
Twelve-Factor Appの定義がオープンソース化。今後はコミュニティによりアップデートされるように
Heroku
2024-12-10 09:02