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

2021 Fiscal Year Annual Research Report

しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク

Research Project

Project/Area Number 17H00732
Research InstitutionWaseda University

Principal Investigator

本位田 真一  早稲田大学, 理工学術院, 教授(任期付) (70332153)

Co-Investigator(Kenkyū-buntansha) 吉岡 信和  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (20390601)
鄭 顕志  早稲田大学, 理工学術院, 准教授(任期付) (40434295)
石川 冬樹  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)
Project Period (FY) 2017-04-01 – 2022-03-31
Keywords自己適応システム / 実行時モデル / Graceful Degradation / 離散制御器合成 / 環境モデル学習
Outline of Annual Research Achievements

システムは実世界で起こる多様な環境変化にさらされる.実行中における実世界の環境変化にも迅速かつ柔軟に耐え,可用性,応答性,セキュリティ,頑健性といった多種多様な品質を維持するには,実行時の情報を活用した自動運用が不可欠となる.本研究では,複数の観点のモデルを協調して扱う実行時モデリング技術を確立し,実行中の環境変化に対して複数の品質維持を可能とするフレームワークを開発する.
本年度は前年度に引き続き実証実験,並びに要素技術の洗煉化を行った.実証実験では,開発フレームワークをIoTシステムドメインに適用し,実システムの開発・運用状況を模擬た状況に適用し,実用性の観点で評価を行した.また,開発したフレームワークを用いて,実践的な規模のIoTシステムを開発し,物理環境の変化やセキュリティアタックに対する実行時の品質維持能力,適応速度,開発効率について評価した.
[実施項目 4] 実証実験,成果公開: 本フレームワークの有効性と汎用性を評価する実証実験を行った.有用性を評価するため,実際にシステムを開発,運用し,セキュリティアタック,ハードウェア故障,利用の劇的な集中といった環境変化に対する品位維持能力や 適応時間を評価した.
[実施項目 1] マルチビュー実行時モデルによるシステム管理技術の確立: 実験結果を踏まえて技術の洗練化を行った.
[実施項目 2] マルチビュー協調プランニング技術: 実験結果を踏まえて技術の洗練化を行った.
[実施項目 3]マルチビュー実行時モデルフレームワークの開発: 実験結果を踏まえて技術の洗練化を行った.

Research Progress Status

令和3年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

令和3年度が最終年度であるため、記入しない。

  • Research Products

    (14 results)

All 2023 2022 Other

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

  • [Int'l Joint Research] Open University/Imperial College London(英国)

    • Country Name
      UNITED KINGDOM
    • Counterpart Institution
      Open University/Imperial College London
  • [Int'l Joint Research] ソルボンヌ大学(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      ソルボンヌ大学
  • [Int'l Joint Research] 北京大学(中国)

    • Country Name
      CHINA
    • Counterpart Institution
      北京大学
  • [Journal Article] ビューパターンに基づいた列挙を行うドメイン特化モデリング環境開発支援ツールの実装と評価2023

    • Author(s)
      川上 真澄、石川 冬樹
    • Journal Title

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

      Volume: J106-D Pages: 244~256

    • DOI

      10.14923/transinfj.2022PDP0019

    • Peer Reviewed
  • [Journal Article] 段階的な部分合成による離散制御器合成の分析空間削減2023

    • Author(s)
      山内 拓人、鄭 顕志
    • Journal Title

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

      Volume: J106-D Pages: 218~230

    • DOI

      10.14923/transinfj.2022PDP0022

    • Peer Reviewed
  • [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 Pages: 186~195

    • DOI

      10.2197/ipsjjip.31.186

    • Peer Reviewed / Open Access
  • [Journal Article] Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems2023

    • Author(s)
      Tei Kenji、Tahara Yasuyuki、Ohsuga Akihiko
    • Journal Title

      IEEE Transactions on Software Engineering

      Volume: 49 Pages: 1299~1322

    • DOI

      10.1109/TSE.2022.3174408

    • Peer Reviewed / Open Access
  • [Presentation] Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation2022

    • Author(s)
      Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden and Kenji Tei
    • Organizer
      29th Asia-Pacific Software Engineering Conference (APSEC 2022)
    • Int'l Joint Research
  • [Presentation] Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems2022

    • Author(s)
      Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
    • Organizer
      The 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022)
    • Int'l Joint Research
  • [Presentation] Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement2022

    • Author(s)
      Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
    • Organizer
      The 25th International Symposium on Formal Methods (FM 2023)
    • Int'l Joint Research
  • [Presentation] An Experience Report on Regression-Free Repair of Deep Neural Network Model2022

    • Author(s)
      Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa
    • Organizer
      The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023)
    • Int'l Joint Research
  • [Presentation] Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation2022

    • Author(s)
      Jialong Li, Kenji Tei
    • Organizer
      the 30th IEEE International Requirements Engineering (RE'22)
    • Int'l Joint Research
  • [Presentation] A formulation of MIP train rescheduling at terminals in bidirectional double-track lines with a moving block and ATO2022

    • Author(s)
      Kosuke Kawazoe, Takuto Yamauchi, Kenji Tei
    • Organizer
      22nd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS)
    • Int'l Joint Research
  • [Presentation] Safe Reinforcement Learning through Hierarchical Shielding with Self-Adaptive Techniques2022

    • Author(s)
      Prasanth Senthilvelan, Jialong Li, Kenji Tei
    • Organizer
      IEEE 9th International Conference on Industrial Engineering and Applications (ICIEA 2022)
    • Int'l Joint Research

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi