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