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

2020 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自己適応システム / 実行時モデル / 協調プランニング
Outline of Annual Research Achievements

2020年度は実証実験を行う予定であった.2020年度の実証実験では,当初は2019年度に行われた評価実験の結果を踏まえ改良したフレームワークをIoTシステムドメインに適用し,実システムの開発・運用状況を模擬した実験を通じて,実用性の観点で評価を行う予定であった.パンデミックの影響で実証実験の準備が遅れ,2022年度まで実験延期となったが,2022年度には開発したフレームワークを用いて,バス内の空調管理・監視システムを題材とした実践的な規模のIoTシステムを開発し,物理環境の変化やセキュリティアタックに対する実行時の品質維持能力,適応速度,開発効率について評価した.
[実施項目 4] 実証実験,成果公開(担当:本位田,鄭) 本フレームワークの有効性と汎用性を評価する実証実験を行った.有用性を評価するため,実際にシステムを開発,運用し,セキュリティアタック,ハードウェア故障,利用の劇的な集中といった環境変化に対する品位維持能力や適応時間の観点から評価し,提案手法の有効性を確認した.
[実施項目 1] マルチビュー実行時モデルによるシステム管理技術の確立(担当: 石川) 実験結果を踏まえて技術の洗練化を行った.
[実施項目 2] マルチビュー協調プランニング技術(担当:鄭) 実験結果を踏まえて技術の洗練化を行った.
[実施項目 3]マルチビュー実行時モデルフレームワークの開発(担当:吉岡)実験結果を踏まえて技術の洗練化を行った.

Current Status of Research Progress
Current Status of Research Progress

3: Progress in research has been slightly delayed.

Reason

パンデミックの影響で当初2020年に予定していた実験が2022年まで延期となったが,当初目的とした実験は完了した.

Strategy for Future Research Activity

最終年度では本年度までの成果を反映したフレームワークを用いた最終の実証実験を行う.また,その結果をまとめ成果を公開する.

  • Research Products

    (14 results)

All 2020 Other

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

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

    • Country Name
      UNITED KINGDOM
    • Counterpart Institution
      Imperial College London/Open University
  • [Int'l Joint Research] Buenos Aires University(アルゼンチン)

    • Country Name
      ARGENTINA
    • Counterpart Institution
      Buenos Aires University
  • [Journal Article] 活性と同時に保証可能な安全性特定のためのゲーム分析アルゴリズム2020

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

      情報処理学会論文誌

      Volume: 61 Pages: 853~862

    • DOI

      10.20729/00204236

    • Peer Reviewed / Open Access
  • [Journal Article] 違反状態抽象化による保証可能な安全性特定のための分析空間削減2020

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

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

      Volume: J103-D Pages: 238~246

    • DOI

      10.14923/transinfj.2019PDP0018

    • Peer Reviewed
  • [Journal Article] Dynamic Update of Discrete Event Controllers2020

    • Author(s)
      Nahabedian Leandro、Braberman Victor、Dippolito Nicolas、Honiden Shinichi、Kramer Jeff、Tei Kenji、Uchitel Sebastian
    • Journal Title

      IEEE Transactions on Software Engineering

      Volume: 46 Pages: 1220~1240

    • DOI

      10.1109/TSE.2018.2876843

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] 高信頼なミューテーションテストのためのエラー指向のミュータント削減手法とミュータント重み付け2020

    • Author(s)
      徳本 晋、本位田 真一
    • Journal Title

      情報処理学会論文誌

      Volume: 61 Pages: 945~956

    • DOI

      10.20729/00204245

    • Peer Reviewed
  • [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)
    • 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)
    • 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)
    • 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)
    • 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)
    • 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)
    • 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
    • Int'l Joint Research
  • [Presentation] Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems2020

    • Author(s)
      Alessandro Calo, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
    • Organizer
      The Genetic and Evolutionary Computation Conference (GECCO 2020)
    • Int'l Joint Research

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi