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

動的要求駆動と強化学習のハイブリッド実行時適応フレームワークの構築

Research Project

Project/Area Number 22KJ2935
Project/Area Number (Other) 22J12794 (2022)
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeMulti-year Fund (2023)
Single-year Grants (2022)
Section国内
Review Section Basic Section 60050:Software-related
Research InstitutionWaseda University

Principal Investigator

李 家隆  早稲田大学, 理工学術院, 助手

Project Period (FY) 2023-03-08 – 2024-03-31
Project Status Completed (Fiscal Year 2023)
Budget Amount *help
¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2023: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2022: ¥900,000 (Direct Cost: ¥900,000)
Keywordsself-adaptive system / requirement engineering / reinforcement learning / 自己適応システム / 要求工学
Outline of Research at the Start

本研究では、安全性が強みである「動的要求駆動」と最適性が強みである「強化学習」を組み合わせることで、安全性と最適性の両方を備えるハイブリッド適応の実現を目的とする。この組み合わせを検討した従来研究では、「安全性要求は静的で固定である」と「開発時における学習」という前提を置いており、想定外の環境変化に対する適応能力が検討されなかった。本研究は、「環境変化に対する自己適応」を着眼点とし、「環境変化に応じた安全性要求の実行時変化」と「要求変化に追随する方策の更新」を実現することで、安全かつ最適な自己適応を実現するハイブリッド適応フレームワークを構築する。

Outline of Annual Research Achievements

ソフトウェアは絶えず変わる現実物理空間で適切に機能するために、環境の変化に適応する能力が必要とされる。この能力を持つためには、安全性を強化するソフトウェア工学(SE)の動的要求駆動や、効率性を最大化する人工知能(AI)の強化学習などの技術が研究および活用されている。本研究は、環境の変化に基づいた安全性要求の実行時の調整と、要求に応じた方策の更新を通じて、安全かつ効率的な自己適応を実現するハイブリッドな適応フレームワークを開発することを目指した。本研究では、具体的に以下の三つの項目に焦点を当てて実施された。
項目(1):動的要求駆動における安全性要求の高速決定手法が開発された。具体的には、(1-1) 環境変化の差分情報を活用して分析空間の変化分のみを特定する差分分析手法、および(1-2) 分析の粒度を動的に調整し、状態の爆発を抑える粒度調整手法が提案された。
項目(2):強化学習における知識転移手法が確立され、要求と環境の変化に対応する再学習の効率が向上された。具体的には、(2-1) システムの動作環境、要求、アーキテクチャの変化に適応可能なメタ学習手法、および(2-2) 要求工学のゴールモデルを用いた遷移学習とカリキュラム学習の組み合わせ手法が提案された。
項目(3):上記二項目の評価のために、自動倉庫ロボットシステムを想定したArduinoロボットシステムが開発された。評価実験では、このロボットシステムを使用して、障害物をはじめとした物理空間の不確実性を現実的に再現された。

Report

(2 results)
  • 2023 Annual Research Report
  • 2022 Annual Research Report
  • Research Products

    (13 results)

All 2024 2023 2022 Other

All Int'l Joint Research (3 results) Journal Article (3 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 2 results,  Open Access: 2 results) Presentation (6 results) (of which Int'l Joint Research: 6 results) Remarks (1 results)

  • [Int'l Joint Research] 西南大学/北京大学(中国)

    • Related Report
      2023 Annual Research Report
  • [Int'l Joint Research] サウパウロ大学(ブラジル)

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

    • Related Report
      2022 Annual Research Report
  • [Journal Article] A Game-Theoretical Self-Adaptation Framework for Securing Software-Intensive Systems2024

    • Author(s)
      Li Nianyu、Zhang Mingyue、Li Jialong、Adepu Sridhar、Kang Eunsuk、Jin Zhi
    • Journal Title

      ACM Transactions on Autonomous and Adaptive Systems

      Volume: 19 Issue: 2 Pages: 1-49

    • DOI

      10.1145/3652949

    • Related Report
      2023 Annual Research Report
  • [Journal Article] Value Iteration Networks With Gated Summarization Module2023

    • Author(s)
      Cai Jinyu、Li Jialong、Zhang Mingyue、Tei Kenji
    • Journal Title

      IEEE Access

      Volume: 11 Pages: 60407-60420

    • DOI

      10.1109/access.2023.3286729

    • Related Report
      2023 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptation2023

    • Author(s)
      Li Jialong、Tei Kenji
    • Journal Title

      Journal of Information Processing

      Volume: 31 Issue: 0 Pages: 186-195

    • DOI

      10.2197/ipsjjip.31.186

    • ISSN
      1882-6652
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Presentation] Similarity-Based Shield Adaptation under Dynamic Environment2023

    • Author(s)
      Prasanth Senthilvelan, Jialong Li, Kenji Tei
    • Organizer
      2023 3rd IEEE International Conference on Software Engineering and Artificial Intelligence
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Demonstration of a Real-world Self-adaptive Robot Path-finding using Discrete Controller Synthesis2023

    • Author(s)
      Jialong Li, Takuto Yamauchi, Nianyu Li, Zhengyin Chen, Mingyue Zhang, Hirano Takanori, Kenji Tei
    • Organizer
      2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Preference Adaptation: user satisfaction is all you need!2023

    • Author(s)
      Nianyu Li, Mingyue Zhang, Jialong Li, Eunsuk Kang, Kenji Tei
    • Organizer
      18th Symposium on Software Engineering for Adaptive and Self-Managing Systems
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers2023

    • Author(s)
      Jialong Li, Wallace Manzano, Takuto Yamauchi, Nobuhiro Matsuyama, Elisa Yumi Nakagawa, Kenji Tei
    • Organizer
      12th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems
    • Related Report
      2023 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation2022

    • Author(s)
      Li Jialong
    • Organizer
      29th Asia-Pacific Software Engineering Conference
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation2022

    • Author(s)
      Li Jialong
    • Organizer
      IEEE 30th International Requirements Engineering Conference
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Remarks] researchmap

    • URL

      https://researchmap.jp/jialong

    • Related Report
      2022 Annual Research Report

URL: 

Published: 2022-04-28   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi