研究課題/領域番号 |
26700005
|
研究種目 |
若手研究(A)
|
配分区分 | 一部基金 |
研究分野 |
ソフトウェア
|
研究機関 | 国立情報学研究所 |
研究代表者 |
石川 冬樹 国立情報学研究所, コンテンツ科学研究系, 准教授 (50455193)
|
研究協力者 |
小林 努 東京大学, 大学院・コンピュータ科学専攻
本位田 真一 国立情報学研究所, アーキテクチャ科学研究系, 教授
ロマノフスキー アレクサンダー ニューカッスル大学, 計算機科学科, 教授
|
研究期間 (年度) |
2014-04-01 – 2017-03-31
|
研究課題ステータス |
完了 (2016年度)
|
配分額 *注記 |
5,850千円 (直接経費: 4,500千円、間接経費: 1,350千円)
2016年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
2015年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2014年度: 2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
|
キーワード | 形式手法 / システムモデリング / 段階的詳細化 / サイバーフィジカルシステム / ソフトウエア開発効率化・安定化 / 定理証明 / Event-B / 要求分析 / プロブレムフレーム / Assurance Case |
研究成果の概要 |
近年のソフトウェアシステムはますます複雑になっており,その信頼性確保が難しくなってきている.本研究では,抽象度の異なる多段階のモデル(段階的詳細化)を用いる形式手法Event-Bを対象とし,複雑さの軽減や整合性の保証を適切に行うための支援手法・ツールに取り組んだ.特に既存のEvent-Bモデルにおいて,整合性を壊さずに段階構造を変更するリファクタリング手法・ツールを提供することで,理解容易性,検証容易性,再利用性の向上を可能とした.本研究では加えて,Event-Bに限らず一般の要求分析手法にもその成果を展開した.
|