| 研究課題/領域番号 |
20500030
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
小川 瑞史 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (40362024)
|
|---|
| 研究分担者 |
小野 諭 工学院大学, 情報工学部, 教授 (90407164)
|
|---|
| 研究期間 (年度) |
2008 – 2010
|
| 研究課題ステータス |
完了 (2010年度)
|
| 配分額 *注記 |
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2010年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2009年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2008年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
|
|---|
| キーワード | 仕様記述 / 仕様検証 / リアルタイムソフトウェア / 非同期処理 / モデル検査 / 構造検証 |
|---|
| 研究概要 |
本研究では、ソフトリアルタイムソフトウェア構造検証のモデル化の基礎として、プッシュダウンモデル検査の拡張・スケーラビリティ確保・およびそのツール実装を行った(雑誌論文1,学会発表1～3)。さらにアクセス制御の非同期多段処理の実験・ケースタディとして、同期処理による限界を示し、webサーバにおけるセキュリティ制御やセキュリティプロトコルについて各個別なモデル化と検証手法を示した。(学会発表4～8)。
|
