NTT データら、ソフトウェアの信頼性向上を目指す「ディペンダブル・ソフトウェア・フォーラム」を発足

株式会社 NTT データ、富士通株式会社、日本電気株式会社、株式会社日立製作所、株式会社東芝、大学共同利用機関法人 情報・システム研究機構 国立情報学研究所の6者は、2009年12月22日、「ディペンダブル・ソフトウェア・フォーラム（Dependable Software Forum、略称 DSF）」を発足させたことを発表した。

DSF は、障害を起こさないソフトウェアの生成を実現するために、回避（故障や攻撃の発生を予防）、除去（故障の数や攻撃の程度を減少）、耐障害性（フォールトトレラント）の3つの観点から実践的、かつ系統的、論理的な構成技術と設計技術を確立させる研究開発活動であるという。

将来、この活動による成果を IT 業界へ普及、定着させ、ソフトウェアに起因するシステム障害の低減を目指す。

ディペンダブル ソフトウェアは、主として信頼性や安全性向上を目指すソフトウェアの考え方で、米国、欧州、中国では高信頼なソフトウェア開発の応用研究に国家的な規模で取り組んでいるほか、インドではディペンダブル ソフトウェアなどを実現する IT 人材の育成に注力しているという。

日本においては、ソフトウェア開発企業がそれぞれに研究を進めてきたが、今回、5社と1機関は DSF を発足させ、共同検討による迅速な対応手段の確立と、その成果の IT 業界全体への普及展開を目指す。

DSF における最初の取り組みとして、形式手法適用評価 WG（Formal Method Application WG：FMAWG）を立ち上げる。

形式手法は、品質の高いソフトウェアを効率よく開発するために、数学を基盤とした矛盾のない仕様書を作成し、それが正しいかどうかを検証する手法のこと。

FMAWG は、形式手法の産業界への効果的な普及と定着を目指し、形式手法に関する実績およびノウハウを持つ企業、個人、団体による議論と知見の共有を行い、共同で成果物の構築を推進する。

また、実際の開発現場で活用できる形式手法の適用事例や適用ノウハウを蓄積、公開し、ユーザーにも品質向上のメリットが大きい、形式手法を適用したシステム開発の可能性を追求するとのことだ。

Twitter	iPhoneアプリ / iPadアプリ		Androidアプリ
Facebook	RSS	ニュースメール