研究課題/領域番号 |
23K28060
|
研究種目 |
基盤研究(B)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60050:ソフトウェア関連
|
研究機関 | 大阪大学 |
研究代表者 |
土屋 達弘 大阪大学, 大学院情報科学研究科, 教授 (30283740)
|
研究分担者 |
林原 尚浩 京都産業大学, 情報理工学部, 教授 (20397227)
緒方 和博 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (30272991)
中川 博之 岡山大学, 環境生命自然科学学域, 教授 (40508834)
|
研究期間 (年度) |
2024-04-01 – 2027-03-31
|
研究課題ステータス |
交付 (2024年度)
|
配分額 *注記 |
12,480千円 (直接経費: 9,600千円、間接経費: 2,880千円)
2026年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2025年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2024年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
|
キーワード | ディペンダブルシステム / 分散システム / モデルチェッキング / 機密実行 |
研究開始時の研究の概要 |
ネットワーク上で複数のサーバを協調させサービスを実現する分散システムは,現代の情報化社会において欠かせない.このような分散システムを,誤りや悪意ある攻撃に耐えられるように,信頼性高く,つまり,ディペンダブルに実現するためには,その設計の正しさを網羅的に検証することが重要である.本研究では,分散システムの設計を検証するために,モデルチェッキングと呼ばれる手法を発展させる.具体的には,現状,サーバの台数が小さい場合にしか適用できないこの手法を,より規模の大きいシステムにも適用できるようにする.さらに,最近のCPUがもつ機密実行機能を利用した分散システムの検証も可能にする.
|