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

Multi-view Models@run.time Framework

Research Project

Project/Area Number 17H00732
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionWaseda University

Principal Investigator

Honiden Shinichi  早稲田大学, 理工学術院, 教授(任期付) (70332153)

Co-Investigator(Kenkyū-buntansha) 吉岡 信和  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (20390601)
鄭 顕志  早稲田大学, 理工学術院, 准教授(任期付) (40434295)
石川 冬樹  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)
胡 振江  国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)
Project Period (FY) 2017-04-01 – 2022-03-31
Project Status Completed (Fiscal Year 2022)
Budget Amount *help
¥43,940,000 (Direct Cost: ¥33,800,000、Indirect Cost: ¥10,140,000)
Fiscal Year 2021: ¥12,350,000 (Direct Cost: ¥9,500,000、Indirect Cost: ¥2,850,000)
Fiscal Year 2020: ¥9,750,000 (Direct Cost: ¥7,500,000、Indirect Cost: ¥2,250,000)
Fiscal Year 2019: ¥8,320,000 (Direct Cost: ¥6,400,000、Indirect Cost: ¥1,920,000)
Fiscal Year 2018: ¥6,760,000 (Direct Cost: ¥5,200,000、Indirect Cost: ¥1,560,000)
Fiscal Year 2017: ¥6,760,000 (Direct Cost: ¥5,200,000、Indirect Cost: ¥1,560,000)
Keywords自己適応システム / 実行時モデル / Graceful Degradation / 離散制御器合成 / 環境モデル学習 / 協調プランニング / 自己適応ソフトウェア
Outline of Final Research Achievements

Systems are exposed to a wide variety of environmental changes that occur in the real world. In order to tolerate changes in the real-world environment during execution quickly and flexibly, and to maintain a wide variety of qualities such as availability, responsiveness, security, and robustness, automated adaptation using runtime information is required. To support the development of self-adaptive systems, runtime modeling techniques have been developed to maintain the models used during development at runtime, and to make decisions on system configuration changes based on models that reflect information during execution. In this study, we develop a runtime modeling technology and framework that cooperatively handles models from multiple viewpoints by extending the runtime modeling framework that has traditionally handled only the quality of a single viewpoint.

Academic Significance and Societal Importance of the Research Achievements

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

Report

(6 results)
  • 2022 Final Research Report ( PDF )
  • 2021 Annual Research Report
  • 2020 Annual Research Report
  • 2019 Annual Research Report
  • 2018 Annual Research Report
  • 2017 Annual Research Report
  • Research Products

    (81 results)

All 2023 2022 2020 2019 2018 2017 2016 Other

