• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Models@run.time for software tolerant to unforseen changes in the environment

Research Project

Project/Area Number 16K12414
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Software
Research InstitutionNational 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)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Research-status Report
  • Research Products

    (17 results)

All 2017 2016 Other

All Int'l Joint Research (4 results) Journal Article (1 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 1 results) Presentation (12 results) (of which Int'l Joint Research: 9 results,  Invited: 1 results)

  • [Int'l Joint Research] University of Buenos Aires(Argentina)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] University of Groningen(Netherlands)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] ブエノスアイレス大学(アルゼンチン)

    • Related Report
      2016 Research-status Report
  • [Int'l Joint Research] Imperial College London(英国)

    • Related Report
      2016 Research-status Report
  • [Journal Article] A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks2017

    • Author(s)
      Ehsan Ullah Warriach, and Kenji Tei
    • Journal Title

      International Journal of Sensor Networks (IJSNet)

      Volume: 24 Issue: 1 Pages: 1-13

    • DOI

      10.1504/ijsnet.2016.10001361

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Presentation] Extracting Traceability between Predicates in Event-B Refinement2017

    • Author(s)
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
    • Organizer
      The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Construction of Abstract State Graphs for Understanding Event-B Models2017

    • Author(s)
      Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • Organizer
      3rd Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins 2017 (SETTA 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Soft-Goal Approximation Context Awareness of Goal-driven Self-Adaptive Systems2017

    • Author(s)
      Aurelien Vialon, Kenji Tei and Samir Aknine
    • Organizer
      The 2nd Models@run.time in International Conference on Autonomic Computing 2017(MRT 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Learning environment model at runtime for self-adaptive systems2017

    • Author(s)
      Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • Organizer
      The 32nd ACM Symposium on Applied Computing
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Applicability of Earned Value Management for Deadline Energy Constrained Applications2017

    • Author(s)
      Shunichiro Suenaga, Kenji Tei and Shinichi Honiden
    • Organizer
      2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM2017)
    • Related Report
      2017 Annual Research Report
  • [Presentation] Stepwise Refinement of Software Development Problem Analysis2016

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
    • Organizer
      The 35th International Conference on Conceptual Modeling (ER 2016)
    • Place of Presentation
      岐阜,日本
    • Year and Date
      2016-11-14
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] Automatic Generation of Potentially Pathological Instances for Validating Alloy Models2016

    • Author(s)
      Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden
    • Organizer
      International Conference on Formal Engineering Methods (ICFEM 2016)
    • Place of Presentation
      東京,日本
    • Year and Date
      2016-11-14
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] Refactoring Refinement Structures of Event-B Machines2016

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden
    • Organizer
      The 21st International Symposium on Formal Methods (FM 2016)
    • Place of Presentation
      Limassol, Cyprus
    • Year and Date
      2016-11-07
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [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
      2016 Research-status Report
  • [Presentation] 階層離散制御器合成によるマルチロボットシステムの仕様生成手法2016

    • Author(s)
      Masaki Katae, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • Organizer
      合同エージェントワークショップ&シンポジウム2016 (JAWS2016)
    • Place of Presentation
      岐阜,日本
    • Year and Date
      2016-09-15
    • Related Report
      2016 Research-status 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
      2016 Research-status 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
      2016 Research-status Report
    • Int'l Joint Research / Invited

URL: 

Published: 2016-04-21   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi