| 研究課題/領域番号 |
23240003
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
萩谷 昌己 東京大学, 大学院情報理工学系研究科, 教授 (30156252)
|
|---|
| 研究分担者 |
アルト シリル (ARTHO Cyrille / Artho Cyrille) 産業技術総合研究所, 情報セキュリティセンター, 研究員 (30462831)
山本 光晴 千葉大学, 大学院理学研究科, 准教授 (00291295)
田辺 良則 鶴見大学, 文学部, 教授 (60443199)
横山 重俊 国立情報学研究所, アーキテクチャ科学研究系, 特任教授 (10600968)
|
|---|
| 研究協力者 |
ヴァイテル フランツ
ポッター リチャード
レオンワタナキット ワチャリン
|
|---|
| 研究期間 (年度) |
2011-04-01 – 2016-03-31
|
| 研究課題ステータス |
完了 (2015年度)
|
| 配分額 *注記 |
48,360千円 (直接経費: 37,200千円、間接経費: 11,160千円)
2015年度: 9,230千円 (直接経費: 7,100千円、間接経費: 2,130千円)
2014年度: 9,230千円 (直接経費: 7,100千円、間接経費: 2,130千円)
2013年度: 9,230千円 (直接経費: 7,100千円、間接経費: 2,130千円)
2012年度: 9,230千円 (直接経費: 7,100千円、間接経費: 2,130千円)
2011年度: 11,440千円 (直接経費: 8,800千円、間接経費: 2,640千円)
|
|---|
| キーワード | 仕様記述・仕様検証 / ソフトウェアモデル検査 / クラウドコンピューティング |
|---|
| 研究成果の概要 |
クラウドコンピューティングに代表される，ネットワークアプリケーションを対象としたソフトウェア検証の手法を開発した．先行研究で開発したモデル検査手法に基づくツールを，さまざまなプロトコルや通信形態に対応できるように拡張するとともに，モデルベーステスト手法に基づくツールも新たに開発することで，検証可能なアプリケーションの範囲を広げた．クラウドコンピューティング環境におけるプロセス協調ソフトウェアであるZookeeperをはじめとするさまざまなネットワークソフトウェアへの適用を通して，ツールの有効性を確立した．
|
