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

想定に漏れた環境変化にしなやかに耐える実行時モデルフレームワーク

Research Project

Project/Area Number 18H03225
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Review Section Basic Section 60050:Software-related
Research InstitutionWaseda University

Principal Investigator

鄭 顕志  早稲田大学, 理工学術院, 准教授(任期付) (40434295)

Co-Investigator(Kenkyū-buntansha) 本位田 真一  早稲田大学, 理工学術院, 教授(任期付) (70332153)
Project Period (FY) 2018-04-01 – 2022-03-31
Project Status Granted (Fiscal Year 2021)
Budget Amount *help
¥16,640,000 (Direct Cost: ¥12,800,000、Indirect Cost: ¥3,840,000)
Fiscal Year 2021: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2020: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2019: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2018: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Keywords自己適応システム / 実行時モデル / Graceful Degradation / 離散制御器合成 / 環境モデル学習 / Graceful degradation
Outline of Annual Research Achievements

本研究では想定漏れの変化に耐えるGraceful Degradationを実現する実行時モデル更新技術を確立(実施項目1,2)し,その技術を反映した実行時モデルフレームワークを用いた実証実験(実施項目3)により本手法の有効性と限界を明らかにする.2020年度は,2019年度に実施した初回の評価実験の結果に基づき,各要素技術の洗練化を行った..
実施項目1: 環境モデルの実行時更新技術の確立(担当:鄭) 実施項目3の結果に基づき,LTSベースの環境モデル実行時更新技術を洗練化した.環境モデルの並列合成関係に着目し,環境変化が生じた要素のみを変更することで実行時更新のさらに高速化する実行時更新技術を構築した.
実施項目2: 保証を伴う動作仕様の実行時導出技術の確立(担当:鄭) 実施項目3の結果に基づき,保証を伴う動作仕様の実行時導出技術を洗練化した.詰将棋分野で提案された高速な探索法であるdp-fnアルゴリズムを制御器合成に応用することで高速な動作仕様自動導出技術を構築した.
実施項目3: 実証実験(担当: 鄭,本位田) 実施項目1,2で洗練化した技術を, 以前に開発した実行時モデルフレームワーク上に反映,実装する予定であったがコロナウィルスの影響で開発が遅れ2020年度内には実装が完了せず,2021年度に延期となった.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

コロナウィルスの影響により予定したフレームワーク開発は2021年度に延期となったが要素技術の洗練化という当初の大きな目標は達成できており,概ね順調に研究は進展している.

Strategy for Future Research Activity

2021年度は延期となったフレームワーク開発を行う.加えて,当初予定していた実証実験を行う予定である.

Report

(3 results)
  • 2020 Annual Research Report
  • 2019 Annual Research Report
  • 2018 Annual Research Report

Research Products

(39 results)

All 2020 2019 2018 Other

