Method for Low-Cost Environment Partitioning Modeling in Dynamic Update

Takuto Yamauchi, Kenji Tei, Shinichi Honiden

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

Abstract

There are systems in the field of event-driven control that require continuous operation. Continuous operation is achieved by switching from normal control to control capable of coping with faults when a fault in the system is detected. In the design phase, the developer needs to create an update controller capable of coping with all possible faults by modeling safe update procedures for any number of possible malfunction patterns. This naturally places a heavy burden on the developer. In this paper, we propose a design method that reduces the design cost of the update environment, which accounts for most of the design burden of an update controller. When designing a new update environment by reusing one that has already been designed, only the design related to the state preservation during update needs to be changed. However, the conventional design method utilizes not only the state preservation relationship but also mixes in two other concerns. Therefore, our proposed method separates the preservation relations of this state from the mixed concerns. We examined the reduction effect of our method in a reuse situation with multiple failure patterns in two systems that require continuous operation and found that the maximum design cost reduction effect was 90% or more.

Original languageEnglish
Title of host publicationProceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages183-187
Number of pages5
ISBN (Electronic)9781728187082
DOIs
Publication statusPublished - 2020 Dec
Event3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020 - Irvine, United States
Duration: 2020 Dec 92020 Dec 11

Publication series

NameProceedings - 2020 IEEE 3rd International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020

Conference

Conference3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2020
CountryUnited States
CityIrvine
Period20/12/920/12/11

Keywords

  • Controller Synthesis
  • Dynamic Update
  • Model Checking
  • Requirement Engineering
  • Separation of Concerns

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Hardware and Architecture
  • Signal Processing
  • Information Systems and Management

Fingerprint Dive into the research topics of 'Method for Low-Cost Environment Partitioning Modeling in Dynamic Update'. Together they form a unique fingerprint.

Cite this