| 研究課題/領域番号 |
23300004
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 千葉大学 |
|---|
研究代表者 |
山本 光晴 千葉大学, 理学(系)研究科(研究院), 准教授 (00291295)
|
|---|
| 研究分担者 |
萩谷 昌己 東京大学, 情報理工学系研究科, 教授 (30156252)
アルト シリル (ARTHO Cyrille) 独立行政法人産業技術総合研究所, セキュアシステム研究部門, 主任研究員 (30462831)
田辺 良則 国立情報学研究所, アーキテクチャ科学系, 特任教授 (60443199)
|
|---|
| 研究協力者 |
レオンワタナキット ワチャリン 東京大学
ヴァイテル フランツ 千葉大学
ポッター リチャード 東京大学
セビ ナジム 東京大学
|
|---|
| 研究期間 (年度) |
2011-04-01 – 2014-03-31
|
| 研究課題ステータス |
完了 (2013年度)
|
| 配分額 *注記 |
19,240千円 (直接経費: 14,800千円、間接経費: 4,440千円)
2013年度: 3,380千円 (直接経費: 2,600千円、間接経費: 780千円)
2012年度: 10,140千円 (直接経費: 7,800千円、間接経費: 2,340千円)
2011年度: 5,720千円 (直接経費: 4,400千円、間接経費: 1,320千円)
|
|---|
| キーワード | モデル検査 / チェックポインティング |
|---|
| 研究概要 |
我々の先行研究課題の成果であるネットワークアプリケーションのモデル検査手法をさらに発展させ、分散チェックポインティングを利用することで、より複雑かつ実際的な環境の下で動作するネットワークアプリケーションの検証を可能にした。これは分散チェックポインティングにおける通信の復元機能を実現することによって達成された。また、ネットワークAPIをより実際的なネットワークアプリケーションで用いられているものに対応させ、より広い範囲のアプリケーションの検査を可能にした。
|
