TY - GEN
T1 - Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
AU - Aizawa, Kazuya
AU - Tei, Kenji
AU - Honiden, Shinichi
N1 - Funding Information:
The research was partially supported by National Institute of Information and Communications Technology(NICT) and JSPS KAKENHI Grant Number 18H03225, 17H00732.
Publisher Copyright:
© 2019 IEEE.
PY - 2019/8
Y1 - 2019/8
N2 - 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.
AB - 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.
KW - Discrete controller synthesis
KW - Safety property
KW - Self-adaptive system
KW - Space reduction
UR - http://www.scopus.com/inward/record.url?scp=85083574645&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85083574645&partnerID=8YFLogxK
U2 - 10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00249
DO - 10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00249
M3 - Conference contribution
AN - SCOPUS:85083574645
T3 - 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
SP - 1363
EP - 1370
BT - 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
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 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
Y2 - 19 August 2019 through 23 August 2019
ER -
