国内大手5社、システム障害低減目指して共同研究--「形式手法」に着目

田中好伸(編集部) 2009年12月22日 12時56分

  • このエントリーをはてなブックマークに追加

 国内ITベンダー大手5社は12月22日、ソフトウェアの信頼性や安全性を向上させるために「ディペンダブル・ソフトウェア・フォーラム(Dependable Software Forum:DSF)」を発足させたことを発表した。

 DSFに参加するのは、NTTデータ、富士通、NEC、日立製作所、東芝の5社と国立情報学研究所。DSFでは、障害を起こさないソフトウェアの生成を実現するために、故障や攻撃の発生を予防する「回避」、故障の数や攻撃の程度を減少させるための「除去」、「耐障害性」という3つの観点からの研究開発を展開して、ソフトウェアに起因するシステム障害の低減を目指す。

 最初の取り組みとして、“ディペンダブル・ソフトウェア”を実現する有力な手段として注目される「形式手法」に着目した「形式手法適用評価ワーキンググループ(Formal Method Application Working Group:FMAWG)」を立ち上げる。

 形式手法は、品質の高いソフトウェアを効率よく開発するために、数学を基盤とした矛盾のない仕様書を書いて、それが正しいかどうかを検証する手法。FMAWGは、形式手法の産業界への普及と定着を目指して、形式手法に関する実績やノウハウを持つ企業や個人、団体による議論や知識を共有して、共同で成果物を構築することを推進するとしている。

 DSFは、FMAWGを立ち上げるほかに適宜新しいWGを立ち上げて研究を進める予定としている。2012年3月末をメドに成果物を構築して公開することを目指す。

 ディペンダブル・ソフトウェアは、信頼性や安全性の向上を目指すソフトウェアの考え方であり、今後のソフトウェアのあるべき姿として注目されている。欧米や中国では、高信頼なソフトウェア開発の応用研究に国家的な規模で戦略的に取り組んでいるという。インドでも、ディペンダブル・ソフトウェアを実現する人材の育成に注力していると言われる。

 日本では従来、ソフトウェアを開発する企業が独自に研究を進めてきているが、今回5社を中心に共同検討での迅速な対応手段の確立と業界全体への普及展開を目指すことで合意して、DSFを発足させたとしている。

図 DSFの検討範囲

ZDNet Japan 記事を毎朝メールでまとめ読み(登録無料)

  • このエントリーをはてなブックマークに追加

この記事を読んだ方に

関連キーワード
ビジネスアプリケーション

関連ホワイトペーパー

連載

CIO
シェアリングエコノミーの衝撃
デジタル“失敗学”
コンサルティング現場のカラクリ
Rethink Internet:インターネット再考
インシデントをもたらすヒューマンエラー
トランザクションの今昔物語
エリック松永のデジタルIQ道場
研究現場から見たAI
Fintechの正体
米ZDNet編集長Larryの独り言
大木豊成「仕事で使うアップルのトリセツ」
山本雅史「ハードから読み解くITトレンド放談」
田中克己「展望2020年のIT企業」
松岡功「一言もの申す」
松岡功「今週の明言」
内山悟志「IT部門はどこに向かうのか」
林 雅之「デジタル未来からの手紙」
谷川耕一「エンプラITならこれは知っとけ」
大河原克行「エンプラ徒然」
内製化とユーザー体験の関係
「プロジェクトマネジメント」の解き方
ITは「ひみつ道具」の夢を見る
セキュリティ
エンドポイントセキュリティの4つの「基礎」
企業セキュリティの歩き方
サイバーセキュリティ未来考
ネットワークセキュリティの要諦
セキュリティの論点
スペシャル
エンタープライズAIの隆盛
インシュアテックで変わる保険業界
顧客は勝手に育たない--MAツール導入の心得
「ひとり情シス」の本当のところ
ざっくり解決!SNS担当者お悩み相談室
生産性向上に効くビジネスITツール最前線
ざっくりわかるSNSマーケティング入門
課題解決のためのUI/UX
誰もが開発者になる時代 ~業務システム開発の現場を行く~
「Windows 10」法人導入の手引き
ソフトウェア開発パラダイムの進化
エンタープライズトレンド
10の事情
座談会@ZDNet
Dr.津田のクラウドトップガン対談
Gartner Symposium
IBM World of Watson
de:code
Sapphire Now
VMworld
Microsoft WPC
Microsoft Connect()
HPE Discover
Oracle OpenWorld
Dell Technologies World
AWS re:Invent
AWS Summit
PTC LiveWorx
吉田行男「より賢く活用するためのOSS最新動向」
古賀政純「Dockerがもたらすビジネス変革」
中国ビジネス四方山話
ベトナムでビジネス
日本株展望
企業決算
このサイトでは、利用状況の把握や広告配信などのために、Cookieなどを使用してアクセスデータを取得・利用しています。 これ以降ページを遷移した場合、Cookieなどの設定や使用に同意したことになります。
Cookieなどの設定や使用の詳細、オプトアウトについては詳細をご覧ください。
[ 閉じる ]