2016 Fiscal Year Annual Research Report
Architecture Oriented Formal Approaches to High Quality Software Development
| Project/Area Number |
24220001
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
荒木 啓二郎 九州大学, システム情報科学研究院, 教授 (40117057)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
大森 洋一 九州大学, システム情報科学研究院, 助教 (20309727)
山本 修一郎 名古屋大学, 情報科学研究科, 教授 (20523294)
片山 徹郎 宮崎大学, 工学部, 准教授 (50283932)
持尾 弘司 筑紫女学園大学, 人間科学部, 准教授 (60331013)
日下部 茂 長崎県立大学, 情報システム学部, 教授 (70234416)
張 漢明 南山大学, 理工学部, 准教授 (90329756)
|
|---|
| Project Period (FY) |
2012-05-31 – 2017-03-31
|
| Keywords | ソフトウェア工学 / 形式仕様記述 / 高信頼安全安心システム / 高適用形式手法 / アーキテクチャ指向モデル化 / ソフトウェアライフサイクル / モデル化支援化ツール |
|---|
| Outline of Annual Research Achievements |
2016年度は、これまでの研究成果を引続き発展させるとともに、最終年度として、研究成果の取りまとめと、学術誌や国際会議をはじめとした研究成果発表、ならびに、開発した支援ツールの完成度向上と公開を集中的に行った。
開発現場で有用な形式手法の適用方法を提案するために、我々自ら各種の具体的問題に適用した事例研究を行い、その成果を蓄積し公表した。また、開発プロセスの中に形式手法を効果的に組み入れるために、形式手法の導入や適用の目的を明確にして、その目的に適した下準備を行うことにより、形式手法適用を円滑かつ容易にすることを目指す Pre-Formal（予備形式化）という概念を掲げて、システムの本質を認識・分析するための抽象的な機能と構成のモデル化や、安全性に着目したモデル化など、具体的な Pre-Formal 手法をいくつか示した。特に、システムの安全性に着目したモデル化・分析手法である STAMP/STPA と形式手法との連携を意図して、我が国で初めての STAMP ワークショップを企画して、2016年12月に開催した。
ソフトウェア技術者協会や IPA/SEC などと連携して形式手法のセミナーや講習会を各地で開催し、企業における技術研修会などで形式手法の特質や効用を解説して形式手法の導入や適用を支援する活動を行うほか、形式手法に関する教材の作成と公開を行って、形式手法の普及に尽力した。
形式手法の適用を容易にするために、本研究では、システムの記述や分析を支援するツールを複数開発し、インターネット上での公開、希望者への配付などにより、研究成果を利用可能な形で広く一般に提供した。併せて、世界で最も古くから広く利用されてきた VDMTools を入手して、言語マニュアルや事例集などの関連情報と共にインターネット上で公開して、全世界の形式手法コミュニティに対して貢献した。
|
| Research Progress Status |
28年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
28年度が最終年度であるため、記入しない。
|
