NTTデータ、富士通など5社、「ディペンダブル・ソフトウェア・フォーラム」を発足

2009年12月22日(火) 12時00分
「ディペンダブル・ソフトウェア・フォーラム」の検討範囲の画像
「ディペンダブル・ソフトウェア・フォーラム」の検討範囲
 NTTデータ、富士通、日本電気、日立製作所、東芝の5社と、情報・システム研究機構 国立情報学研究所は22日、「ディペンダブル・ソフトウェア・フォーラム」(Dependable Software Forum、略称名DSF)を発足させた。

 「ディペンダブル・ソフトウェア」(Dependable Software)とは、利用者が信頼・安心して利用できる、“頼りになるソフトウェア”を指す。可用性、信頼性、安全性、機密性、完全性、保守性といった複合的要件を満足させる必要があり、ソフトウェアのあるべき姿として注目されているものだ。米国、欧州、中国では高信頼なソフトウェア開発の応用研究に国家的な規模で戦略的に取り組んでいる。また、インドではディペンダブル・ソフトウェア等を実現するIT人材の育成に注力している。

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

 DSFでは、こういった「障害を起こさないソフトウェア」の生成を実現するために、回避(故障や攻撃の発生を予防)、除去(故障の数や攻撃の程度を減少)、耐障害性(フォールトトレラント)という3つの観点から、実践的かつ系統的・論理的な構成技術と設計技術を確立させる研究開発活動を行うという。将来は、本活動による成果をIT業界へ普及・定着させ、ソフトウェアに起因するシステム障害の低減を目指す。

 DSFにおける最初の取り組みとして、ディペンダブル・ソフトウェア実現の有力な手段である形式手法に着目し、具体的な検討活動を行うタスクフォースとして、「形式手法適用評価ワーキンググループ」(Formal Method Application WG、FMAWG)」を立ち上げるとのこと。形式手法とは、品質の高いソフトウェアを効率よく開発するために、数学を基盤とした矛盾のない仕様書を書いて、それが正しいかどうかを検証する手法のことだ。FMAWGは、形式手法の産業界への効果的な普及と定着を目指し、形式手法に関して実績およびノウハウを持つ企業・個人・団体による有益な議論と知見の共有を行い、共同で成果物を構築することを推進するという。適用事例や適用ノウハウの蓄積・公開も行う。以降は、進捗により適宜、新しいワーキンググループを立ち上げて研究を進める予定。DSFとしては2011年度末を目途に成果物を構築し、公開することを目指すとのこと。
《冨岡晶》
注目の情報[PR]

注目ニュース

NTTデータと日本オラクル、仮想化を活用したシステム統合基盤の運用管理で協業

 NTTデータと日本オラクルは21日、システム統合基盤の統合運用管理ソリューションの実現と導入に向けて協業することに合意した。

NRI、電子マネー連動の「健康絵日記 へるぼ」実証実験を開始 〜 ユビキタス特区事業

 野村総合研究所(NRI)は1日、総務省「ユビキタス特区」事業におけるインターネット上の個人向け健康管理支援サービス「健康絵日記 へるぼ」の実証実験を開始した。

NTTデータ、クラウドサービス「BizCloud」を立ち上げ 〜 来年4月よりプラットフォーム提供

 NTTデータは1日、クラウドサービスブランド「BizCloud」を立ち上げることを発表した。インフラからアプリケーションまで、NTTデータグループのクラウドソリューションを総合的に提供する。

NTTデータなど3社、高電圧直流給電システム実証実験で好結果

 NTTデータは27日、NTTデータの都内データセンターにて行われていた、高電圧直流給電システムの実証実験が完了し、好結果を残したことを発表した。

ぷらっとホーム、NTTデータ協力のプライベートクラウドシステムを販売開始

 ぷらっとホームは27日、NTTデータ協力のもと、プライベートクラウド環境のスピーディな導入が可能な「プライベートクラウドソリューションパッケージ」を販売開始した。

NTTデータ、IC運転免許証を活用した個人認証サービスを開発スタート

 NTTデータ24日、IC運転免許証のICカード機能を活用した、簡易かつ信頼性の高い本人認証の事業化に向けた検討・開発を開始したことを発表した。

NTTデータ、充電インフラサービスの実証事業で150台の電気自動車を利用

 NTTデータは16日、電気自動車(EV)の充電インフラサービスの実証事業実施にあたり、14の企業・自治体との連携体制を構築し、サービスを検証すると発表した。

NTTデータとマイクロソフト、CRMソリューション分野で協業 〜 「ABCRM」を共同提供

 NTTデータとマイクロソフトは10日、CRM(顧客情報管理)ソリューション分野で協業することに合意した。

NTTの2010年3月期第2四半期決算、営業利益はマイナス983億円の減益

 日本電信電話(NTT)は9日、2010年3月期第2四半期決算を発表した。

NTTデータ、「Hinemos VM管理オプション」新バージョンVer.1.1をリリース

 NTTデータは13日、統合運用管理ソフト「Hinemos VM管理オプション」の新バージョン、Ver.1.1をリリースした。同日よりHinemosパートナーへの出荷を開始する。