All Int'l Joint Research (11 results) Journal Article (7 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 7 results,  Open Access: 1 results) Presentation (21 results) (of which Int'l Joint Research: 17 results)

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

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] 北京大学(中国)

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] Imperial College London(英国)

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] カーネギーメロン大学(米国)

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] Buenos Aires University(アルゼンチン)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] Chalmers University of Technology(スウェーデン)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] Open University(英国)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] Politecnico di Milano(イタリア)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] Buenos Aires University(アルゼンチン)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Imperial College London(英国)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Lip6/Lyon 1 University(フランス)

    • Related Report
      2018 Annual Research Report
  • [Journal Article] 活性と同時に保証可能な安全性特定のためのゲーム分析アルゴリズム2020

    • Author(s)
      相澤 和也、鄭 顕志、本位田 真一
    • Journal Title

      情報処理学会論文誌

      Volume: 61 Issue: 4 Pages: 853-862

    • DOI

      10.20729/00204236

    • NAID

      170000181828

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Reducing Analysis Space for Identifying Guaranteeable Safety Properties by Abstracting Violation States2020

    • Author(s)
      相澤 和也、鄭 顕志、本位田 真一
    • Journal Title

      電子情報通信学会論文誌D 情報・システム

      Volume: J103-D Issue: 4 Pages: 238-246

    • DOI

      10.14923/transinfj.2019PDP0018

    • ISSN
      1880-4535, 1881-0225
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Dynamic Update of Discrete Event Controllers2020

    • Author(s)
      Leandro Nahabedian, Victor Braberman, Nicolas D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastian Uchitel
    • Journal Title

      IEEE Transactions on Software Engineering (TSE)

      Volume: Early Access Pages: 1220-1240

    • DOI

      10.1109/tse.2018.2876843

    • Related Report
      2020 Annual Research Report 2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] An Efficient Adaptive Attention Neural Network for Social Recommendation2020

    • Author(s)
      Munan Li, Kenji Tei, Yoshiaki Fukazawa
    • Journal Title

      IEEE Access

      Volume: 8 Pages: 63595-63606

    • DOI

      10.1109/access.2020.2984340

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム2019

    • Author(s)
      相澤 和也, 鄭 顕志, 本位田 真一
    • Journal Title

      情報処理学会論文誌

      Volume: 60(4) Pages: 1025-1039

    • NAID

      170000150279

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 自己適応システムのための環境モデル実行時更新手法2019

    • Author(s)
      田邉 萌香, 鄭 顕志, 本位田 真一
    • Journal Title

      情報処理学会論文誌

      Volume: 60(10) Pages: 1617-1630

    • NAID

      170000180524

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Consistency-Preserving Refactoring of Refinement Structures in Event-B Models2019

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • Journal Title

      Formal Aspects of Computing

      Volume: Preprint Pages: 287-320

    • DOI

      10.1007/s00165-019-00478-z

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Presentation] Towards Bridging the Gap between Control and Self-Adaptive System Properties2020

    • Author(s)
      Javier Camara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
    • Organizer
      15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020

    • Author(s)
      Jialong Li, Kazuya Aizawa, Kenji Tei and Shinichi Honiden
    • Organizer
      The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020

    • Author(s)
      Takuto Yamauchi, Kenji Tei and Shinichi Honiden
    • Organizer
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020

    • Author(s)
      Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • Organizer
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Identifying achievable goals for adaptive replanning against runtime environment change2020

    • Author(s)
      Jialong Li, Kenji Tei and Shinichi Honiden
    • Organizer
      The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Heterogeneous Information Network based Adaptive Social Influence Learning for recommendation and explanation2020

    • Author(s)
      Munan Li, Kenji Tei, and Yoshiaki Fukazawa
    • Organizer
      The 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'20)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence2020

    • Author(s)
      Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
    • Organizer
      2021 IEEE 3rd Global Conference on Life Sciences and Technologies
    • Related Report
      2020 Annual Research Report
  • [Presentation] モデル予測制御と離散制御器合成による外部環境の動的特性を考慮した適応制御手法2020

    • Author(s)
      安曽 徳康, 小川 雅俊, 松塚 貴英, 鄭 顕志
    • Organizer
      マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] Event-Bによるリファインメントのパターン最適化2020

    • Author(s)
      荒井 滉平,本位田 真一,鄭 顕志
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Related Report
      2020 Annual Research Report
  • [Presentation] 離散制御器合成における設計誤りを特定するための反例出力手法2020

    • Author(s)
      李 家隆, 相澤 和也, 鄭 顕志, 本位田 真一
    • Organizer
      IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム2020(SES2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] Big Data, Cloud and IoT Technologies for Smart Cities: The M-Sec project paradigm, objectives, current status and related future research topics2020

    • Author(s)
      Kenji Tei
    • Organizer
      the 2nd International Workshop on Big data, cloud, and IoT technologies for smart cities (IWBigDataCity2020)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Modelling and Analysing Resilient Cyber-Physical Systems2019

    • Author(s)
      Amel Bennaceur, Carlo Ghezzi, Kenji Tei, and et.al.,
    • Organizer
      the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments2019

    • Author(s)
      Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei
    • Organizer
      2nd International Workshop on Robotics Software Engineering (RoSE 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019)2019

    • Author(s)
      Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • Organizer
      Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An efficient co-Attention Neural Network for Social Recommendation2019

    • Author(s)
      Munan Li, Kenji Tei, Yoshiaki Fukazawa
    • Organizer
      IEEE/WIC/ACM International Conference on Web Intelligence (WI'19)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Minimising Makespan of Discrete Controllers: A Qualitative Approach2019

    • Author(s)
      Ezequiel Castellano, Victor Braberman, Nicolas D'Ippolito, Sebastian Uchitel, Kenji Tei
    • Organizer
      IEEE 58th Conference on Decision and Control (CDC2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] AutoPUT: An Automated Technique for Retrofitting Closed Unit Tests into Parameterized Unit Tests2018

    • Author(s)
      Keita Tsukamoto, Yuta Maezawa and Shinichi Honiden
    • Organizer
      the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC’18)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Identifying safety properties guaranteed in changed environment at runtime2018

    • Author(s)
      Kazuya Aizawa, Kenji Tei and Shinichi Honiden
    • Organizer
      the 3rd IEEE International Conference on Agents (IEEE ICA 2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Assured Graceful Degradation by Models@run.time2018

    • Author(s)
      Kenji Tei
    • Organizer
      THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Updating Environment Model at Runtime for Self-Adaptive Systems2018

    • Author(s)
      Moeka Tanabe, Kenji Tei
    • Organizer
      THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Reducing the size of two-player game for identifying guaranteeable safety property at runtime2018

    • Author(s)
      Kazuya Aizawa, Kenji Tei
    • Organizer
      THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research

URL: 

Published: 2018-04-23   Modified: 2022-12-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi