• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 17H00732
研究種目

基盤研究(A)

配分区分補助金
応募区分一般
研究分野 ソフトウェア
研究機関早稲田大学

研究代表者

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

研究分担者 吉岡 信和  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (20390601)
鄭 顕志  早稲田大学, 理工学術院, 准教授(任期付) (40434295)
石川 冬樹  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)
胡 振江  国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)
研究期間 (年度) 2017-04-01 – 2022-03-31
研究課題ステータス 完了 (2022年度)
配分額 *注記
43,940千円 (直接経費: 33,800千円、間接経費: 10,140千円)
2021年度: 12,350千円 (直接経費: 9,500千円、間接経費: 2,850千円)
2020年度: 9,750千円 (直接経費: 7,500千円、間接経費: 2,250千円)
2019年度: 8,320千円 (直接経費: 6,400千円、間接経費: 1,920千円)
2018年度: 6,760千円 (直接経費: 5,200千円、間接経費: 1,560千円)
2017年度: 6,760千円 (直接経費: 5,200千円、間接経費: 1,560千円)
キーワード自己適応システム / 実行時モデル / Graceful Degradation / 離散制御器合成 / 環境モデル学習 / 協調プランニング / 自己適応ソフトウェア
研究成果の概要

システムは実世界で起こる多様な環境変化にさらされる.実行中における実世界の環境変化にも迅速かつ柔軟に耐え,可用性,応答性,セキュリティ,頑健性といった多種多様な品質を維持するには,実行時の情報を活用した自動運用が不可欠となる.自動運用可能なソフトウェアの開発支援のために,開発時に使われるモデルを実行時にも保持し,実行中の情報を反映したモデル上でシステム構成変更を決定する実行時モデリング技術が発展してきている.そこで本研究では,従来単一観点の品質しか扱えなかった実行時モデルフレームワークを拡張し,モデル複数の観点のモデルを協調して扱う実行時モデリング技術とそのフレームワークを開発する.

研究成果の学術的意義や社会的意義

自己適応システム技術によって扱える品質の範囲を拡大し,複数の品質を同時に扱えるようになることにより,先進的なシステムで導入が始まっている自動運用の有効性,対象範囲をさらに広げる.また,高度な自動運用ソフトウェアの開発方法を職人芸の作り込みによる開発から脱却させ,先進的なソフトウェアシステムの実用化を加速させる.

報告書

(6件)
  • 2022 研究成果報告書 ( PDF )
  • 2021 実績報告書
  • 2020 実績報告書
  • 2019 実績報告書
  • 2018 実績報告書
  • 2017 実績報告書
  • 研究成果

    (81件)

すべて 2023 2022 2020 2019 2018 2017 2016 その他

