| 研究課題/領域番号 |
25330075
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 茨城大学 |
|---|
研究代表者 |
上田 賀一 茨城大学, 工学部, 教授 (00213372)
|
|---|
| 研究協力者 |
武澤 隆之 (株)日立製作所, インフラシステム社
山形 知行 (株)日立製作所, インフラシステム社
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2016-03-31
|
| 研究課題ステータス |
完了 (2015年度)
|
| 配分額 *注記 |
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2015年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2014年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2013年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | モデル検査 / モジュラ検証 / ソフトウェア安全性検証 / 情報制御システム / 機能安全 / モデル駆動開発 |
|---|
| 研究成果の概要 |
情報制御システムの分野固有の特性に基づき，段階的なモデル検査手法を開発した．従来手法より少ないメモリで検証でき，大規模モデルでは本手法の方が短時間で検証可能である．次に，システム分割によるモデル検査を可能とする分割的モデル検査手法を考案した．分割されたサブシステムの相互関係を失うことなく検証でき，無分割より短時間で検証できる．更に，両手法の欠点を解決するモジュラ検証手法を考案した．モジュラ分割を因果関係の稀薄な物理的分割，構造的対称性による分割，独立性の高い振舞いの分割という異なる3タイプの分割によるモデル検証を可能とする．この手法の効果は属性数比率により判断して利用できる．
|
