Identifying safety properties guaranteed in changed environment at runtime

Kazuya Aizawa, Kenji Tei, Shinichi Honiden

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

Safety properties for systems are guaranteed under assumptions to an environment. If the assumptions are broken at runtime, the safety properties are no longer guaranteed. The system should adapt to the changes in order to guarantee the safety properties or relaxed safety properties. Our purpose is establishing techniques to identify the maximum level of safety properties that can be guaranteed in a changed environment. The technique should be efficient so that it is applicable to runtime usage. In this paper, we propose an efficient algorithm that identifies the maximum level of safety properties. Our idea is analyzing availability of each safety property guarantee at a time and restricting analysis only in changed part of the previous result, instead of analysis from the scratch. We extend an existing analysis algorithm based on two-player game to realize the difference analysis. We evaluate our algorithm in terms of (1) level of safety properties and (2) computational time through two case studies.

本文言語English
ホスト出版物のタイトルProceedings - 2018 IEEE International Conference on Agents, ICA 2018
出版社Institute of Electrical and Electronics Engineers Inc.
ページ75-80
ページ数6
ISBN(印刷版)9781538681800
DOI
出版ステータスPublished - 2018 9 10
イベント2018 IEEE International Conference on Agents, ICA 2018 - Singapore, Singapore
継続期間: 2018 7 282018 7 31

出版物シリーズ

名前Proceedings - 2018 IEEE International Conference on Agents, ICA 2018

Other

Other2018 IEEE International Conference on Agents, ICA 2018
CountrySingapore
CitySingapore
Period18/7/2818/7/31

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Control and Optimization
  • Computer Science Applications

フィンガープリント 「Identifying safety properties guaranteed in changed environment at runtime」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル