| 研究課題/領域番号 |
24500009
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
西崎 真也 東京工業大学, 学術国際情報センター, 教授 (90263615)
|
|---|
| 研究期間 (年度) |
2012-04-01 – 2018-03-31
|
| 研究課題ステータス |
完了 (2017年度)
|
| 配分額 *注記 |
4,940千円 (直接経費: 3,800千円、間接経費: 1,140千円)
2016年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2014年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2013年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2012年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | モデル検査 / システム検証 / 故障 / 計算モデル / プロセス代数 / プロセス計算 / システムの形式化 / システム故障 |
|---|
| 研究成果の概要 |
システム故障時（ハードウェア故障、ネットワーク不調等）における、ソフトウェアシステムの挙動を解析するためのソフトウェア検証技術・形式的開発手法の確立を研究目的とした。故障という現象をとらえた計算モデルを研究し、その計算モデルに基づき、モデル検査を応用することにより、故障時におけるシステムの挙動解析を研究し以下のような事項に取り組んだ。
①システム故障の計算モデル②その計算モデルから従来の計算モデルへの変換に基づく故障時の振る舞いの解析手法の提案③その解析手法を支援する検証システムの開発④計算モデルの定理証明システム上での形式化
|