NTTデータネッツとNTTデータフィットが統合 〜 新会社「NTTデータ・フィナンシャルコア」に

 NTTデータは25日、グループ会社であるNTTデータネッツ、および、NTTデータフィットを統合すると発表した。

NTTデータ、インフルエンザなど緊急時在宅勤務を支援 〜 携帯電話版OTPの新ラインナップを提供開始

 NTTデータは18日、ワンタイムパスワード認証の携帯電話版ソフトウェアトークンと認証サーバアプライアンス製品「RSA SecurID Appliance」をセットにした商品の販売を開始した。

NTTデータ、NGNの回線情報を利用した「認証連携機能」を開発

 NTTデータは16日、NTT東日本およびNTT西日本が提供する次世代ネットワーク(NGN)の回線情報を利用した認証連携機能を開発し、動作検証を完了したことを発表した。

国内ITサービス市場ベンダー、前年比プラス成長は14社中5社のみ 〜 IDC Japan調べ

 IDC Japanは2日、国内ITサービス市場におけるベンダー競合分析結果を発表した。

Windows 7、法人向けライセンス提供を開始 〜163法人が早期採用と導入を表明

 マイクロソフトは1日、次期Windowsオペレーティングシステム「Windows 7」日本語版について、「マイクロソフト ボリュームライセンス」を通して法人向けに提供を開始した。

NTTデータ ビズインテグラル、SaaS/クラウド対応型業務アプリ「Biz∫」を発表 〜 日本初のSOA+BPMベース

 NTTデータ ビズインテグラルは1日、SOA+BPMを基盤とし、SaaS/クラウドコンピューティングにも対応した次世代ビジネスプラットフォーム「Biz∫」上で開発された製品群を発表した。

NTTデータのダイレクト方式金融機関共同利用センター、国税庁の「ダイレクト納付」へ対応

 NTTデータが提供している「ダイレクト方式金融機関共同利用センター」は1日、国税庁の「ダイレクト納付」への対応を開始した。

総務省、「ユビキタス特区」事業の委託先候補26件を決定

 総務省は28日、『ICT経済・地域活性化基盤確立事業(「ユビキタス特区」事業)』について、委託先候補を決定したことを発表した。

NTTデータ、約7,500棟の中古マンションデータの提供を開始

 NTTデータは27日、人気中古マンションカタログサイト「HOME4U ストックマンションカタログ」に掲載されているマンションデータを提供するサービスを開始した。

ウェブだけではないITを楽しむ「夏休みこどもIT体験」イベント——NTTデータ

 8月5日から18日の期間、NTTデータは「夏休みこどもIT体験」イベントを開催している。このイベントは2004年に始まったもので、小学生の親子を対象に社会や暮らしに浸透しているITを身近に感じてもら...

NTTグループ、SaaS事業者向けサービス基盤を用いた事業展開を発表 〜 NTT ComとNTTデータがワンストップで提供

 NTTコミュニケーションズ(NTT Com)、NTTデータ、日本電信電話(NTT)は29日、「SaaS基盤共通機能群」を用いた事業展開を推進していくことを発表した。

NTTデータとサイベースなど、「Sybase IQ 15.1」ベースのDWHソリューションを共同展開 〜 大量データ検索を画期的に向上

 NTTデータ、サイベースなど4社は23日、「Sybase IQ 15.1」を用いたDWHアプライアンス「Sybase Analytic Appliance」をベースに、DWH市場でのソリューションを...

【国際モダンホスピタルショウ2009(Vol.2)ビデオニュース】NTTデータ、次世代医事会計システム「かいけい博士」をデモ

 NTTデータは、「国際モダンホスピタルショウ2009」にて次世代医事会計システム「かいけい博士」をデモしていた。

NTTデータ、基幹系システム向けソリューション「FINALUNA rock-solid framework」にIBM製品群を採用

 NTTデータと日本IBMは、NTTデータの金融機関の基幹系システム向けソリューション「FINALUNA rock-solid framework」の整備にあたり、IBM WebSphere製品群を採...

あの名門校も導入——お母さんが発案した子ども安全連絡網

 メール・電話(音声)・FAXへの一斉連絡網サービス「FairCast - 子ども安全連絡網」について、NTTデータ担当者と学校法人暁星学園・事務長によるセミナーが開催された。

 SSK(新社会システム総合研究所)13日、「NTTのクラウドは成功するか」と題したセミナーを開催する。

イントラマート、Webアプリケーションサーバ「Resin」の独占販売権を獲得 〜 SaaS・クラウドコンピューティングに対応

 NTTデータ イントラマートは16日、米カウチョ・テクノロジーが提供するWebアプリケーションサーバ「Resin(レジン)」の販売に関し、日本国内における排他的独占販売権を獲得したことを発表した。

NTTデータ、小学生向けイベント『夏休みこどもIT体験』を8月開催

 NTTデータは11日、小学生向けの体験型学習イベント「ふれてみよう、さわってみよう『夏休みこどもIT体験』」を開催することを発表した。

RSS

特集・連載

楽天でキーワードをチェック

ブロードバンド/無線LANスポット検索

ブロードバンド検索
-

ピックアップフォト