All Int'l Joint Research (18 results) Journal Article (19 results) (of which Int'l Joint Research: 7 results,  Peer Reviewed: 19 results,  Open Access: 5 results) Presentation (44 results) (of which Int'l Joint Research: 44 results)

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

    • Related Report
      2021 Annual Research Report
  • [Int'l Joint Research] ソルボンヌ大学(フランス)

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

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

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

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

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] Lero(アイルランド)

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

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

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Open University/Imperial College London/New Castle University(英国)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Lero(アイルランド)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] University Pierre-et-Marie-Curie/Lyon 1 University(フランス)

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

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] オープン大学/Imperial College London(英国)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] フローニンゲン大学(オランダ)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] パリ第6大学/リヨン第1大学(フランス)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] 北京大学/重慶大学(中国)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research]

    • Related Report
      2017 Annual Research Report
  • [Journal Article] Implementation and Evaluation of a Tool to Support the Development of a Domain-Specific Modeling Environment for Enumeration Based on View Patterns2023

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

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

      Volume: J106-D Issue: 4 Pages: 244-256

    • DOI

      10.14923/transinfj.2022PDP0019

    • ISSN
      1880-4535, 1881-0225
    • Year and Date
      2023-04-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An Analysis Space Reduction for Discrete Controller Synthesis by Stepwise Partial Synthesis2023

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

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

      Volume: J106-D Issue: 4 Pages: 218-230

    • DOI

      10.14923/transinfj.2022PDP0022

    • ISSN
      1880-4535, 1881-0225
    • Year and Date
      2023-04-01
    • Related Report
      2021 Annual Research Report
    • 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 Issue: 0 Pages: 186-195

    • DOI

      10.2197/ipsjjip.31.186

    • ISSN
      1882-6652
    • Related Report
      2021 Annual Research Report
    • 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 Issue: 3 Pages: 1299-1322

    • DOI

      10.1109/tse.2022.3174408

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A Game Analysis Algorithm for Identifying Safety Properties Guaranteeable While Satisfying a Liveness Property2020

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

      情報処理学会論文誌

      Volume: 61 Issue: 4 Pages: 853-862

    • DOI

      10.20729/00204236

    • NAID

      170000181828

    • Year and Date
      2020-04-15
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Error-oriented Mutant Reduction and Mutant Weighting for Reliable Mutation Testing2020

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

      情報処理学会論文誌

      Volume: 61 Issue: 4 Pages: 945-956

    • DOI

      10.20729/00204245

    • NAID

      170000181837

    • Year and Date
      2020-04-15
    • 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
    • Year and Date
      2020-04-01
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Change Impact Analysis for Refinement-Based Formal Specification2019

    • Author(s)
      SARUWATARI Shinnosuke、ISHIKAWA Fuyuki、KOBAYASHI Tsutomu、HONIDEN Shinichi
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E102.D Issue: 8 Pages: 1462-1477

    • DOI

      10.1587/transinf.2018FOP0006

    • NAID

      130007686433

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2019-08-01
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [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] 環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム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 (9) Pages: 1500-1508

    • NAID

      170000180443

    • 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 Compupting

      Volume: Preprint Issue: 3 Pages: 287-320

    • DOI

      10.1007/s00165-019-00478-z

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Dynamic Update of Discrete Event Controllers2018

    • Author(s)
      L. Nahabedian, V. Braberman, N. DIppolito, S. Honiden, J. Kramer, K. Tei, S. Uchitel
    • Journal Title

      IEEE Transactions on Software Engineering (TSE)

      Volume: - Issue: 11 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] 部門ごとの伝票突合せを反映した業務プロセスの信頼性のアセスメント手法2018

    • Author(s)
      河本 高文, 二木 厚吉, 吉岡 信和
    • Journal Title

      情報処理学会論文誌

      Volume: 59 Pages: 1699-1708

    • NAID

      170000149754

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Using Security Patterns to Develop Secure Systems?Ten Years Later2018

    • Author(s)
      Eduardo B. Fernandez, Hironori Washizaki, Nobukazu Yoshioka
    • Journal Title

      International Journal of Systems and Software Security and Protection

      Volume: 9 Issue: 4 Pages: 46-57

    • DOI

      10.4018/ijsssp.2018100103

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks2017

    • Author(s)
      Ehsan Ullah Warriach, and Kenji Tei
    • Journal Title

      International Journal of Sensor Networks (IJSNet)

      Volume: 24 Issue: 1 Pages: 1-13

    • DOI

      10.1504/ijsnet.2016.10001361

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Goal Modelling for Security Problem Matching and Pattern Enforcement2017

    • Author(s)
      Yu Yijun、Kaiya Haruhiko、Yoshioka Nobukazu、Hu Zhenjiang、Washizaki Hironori、Xiong Yingfei、Hosseinian-Far Amin
    • Journal Title

      International Journal of Secure Software Engineering

      Volume: 8 Issue: 3 Pages: 42-57

    • DOI

      10.4018/ijsse.2017070103

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds2017

    • Author(s)
      Wu Quanwang、Ishikawa Fuyuki、Zhu Qingsheng、Xia Yunni、Wen Junhao
    • Journal Title

      IEEE Transactions on Parallel and Distributed Systems

      Volume: 28 (12) Issue: 12 Pages: 3401-3412

    • DOI

      10.1109/tpds.2017.2735400

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Towards Systematic Parallelization of Graph Transformations over Pregel2016

    • Author(s)
      Le Dec Tung, Zhenjiang Hu
    • Journal Title

      International Journal of Parallel Programming (IJPP)

      Volume: 印刷中 Issue: 2 Pages: 320-339

    • DOI

      10.1007/s10766-016-0418-5

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [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)
    • Related Report
      2021 Annual Research Report
    • 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)
    • Related Report
      2021 Annual Research Report
    • 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)
    • Related Report
      2021 Annual Research Report
    • 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)
    • Related Report
      2021 Annual Research Report
    • 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)
    • Related Report
      2021 Annual Research Report
    • 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)
    • Related Report
      2021 Annual Research Report
    • 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)
    • Related Report
      2021 Annual Research Report
    • 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
    • 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)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Robust and Flexible Operating System Compatibility Architecture2020

    • Author(s)
      Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
    • Organizer
      The 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’20)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems2019

    • Author(s)
      Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • Organizer
      The 16th IEEE Int’l Conf. on Advanced and Trusted Computing (ATC 2019)
    • 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 and Kenji Tei
    • Organizer
      2nd International Workshop on Robotics Software Engineering (RoSE 2019)
    • 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
      58th IEEE Conference on Decision and Control (CDC 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Toward identifying safety properties guaranteed simultaneously with a liveness property at runtime2019

    • Author(s)
      Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • Organizer
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Analysis Space Reduction Method with Decomposing Control Problem2019

    • Author(s)
      Takuto Yamauchi, Kenji Tei, Shinichi Honiden
    • Organizer
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An Algorithm for Discrete Controller Synthesis at Runtime based on Difference Information of Changed Environment2019

    • Author(s)
      Takanori Hirano, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • Organizer
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Analysis of changed game space for ensuring safety properties at runtime2019

    • Author(s)
      Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden
    • Organizer
      The 8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] How do Engineers Perceive Difficulties in Engineering of Machine-Learning Systems? - Questionnaire Survey2019

    • Author(s)
      Fuyuki Ishikawa, Nobukazu Yoshioka
    • Organizer
      Joint International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice (CESSER-IP 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A Refinement based Method for Developing Distributed Protocols2019

    • Author(s)
      Paulius Stankaitis, Alexei Iliasov, Alexander Romanovsky, Yamine Ait-Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa
    • Organizer
      The 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Towards a Framework for the Analysis of Multi-PLs in the Automotive Domain2019

    • Author(s)
      Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
    • Organizer
      The 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2019)
    • Related Report
      2018 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.tim2018

    • Author(s)
      Kenji Tei
    • Organizer
      THE 7TH ASIAN-PACIFIC WORKSHOP OF ADVANCED SOFTWARE ENGINEERING (AWASE)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems2018

    • Author(s)
      Fuyuki Ishikawa, Yutaka Matsuno
    • Organizer
      The 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Concepts in Quality Assessment for Machine Learning - From Test Data to Arguments2018

    • Author(s)
      Fuyuki Ishikawa
    • Organizer
      The 37th International Conference on Conceptual Modeling (ER 2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Analysis on Strategies of Superposition Refinement of Event-B Specifications2018

    • Author(s)
      Tsutomu Kobayashi, Fuyuki Ishikawa
    • Organizer
      The 20th International Conference on Formal Engineering Methods (ICFEM 2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Security Requirement Modeling Support System Using Software Security Knowledge Base2018

    • Author(s)
      Atsuo Hazeyama, Shun'ichi Tanaka, Takafumi Tanaka, Hiroaki Hashiura, Seiji Munetoh, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki, Nobukazu Yoshioka
    • Organizer
      IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Evaluating the degree of security of a system built using security patterns2018

    • Author(s)
      Eduardo B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki
    • Organizer
      the 13th International Conference on Availability, Reliability and Security (ARES 2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Taxonomy and Literature Survey of Security Pattern Research2018

    • Author(s)
      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
    • Organizer
      IEEE Conference on Applications, Information and Network Security (AINS)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Extracting Traceability between Predicates in Event-B Refinement2017

    • Author(s)
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
    • Organizer
      The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Construction of Abstract State Graphs for Understanding Event-B Models2017

    • Author(s)
      Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • Organizer
      Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Soft-Goal Approximation Context Awareness of Goal-driven Self-Adaptive Systems2017

    • Author(s)
      Aurelien Vialon, Kenji Tei and Samir Aknine
    • Organizer
      The 2nd Models@run.time in International Conference on Autonomic Computing 2017(MRT 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Learning environment model at runtime for self-adaptive systems2017

    • Author(s)
      Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • Organizer
      The 32nd ACM Symposium on Applied Computing (SAC2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Eliciting Requirements for Improving Users' Behavior Using Transparency2017

    • Author(s)
      aruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata, Takafumi Tanaka
    • Organizer
      4th Asia-Pacific Symposium on Requirements Engineering for Internet of Things
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Preliminary Systematic Literature Review of Software and Systems Traceability2017

    • Author(s)
      Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka, Hironori Washizaki
    • Organizer
      the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Towards Variability Management in Bidirectional Model Transformation2017

    • Author(s)
      Xiao He, Zhenjiang Hu, Yi Liu
    • Organizer
      41st IEEE Annual Computer Software and Applications Conference
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access2017

    • Author(s)
      Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
    • Organizer
      15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research

URL: 

Published: 2017-04-28   Modified: 2024-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi