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
メルカリのスマホ決済サービス「メルペイ」がマイナンバーカードのJPKIによるリアルタイムの本人確認に対応
セキュリティ
2021-03-05 16:10
レブコムの音声解析AI電話MiiTelが受発信用電話番号として主要都市の市外局番を追加、03・06以外の地元の番号が利用可能に
IT関連
2022-03-01 08:18
生成AI活用の課題は「ハルシネーション」と「セキュリティ」–AI inside調査
IT関連
2024-10-20 12:08
Google、Androidアプリ手数料を15%にする「Play Media Experience Program」
アプリ・Web
2021-06-29 10:48
旭化成ファーマ、アバナードの支援で「市民開発」を推進
IT関連
2024-12-19 06:35
コニカミノルタとソフトバンク、AIやIoTの活用で戦略的協業
IT関連
2022-04-09 03:17
MS、2月の月例パッチを公開–「Windows 11」ユーザーは無視できない内容
IT関連
2025-02-14 01:13
「場所と時間にとらわれない」、でも…–フリーランサーの利点と欠点の実際
IT関連
2022-08-10 16:41
公務員のテレワーク進まず 住民との窓口多く対応に苦慮
IT関連
2021-01-16 18:27
「Vanilla OS」を試す–セキュリティと使いやすさを両立させたLinux OS
IT関連
2023-01-17 10:52
「チャットコマース」と「接客DX」のZealsが総額18億円を調達、株式上場の準備を開始
人工知能・AI
2021-04-02 10:36
三井情報、沖縄電力へプラントデータの収集分析システム基盤を提供
IT関連
2021-06-01 14:41
ボルボ、ダイムラー、トレイトンが約660億円を投じて全欧的な電気トラックの充電ネットワーク構築
モビリティ
2021-07-07 02:49
創業者の「悪夢」、インシュアテックSureはベンチャー支援者が模倣企業設立、出資したと主張
ネットサービス
2021-02-22 08:16