Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems

Kazuya Aizawa, Kenji Tei, Shinichi Honiden

研究成果: Conference contribution

抜粋

Analyzing guaranteeable safety properties in a running environment aids the decision making of self-adaptive systems. Our previous work generates and updates an analysis space with respect to environmental changes for identifying guaranteeable safety properties efficiently. However, our work cannot use the existing technique for reducing the analysis space, which means that its analysis space has a state explosion problem. In this paper, we propose a new reduction method that merges states while preserving information required for the safety properties analysis. We prove that our technique satisfies the condition for identifying guaranteeable safety properties. In addition, we evaluate the reduction in gives by using a production cell example and confirm that, in the best case, our proposal reduces the analysis space as much as that of a reachability analysis technique that cannot be applied to safety properties analysis.

元の言語English
ホスト出版物のタイトルProceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019
出版者Institute of Electrical and Electronics Engineers Inc.
ページ1363-1370
ページ数8
ISBN(電子版)9781728140346
DOI
出版物ステータスPublished - 2019 8
イベント2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019 - Leicester, United Kingdom
継続期間: 2019 8 192019 8 23

出版物シリーズ

名前Proceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019

Conference

Conference2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019
United Kingdom
Leicester
期間19/8/1919/8/23

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Computer Science Applications
  • Information Systems
  • Information Systems and Management
  • Energy Engineering and Power Technology
  • Electrical and Electronic Engineering
  • Urban Studies

フィンガープリント Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Aizawa, K., Tei, K., & Honiden, S. (2019). Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems. : Proceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019 (pp. 1363-1370). [9060271] (Proceedings - 2019 IEEE SmartWorld, Ubiquitous Intelligence and Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Internet of People and Smart City Innovation, SmartWorld/UIC/ATC/SCALCOM/IOP/SCI 2019). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00249