TY - GEN
T1 - Efficient difference analysis algorithm for runtime requirement degradation under system functional fault
AU - Li, Jialong
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.
Publisher Copyright:
© 2020 IEEE.
PY - 2020/12
Y1 - 2020/12
N2 - In event-based systems, safety properties are critical requirements to prevent the system from bad things happen. However, safety properties may be violated because of the runtime system functional fault. From the viewpoint of a self-adaptive system, such a system should be requirement-aware and changes its behavior to satisfy the designed requirements as much as possible. The previous work proposed a method to analyze possible adaptation options with degrading different requirements. Here, we propose an efficient difference analysis algorithm to shorten the analysis time so that the adaptation to functional fault can be more timely. Our idea is to reuse the analysis result of development time and re-analyze the changed part only, instead of performing the complete analysis from scratch. We evaluated our algorithm's efficiency based on three case studies: a coalmine pump-control system, a cyber-physical security people-flow restriction system, and a factory production cell system. The experiment results indicate that our algorithm averagely reduces 75.9% of analysis time compared with the existing analysis technique.
AB - In event-based systems, safety properties are critical requirements to prevent the system from bad things happen. However, safety properties may be violated because of the runtime system functional fault. From the viewpoint of a self-adaptive system, such a system should be requirement-aware and changes its behavior to satisfy the designed requirements as much as possible. The previous work proposed a method to analyze possible adaptation options with degrading different requirements. Here, we propose an efficient difference analysis algorithm to shorten the analysis time so that the adaptation to functional fault can be more timely. Our idea is to reuse the analysis result of development time and re-analyze the changed part only, instead of performing the complete analysis from scratch. We evaluated our algorithm's efficiency based on three case studies: a coalmine pump-control system, a cyber-physical security people-flow restriction system, and a factory production cell system. The experiment results indicate that our algorithm averagely reduces 75.9% of analysis time compared with the existing analysis technique.
KW - 2-player game
KW - Fault tolerance
KW - Requirement degradation
KW - Safety property
KW - Self-adaptive systems
UR - http://www.scopus.com/inward/record.url?scp=85100927523&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85100927523&partnerID=8YFLogxK
U2 - 10.1109/EUC50751.2020.00012
DO - 10.1109/EUC50751.2020.00012
M3 - Conference contribution
AN - SCOPUS:85100927523
T3 - Proceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020
SP - 33
EP - 40
BT - Proceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020
A2 - Wang, Guojun
A2 - Perez, Gregorio Martinez
A2 - Fowler, Scott
A2 - Li, Kuan-Ching
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 18th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2020
Y2 - 29 December 2020 through 1 January 2021
ER -