Identifying safety properties guaranteed in changed environment at runtime

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

Abstract

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.
Pages75-80
Number of pages6
ISBN (Print)9781538681800
DOIs
Publication statusPublished - 2018 Sep 10
Event2018 IEEE International Conference on Agents, ICA 2018 - Singapore, Singapore
Duration: 2018 Jul 282018 Jul 31

Other

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

Fingerprint

Safety
Algorithm Analysis
Efficient Algorithms
Availability
Game
Evaluate

Keywords

  • Discrete controller synthesis
  • Safety property
  • Self-Adaptive

ASJC Scopus subject areas

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

Cite this

Aizawa, K., Tei, K., & Honiden, S. (2018). Identifying safety properties guaranteed in changed environment at runtime. In Proceedings - 2018 IEEE International Conference on Agents, ICA 2018 (pp. 75-80). [8460083] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/AGENTS.2018.8460083

Identifying safety properties guaranteed in changed environment at runtime. / Aizawa, Kazuya; Tei, Kenji; Honiden, Shinichi.

Proceedings - 2018 IEEE International Conference on Agents, ICA 2018. Institute of Electrical and Electronics Engineers Inc., 2018. p. 75-80 8460083.

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

Aizawa, K, Tei, K & Honiden, S 2018, Identifying safety properties guaranteed in changed environment at runtime. in Proceedings - 2018 IEEE International Conference on Agents, ICA 2018., 8460083, Institute of Electrical and Electronics Engineers Inc., pp. 75-80, 2018 IEEE International Conference on Agents, ICA 2018, Singapore, Singapore, 18/7/28. https://doi.org/10.1109/AGENTS.2018.8460083
Aizawa K, Tei K, Honiden S. Identifying safety properties guaranteed in changed environment at runtime. In Proceedings - 2018 IEEE International Conference on Agents, ICA 2018. Institute of Electrical and Electronics Engineers Inc. 2018. p. 75-80. 8460083 https://doi.org/10.1109/AGENTS.2018.8460083
Aizawa, Kazuya ; Tei, Kenji ; Honiden, Shinichi. / Identifying safety properties guaranteed in changed environment at runtime. Proceedings - 2018 IEEE International Conference on Agents, ICA 2018. Institute of Electrical and Electronics Engineers Inc., 2018. pp. 75-80
@inproceedings{36fe53644b954b0e9d2195632869ed66,
title = "Identifying safety properties guaranteed in changed environment at runtime",
abstract = "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.",
keywords = "Discrete controller synthesis, Safety property, Self-Adaptive",
author = "Kazuya Aizawa and Kenji Tei and Shinichi Honiden",
year = "2018",
month = "9",
day = "10",
doi = "10.1109/AGENTS.2018.8460083",
language = "English",
isbn = "9781538681800",
pages = "75--80",
booktitle = "Proceedings - 2018 IEEE International Conference on Agents, ICA 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Identifying safety properties guaranteed in changed environment at runtime

AU - Aizawa, Kazuya

AU - Tei, Kenji

AU - Honiden, Shinichi

PY - 2018/9/10

Y1 - 2018/9/10

N2 - 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.

AB - 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.

KW - Discrete controller synthesis

KW - Safety property

KW - Self-Adaptive

UR - http://www.scopus.com/inward/record.url?scp=85054511621&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85054511621&partnerID=8YFLogxK

U2 - 10.1109/AGENTS.2018.8460083

DO - 10.1109/AGENTS.2018.8460083

M3 - Conference contribution

AN - SCOPUS:85054511621

SN - 9781538681800

SP - 75

EP - 80

BT - Proceedings - 2018 IEEE International Conference on Agents, ICA 2018

PB - Institute of Electrical and Electronics Engineers Inc.

ER -