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

Jialong Li, Kazuya Aizawa, Kenji Tei, Shinichi Honiden

研究成果: Conference contribution

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020
編集者Guojun Wang, Gregorio Martinez Perez, Scott Fowler, Kuan-Ching Li
出版社Institute of Electrical and Electronics Engineers Inc.
ページ33-40
ページ数8
ISBN(電子版)9780738111186
DOI
出版ステータスPublished - 2020 12
イベント18th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2020 - Guangzhou, China
継続期間: 2020 12 292021 1 1

出版物シリーズ

名前Proceedings - 2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing, EUC 2020

Conference

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

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Instrumentation

フィンガープリント 「Efficient difference analysis algorithm for runtime requirement degradation under system functional fault」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル