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