すべて 国際共同研究 (18件) 雑誌論文 (19件) (うち国際共著 7件、 査読あり 19件、 オープンアクセス 5件) 学会発表 (44件) (うち国際学会 44件)

  • [国際共同研究] Open University/Imperial College London(英国)

    • 関連する報告書
      2021 実績報告書
  • [国際共同研究] ソルボンヌ大学(フランス)

    • 関連する報告書
      2021 実績報告書
  • [国際共同研究] 北京大学(中国)

    • 関連する報告書
      2021 実績報告書
  • [国際共同研究] Imperial College London/Open University(英国)

    • 関連する報告書
      2020 実績報告書
  • [国際共同研究] Buenos Aires University(アルゼンチン)

    • 関連する報告書
      2020 実績報告書
  • [国際共同研究] Buenos Aires University(アルゼンチン)

    • 関連する報告書
      2019 実績報告書
  • [国際共同研究] Lero(アイルランド)

    • 関連する報告書
      2019 実績報告書
  • [国際共同研究] Open University/Imperial College London(英国)

    • 関連する報告書
      2019 実績報告書
  • [国際共同研究] Buenos Aires University(アルゼンチン)

    • 関連する報告書
      2018 実績報告書
  • [国際共同研究] Open University/Imperial College London/New Castle University(英国)

    • 関連する報告書
      2018 実績報告書
  • [国際共同研究] Lero(アイルランド)

    • 関連する報告書
      2018 実績報告書
  • [国際共同研究] University Pierre-et-Marie-Curie/Lyon 1 University(フランス)

    • 関連する報告書
      2018 実績報告書
  • [国際共同研究] ブエノスアイレス大学(アルゼンチン)

    • 関連する報告書
      2017 実績報告書
  • [国際共同研究] オープン大学/Imperial College London(英国)

    • 関連する報告書
      2017 実績報告書
  • [国際共同研究] フローニンゲン大学(オランダ)

    • 関連する報告書
      2017 実績報告書
  • [国際共同研究] パリ第6大学/リヨン第1大学(フランス)

    • 関連する報告書
      2017 実績報告書
  • [国際共同研究] 北京大学/重慶大学(中国)

    • 関連する報告書
      2017 実績報告書
  • [国際共同研究]

    • 関連する報告書
      2017 実績報告書
  • [雑誌論文] ビューパターンに基づいた列挙を行うドメイン特化モデリング環境開発支援ツールの実装と評価2023

    • 著者名/発表者名
      川上 真澄、石川 冬樹
    • 雑誌名

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

      巻: J106-D 号: 4 ページ: 244-256

    • DOI

      10.14923/transinfj.2022PDP0019

    • ISSN
      1880-4535, 1881-0225
    • 年月日
      2023-04-01
    • 関連する報告書
      2021 実績報告書
    • 査読あり
  • [雑誌論文] 段階的な部分合成による離散制御器合成の分析空間削減2023

    • 著者名/発表者名
      山内 拓人、鄭 顕志
    • 雑誌名

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

      巻: J106-D 号: 4 ページ: 218-230

    • DOI

      10.14923/transinfj.2022PDP0022

    • ISSN
      1880-4535, 1881-0225
    • 年月日
      2023-04-01
    • 関連する報告書
      2021 実績報告書
    • 査読あり
  • [雑誌論文] Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptation2023

    • 著者名/発表者名
      Li Jialong、Tei Kenji
    • 雑誌名

      Journal of Information Processing

      巻: 31 号: 0 ページ: 186-195

    • DOI

      10.2197/ipsjjip.31.186

    • ISSN
      1882-6652
    • 関連する報告書
      2021 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems2023

    • 著者名/発表者名
      Tei Kenji、Tahara Yasuyuki、Ohsuga Akihiko
    • 雑誌名

      IEEE Transactions on Software Engineering

      巻: 49 号: 3 ページ: 1299-1322

    • DOI

      10.1109/tse.2022.3174408

    • 関連する報告書
      2021 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 活性と同時に保証可能な安全性特定のためのゲーム分析アルゴリズム2020

    • 著者名/発表者名
      相澤 和也、鄭 顕志、本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 61 号: 4 ページ: 853-862

    • DOI

      10.20729/00204236

    • NAID

      170000181828

    • 年月日
      2020-04-15
    • 関連する報告書
      2020 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 高信頼なミューテーションテストのためのエラー指向のミュータント削減手法とミュータント重み付け2020

    • 著者名/発表者名
      徳本 晋、本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 61 号: 4 ページ: 945-956

    • DOI

      10.20729/00204245

    • NAID

      170000181837

    • 年月日
      2020-04-15
    • 関連する報告書
      2020 実績報告書
    • 査読あり
  • [雑誌論文] 違反状態抽象化による保証可能な安全性特定のための分析空間削減2020

    • 著者名/発表者名
      相澤 和也、鄭 顕志、本位田 真一
    • 雑誌名

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

      巻: J103-D 号: 4 ページ: 238-246

    • DOI

      10.14923/transinfj.2019PDP0018

    • ISSN
      1880-4535, 1881-0225
    • 年月日
      2020-04-01
    • 関連する報告書
      2020 実績報告書
    • 査読あり
  • [雑誌論文] Change Impact Analysis for Refinement-Based Formal Specification2019

    • 著者名/発表者名
      SARUWATARI Shinnosuke、ISHIKAWA Fuyuki、KOBAYASHI Tsutomu、HONIDEN Shinichi
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E102.D 号: 8 ページ: 1462-1477

    • DOI

      10.1587/transinf.2018FOP0006

    • NAID

      130007686433

    • ISSN
      0916-8532, 1745-1361
    • 年月日
      2019-08-01
    • 関連する報告書
      2019 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 自己適応システムのための環境モデル実行時更新手法2019

    • 著者名/発表者名
      田邉 萌香, 鄭 顕志, 本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 60 (10) ページ: 1617-1630

    • NAID

      170000180524

    • 関連する報告書
      2019 実績報告書
    • 査読あり
  • [雑誌論文] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム2019

    • 著者名/発表者名
      相澤 和也, 鄭 顕志, 本位田 真一
    • 雑誌名

      情報処理学会論文誌

      巻: 60 (4) ページ: 1025-1039

    • NAID

      170000150279

    • 関連する報告書
      2019 実績報告書
    • 査読あり
  • [雑誌論文] 業務プロセスの伝票不整合リスクの改善手法2019

    • 著者名/発表者名
      河本高文, 二木厚吉, 吉岡 信和
    • 雑誌名

      情報処理学会論文誌

      巻: 60 (9) ページ: 1500-1508

    • NAID

      170000180443

    • 関連する報告書
      2019 実績報告書
    • 査読あり
  • [雑誌論文] Consistency-Preserving Refactoring of Refinement Structures in Event-B Models2019

    • 著者名/発表者名
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • 雑誌名

      Formal Aspects of Compupting

      巻: Preprint 号: 3 ページ: 287-320

    • DOI

      10.1007/s00165-019-00478-z

    • 関連する報告書
      2018 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Dynamic Update of Discrete Event Controllers2018

    • 著者名/発表者名
      L. Nahabedian, V. Braberman, N. DIppolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel
    • 雑誌名

      IEEE Transactions on Software Engineering (TSE)

      巻: - 号: 11 ページ: 1220-1240

    • DOI

      10.1109/tse.2018.2876843

    • 関連する報告書
      2020 実績報告書 2018 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] 部門ごとの伝票突合せを反映した業務プロセスの信頼性のアセスメント手法2018

    • 著者名/発表者名
      河本 高文, 二木 厚吉, 吉岡 信和
    • 雑誌名

      情報処理学会論文誌

      巻: 59 ページ: 1699-1708

    • NAID

      170000149754

    • 関連する報告書
      2018 実績報告書
    • 査読あり
  • [雑誌論文] Using Security Patterns to Develop Secure Systems?Ten Years Later2018

    • 著者名/発表者名
      Eduardo B. Fernandez, Hironori Washizaki, Nobukazu Yoshioka
    • 雑誌名

      International Journal of Systems and Software Security and Protection

      巻: 9 号: 4 ページ: 46-57

    • DOI

      10.4018/ijsssp.2018100103

    • 関連する報告書
      2018 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks2017

    • 著者名/発表者名
      Ehsan Ullah Warriach, and Kenji Tei
    • 雑誌名

      International Journal of Sensor Networks (IJSNet)

      巻: 24 号: 1 ページ: 1-13

    • DOI

      10.1504/ijsnet.2016.10001361

    • 関連する報告書
      2017 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Goal Modelling for Security Problem Matching and Pattern Enforcement2017

    • 著者名/発表者名
      Yu Yijun、Kaiya Haruhiko、Yoshioka Nobukazu、Hu Zhenjiang、Washizaki Hironori、Xiong Yingfei、Hosseinian-Far Amin
    • 雑誌名

      International Journal of Secure Software Engineering

      巻: 8 号: 3 ページ: 42-57

    • DOI

      10.4018/ijsse.2017070103

    • 関連する報告書
      2017 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds2017

    • 著者名/発表者名
      Wu Quanwang、Ishikawa Fuyuki、Zhu Qingsheng、Xia Yunni、Wen Junhao
    • 雑誌名

      IEEE Transactions on Parallel and Distributed Systems

      巻: 28 (12) 号: 12 ページ: 3401-3412

    • DOI

      10.1109/tpds.2017.2735400

    • 関連する報告書
      2017 実績報告書
    • 査読あり / 国際共著
  • [雑誌論文] Towards Systematic Parallelization of Graph Transformations over Pregel2016

    • 著者名/発表者名
      Le Dec Tung, Zhenjiang Hu
    • 雑誌名

      International Journal of Parallel Programming (IJPP)

      巻: 印刷中 号: 2 ページ: 320-339

    • DOI

      10.1007/s10766-016-0418-5

    • 関連する報告書
      2017 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [学会発表] Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation2022

    • 著者名/発表者名
      Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden and Kenji Tei
    • 学会等名
      29th Asia-Pacific Software Engineering Conference (APSEC 2022)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems2022

    • 著者名/発表者名
      Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
    • 学会等名
      The 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement2022

    • 著者名/発表者名
      Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
    • 学会等名
      The 25th International Symposium on Formal Methods (FM 2023)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] An Experience Report on Regression-Free Repair of Deep Neural Network Model2022

    • 著者名/発表者名
      Takao Nakagawa, Susumu Tokumoto, Shogo Tokui, Fuyuki Ishikawa
    • 学会等名
      The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation2022

    • 著者名/発表者名
      Jialong Li, Kenji Tei
    • 学会等名
      the 30th IEEE International Requirements Engineering (RE'22)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] A formulation of MIP train rescheduling at terminals in bidirectional double-track lines with a moving block and ATO2022

    • 著者名/発表者名
      Kosuke Kawazoe, Takuto Yamauchi, Kenji Tei
    • 学会等名
      22nd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Safe Reinforcement Learning through Hierarchical Shielding with Self-Adaptive Techniques2022

    • 著者名/発表者名
      Prasanth Senthilvelan, Jialong Li, Kenji Tei
    • 学会等名
      IEEE 9th International Conference on Industrial Engineering and Applications (ICIEA 2022)
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Towards Bridging the Gap between Control and Self-Adaptive System Properties2020

    • 著者名/発表者名
      Javier Camara, Alessandro Vittorio Papadopoulos, Thomas Vogel, Danny Weyns, David Garlan, Shihong Huang, Kenji Tei
    • 学会等名
      15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault2020

    • 著者名/発表者名
      Jialong Li, Kazuya Aizawa, Kenji Tei and Shinichi Honiden
    • 学会等名
      The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Method for Low-Cost Environment Partitioning Modeling in Dynamic Update2020

    • 著者名/発表者名
      Takuto Yamauchi, Kenji Tei and Shinichi Honiden
    • 学会等名
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Method of Applying Df-pn Algorithm to On-the-fly Controller Synthesis2020

    • 著者名/発表者名
      Kengo Kuwana, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      IEEE Third International Conference on AI and Knowledge Engineering (AIKE)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Identifying achievable goals for adaptive replanning against runtime environment change2020

    • 著者名/発表者名
      Jialong Li, Kenji Tei and Shinichi Honiden
    • 学会等名
      The 20th International Conference on Intelligent Systems Design and Applications (ISDA)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Heterogeneous Information Network based Adaptive Social Influence Learning for recommendation and explanation2020

    • 著者名/発表者名
      Munan Li, Kenji Tei, and Yoshiaki Fukazawa
    • 学会等名
      The 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'20)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Self-adaptive Hydroponics Care System for Human-hydroponics Coexistence2020

    • 著者名/発表者名
      Jialong Li, Zhenyu Mao, Zhen Cao, Kenji Tei, Shinichi Honiden
    • 学会等名
      2021 IEEE 3rd Global Conference on Life Sciences and Technologies
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems2020

    • 著者名/発表者名
      Alessandro Calo, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
    • 学会等名
      The Genetic and Evolutionary Computation Conference (GECCO 2020)
    • 関連する報告書
      2020 実績報告書
    • 国際学会
  • [学会発表] A Robust and Flexible Operating System Compatibility Architecture2020

    • 著者名/発表者名
      Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
    • 学会等名
      The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’20)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems2019

    • 著者名/発表者名
      Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Modelling and Analysing Resilient Cyber-Physical Systems2019

    • 著者名/発表者名
      Amel Bennaceur, Carlo Ghezzi, Kenji Tei, and et.al.,
    • 学会等名
      the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments2019

    • 著者名/発表者名
      Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
    • 学会等名
      2nd International Workshop on Robotics Software Engineering (RoSE 2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Minimising Makespan of Discrete Controllers: A Qualitative Approach2019

    • 著者名/発表者名
      Ezequiel Castellano, Victor Braberman, Nicolas D’Ippolito, Sebastian Uchitel, Kenji Tei
    • 学会等名
      58th IEEE Conference on Decision and Control (CDC 2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime2019

    • 著者名/発表者名
      Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Analysis Space Reduction Method with Decomposing Control Problem2019

    • 著者名/発表者名
      Takuto Yamauchi, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment2019

    • 著者名/発表者名
      Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] Analysis of changed game space for ensuring safety properties at runtime2019

    • 著者名/発表者名
      Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • 学会等名
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] How do Engineers Perceive Difficulties in Engineering of Machine-Learning Systems? - Questionnaire Survey2019

    • 著者名/発表者名
      Fuyuki Ishikawa, Nobukazu Yoshioka
    • 学会等名
      Joint International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice (CESSER-IP 2019)
    • 関連する報告書
      2019 実績報告書
    • 国際学会
  • [学会発表] A Refinement based Method for Developing Distributed Protocols2019

    • 著者名/発表者名
      Paulius Stankaitis, Alexei Iliasov, Alexander Romanovsky, Yamine Ait-Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa
    • 学会等名
      The 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Towards a Framework for the Analysis of Multi-PLs in the Automotive Domain2019

    • 著者名/発表者名
      Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
    • 学会等名
      The 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] AutoPUT: An Automated Technique for Retrofitting Closed Unit Tests into Parameterized Unit Tests2018

    • 著者名/発表者名
      Keita Tsukamoto, Yuta Maezawa and Shinichi Honiden
    • 学会等名
      the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC’18)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Identifying safety properties guaranteed in changed environment at runtime2018

    • 著者名/発表者名
      Kazuya Aizawa, Kenji Tei and Shinichi Honiden
    • 学会等名
      the 3rd IEEE International Conference on Agents (IEEE ICA 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Assured Graceful Degradation by Models@run.tim2018

    • 著者名/発表者名
      Kenji Tei
    • 学会等名
      THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems2018

    • 著者名/発表者名
      Fuyuki Ishikawa, Yutaka Matsuno
    • 学会等名
      The 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments2018

    • 著者名/発表者名
      Fuyuki Ishikawa
    • 学会等名
      The 37th International Conference on Conceptual Modeling (ER 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Analysis on Strategies of Superposition Refinement of Event-B Specifications2018

    • 著者名/発表者名
      Tsutomu Kobayashi, Fuyuki Ishikawa
    • 学会等名
      The 20th International Conference on Formal Engineering Methods (ICFEM 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Security Requirement Modeling Support System Using Software Security Knowledge Base2018

    • 著者名/発表者名
      Atsuo Hazeyama, Shun'ichi Tanaka, Takafumi Tanaka, Hiroaki Hashiura, Seiji Munetoh, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki, Nobukazu Yoshioka
    • 学会等名
      IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Evaluating the degree of security of a system built using security patterns2018

    • 著者名/発表者名
      Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki
    • 学会等名
      the 13th International Conference on Availability, Reliability and Security (ARES 2018)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Taxonomy and Literature Survey of Security Pattern Research2018

    • 著者名/発表者名
      Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Dan Yamaoto, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Takehisa Kato, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka, G Priyalakshmi
    • 学会等名
      IEEE Conference on Applications, Information and Network Security (AINS)
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] Extracting Traceability between Predicates in Event-B Refinement2017

    • 著者名/発表者名
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
    • 学会等名
      The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] Construction of Abstract State Graphs for Understanding Event-B Models2017

    • 著者名/発表者名
      Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • 学会等名
      Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] Soft-Goal Approximation Context Awareness of Goal-driven Self-Adaptive Systems2017

    • 著者名/発表者名
      Aurelien Vialon, Kenji Tei and Samir Aknine
    • 学会等名
      The 2nd Models@run.time in International Conference on Autonomic Computing 2017(MRT 2017)
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] Learning environment model at runtime for self-adaptive systems2017

    • 著者名/発表者名
      Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • 学会等名
      The 32nd ACM Symposium on Applied Computing (SAC2017)
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] Eliciting Requirements for Improving Users' Behavior Using Transparency2017

    • 著者名/発表者名
      aruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata, Takafumi Tanaka
    • 学会等名
      4th Asia-Pacific Symposium on Requirements Engineering for Internet of Things
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] Preliminary Systematic Literature Review of Software and Systems Traceability2017

    • 著者名/発表者名
      Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka, Hironori Washizaki
    • 学会等名
      the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES2017)
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] Towards Variability Management in Bidirectional Model Transformation2017

    • 著者名/発表者名
      Xiao He, Zhenjiang Hu, Yi Liu
    • 学会等名
      41st IEEE Annual Computer Software and Applications Conference
    • 関連する報告書
      2017 実績報告書
    • 国際学会
  • [学会発表] Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access2017

    • 著者名/発表者名
      Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
    • 学会等名
      15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
    • 関連する報告書
      2017 実績報告書
    • 国際学会

URL: 

公開日: 2017-04-28   更新日: 2024-01-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi