Identifying safety properties guaranteed in changed environment at runtime

Kazuya Aizawa, Kenji Tei, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (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.

Original languageEnglish
Title of host publicationProceedings - 2018 IEEE International Conference on Agents, ICA 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Print)9781538681800
Publication statusPublished - 2018 Sep 10
Event2018 IEEE International Conference on Agents, ICA 2018 - Singapore, Singapore
Duration: 2018 Jul 282018 Jul 31


Other2018 IEEE International Conference on Agents, ICA 2018


  • Discrete controller synthesis
  • Safety property
  • Self-Adaptive

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'Identifying safety properties guaranteed in changed environment at runtime'. Together they form a unique fingerprint.

Cite this