Models@run.time for software tolerant to unforseen changes in the environment
Project/Area Number |
16K12414
|
Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
Allocation Type | Multi-year Fund |
Research Field |
Software
|
Research Institution | National Institute of Informatics |
Principal Investigator |
HONIDEN Shinichi 国立情報学研究所, アーキテクチャ科学研究系, 教授 (70332153)
|
Co-Investigator(Kenkyū-buntansha) |
鄭 顕志 国立情報学研究所, 大学共同利用機関等の部局等, 准教授 (40434295)
|
Project Period (FY) |
2016-04-01 – 2018-03-31
|
Project Status |
Completed (Fiscal Year 2017)
|
Budget Amount *help |
¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2017: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2016: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
Keywords | 自己適応システム / 実行時モデリング / 環境モデル学習 / 制御器合成 / 自己適応ソフトウェア / ソフトウェア工学 |
Outline of Final Research Achievements |
Modern software systems should be self-adaptive to continue their functionality in response to changes in the environment. Traditional software development assures the self-adaptive software under changes that can be foreseen at development time. However, it is inherently impossible to assume all possible changes at development time, thus this approach does not address unforeseen changes in the environment. This research aims to establish Models@run.time techniques to enable self-adaptive system tolerant to the unforeseen changes. In this approach, a system holds environment, requirement, and behavior specification models even at runtime, reflects changes found at runtime to the models, and makes decision about adaptation to ensure its safety by itself within reasonable computation time.
|
Report
(3 results)
Research Products
(17 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 自己適応システムのための実行時環境モデル学習手法2016
Author(s)
Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
Organizer
合同エージェントワークショップ&シンポジウム2016 (JAWS2016)
Place of Presentation
岐阜,日本
Year and Date
2016-09-15
Related Report
-
-
[Presentation] Assured and Correct Dynamic Update of Controllers2016
Author(s)
Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei and Sebastian Uchitel
Organizer
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2016)
Place of Presentation
Austin, USA
Year and Date
2016-05-16
Related Report
Int'l Joint Research
-
[Presentation] Assured and Correct Dynamic Update of Controllers2016
Author(s)
Kenji Tei, Shunichiro Suenaga, Shun Lee, Kazuya Aizawa, Ryuichi Takahashi, and Yoshiaki Fukazawa
Organizer
Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Place of Presentation
東京,日本
Related Report
Int'l Joint Research / Invited