Efficient difference analysis algorithm for runtime requirement degradation under system functional fault

Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden

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

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020
EditorsGuojun Wang, Gregorio Martinez Perez, Scott Fowler, Kuan-Ching Li
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages33-40
Number of pages8
ISBN (Electronic)9781665404006
DOIs
Publication statusPublished - 2020 Dec
Event18th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2020 - Guangzhou, China
Duration: 2020 Dec 292021 Jan 1

Publication series

NameProceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020

Conference

Conference18th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2020
Country/TerritoryChina
CityGuangzhou
Period20/12/2921/1/1

Keywords

  • 2-player game
  • Fault tolerance
  • Requirement degradation
  • Safety property
  • Self-adaptive systems

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Instrumentation

Fingerprint

Dive into the research topics of 'Efficient difference analysis algorithm for runtime requirement degradation under system functional fault'. Together they form a unique fingerprint.

Cite this