Research on verification of self-adaptive systems using goal-oriented requirements specifications
| Project/Area Number |
23500039
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
TAHARA Yasuyuki 電気通信大学, 大学院情報システム学研究科, 准教授 (30390602)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
NAKAGAWA Hiroyuki 大阪大学, 大学院・情報科学研究科, 准教授 (40508834)
OHSUGA Akihiko 電気通信大学, 大学院・情報システム学研究科, 教授 (90393842)
|
|---|
| Project Period (FY) |
2011 – 2013
|
| Project Status |
Completed (Fiscal Year 2013)
|
| Budget Amount *help |
¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000)
Fiscal Year 2013: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2012: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2011: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
|
|---|
| Keywords | ソフトウェア工学 / モデル検査 / 自己適応システム / 計算機システム / 情報システム / ソフトウェア開発効率化・ 安定化 / ソフトウェア学 / ディペンダブル・コンピューティング / ソフトウェア検証 / ゴール指向要求分析 / ディペンダブル・コンピュ ーティング / ソフトウェア開発効率化・安定化 |
|---|
| Research Abstract |
We established an approach to verification of self-adaptive systems with which we can intuitively confirm the verification results with the system requirements by using not only UML models such as statemachine diagrams but also goal-oriented requirements specifications. We implemented tools for transformation and verification. We also established an approach to implementing self-adaptive systems on the basis of the verification results.
|
Report
(4 results)
Research Products
(109 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Linked Data を用いたソーシャルメディア×マスメディアの比較実験2013
Author(s)
田代 和浩, 王 冕, 越川 兼地, 西村 悟史, 森田 武史, 長野 伸一, 清 雄一, 中川 博之, 田原 康之, 川村 隆浩, 大須賀 昭彦
Organizer
2013年度人工知能学会全国大会（第27回）
Place of Presentation
富山県富山市
Related Report
-
-
[Presentation] 自動清掃ロボットの自己適応化に向けて2013
Author(s)
工藤 拓光, 中川 博之, 清 雄一, 田原 康之, 大須賀 昭彦
Organizer
第126回 システムソフトウェアとオペレーティング・システム（OS）研究会, 第31回 組込みシステム（EMB）研究会
Place of Presentation
東京都江東区
Related Report
-
-
-
-
-
-
-
-
-
-
