Self-adaptive and self-healing message passing strategies for process-oriented integration infrastructures

2004 ◽  
Author(s):  
Y. Caseau
Keyword(s):  
Message Passing ◽  
Self Healing ◽  
Process Oriented ◽  
Self Adaptive

scholarly journals A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Sensors ◽  
2019 ◽  
Vol 19 (5) ◽  
pp. 1033 ◽  
Author(s):  
Peng Zhou ◽  
Decheng Zuo ◽  
Kun Hou ◽  
Zhan Zhang ◽  
Jian Dong ◽  
...  
Keyword(s):  
Management Strategies ◽  
Critical Issue ◽  
Research Area ◽  
Self Management ◽  
Self Healing ◽  
Human Errors ◽  
Adaptive Architecture ◽  
Comprehensive Survey ◽  
Self Adaptation ◽  
Self Adaptive

Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and few surveys have been published in this domain. CPS is a dynamic complex system, which involves various multidisciplinary technologies. To avoid human errors and to simplify management, self-management CPS (SCPS) is a wise choice. To achieve dependable self-management, systematic solutions are necessary to verify the design and to guarantee the safety of self-adaptation decisions, as well as to maintain the health of SCPS. This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management through the formal feedback flow. Focusing on reducing the complexity, we first survey the self-adaptive architecture approaches and applied dependability means, then we introduce a hybrid multi-role self-adaptive architecture, and discuss the supporting technologies for dependable self-management at the architecture level. Focus on dependable environment-centered adaptation, we investigate the verification and validation (V&V) methods for making safe self-adaptation decision and the solutions for processing decision dependably. For system-centered adaptation, the comprehensive self-healing methods are summarized. Finally, we analyze the missing pieces of the technology puzzle and the future directions. In this survey, the technical trends for dependable CPS design and maintenance are discussed, an all-in-one solution is proposed to integrate these technologies and build a dependable organic SCPS. To the best of our knowledge, this is the first comprehensive survey on dependable SCPS building and evaluation.

scholarly journals Self-Adaptive Systems Planning with Model Checking using MAPE-K

2020 ◽  
Author(s):  
Aristóteles Esteves Marçal Da Silva ◽  
Aline Maria Santos Andrade ◽  
Sandro Santos Andrade
Keyword(s):  
Model Checking ◽  
Adaptive Systems ◽  
Traffic Monitoring ◽  
Self Healing ◽  
Reference Architecture ◽  
Systems Planning ◽  
Autonomous Planning ◽  
Formal Framework ◽  
Self Adaptive

This paper presents a model checking-based approach to support the autonomous planning of adaptation actions in Self-Adaptive Systems, designed in consonance with the MAPE-K reference architecture. We evaluated our approach with a case-study aiming at verifying self-healing and self-organizing properties in a distributed and decentralized traffic monitoring system. Results show that our approach is able to generate adaptation plans satisfying the goals for all expected scenarios in such a case-study, providing a flexible formal framework where adaptation strategies and goals can be inserted/removed.

scholarly journals Parallel algorithms optimization using Actor Model

2020 ◽  
pp. 126-137
Author(s):  
А.Yu. Doroshenko ◽  
◽  
E.M. Tulika ◽  
Keyword(s):  
Message Passing ◽  
High Speed ◽  
Formal Model ◽  
Single Point ◽  
Data Placement ◽  
Self Healing ◽  
Time Data ◽  
Actor Model ◽  
Data Movement ◽  
Network Bandwidth

Introduced methods and instrumentation tools for actor model applied to block recursive algorithms optimization. Created formal model of distribution and coordination of the tasks in computation cluster as asynchronous reactive processes with message-passing represented with an actor model and choreography of actors. Created declarative definitions of algorithms which compiles to the system of actors. Proposed scheme of data placement in a cluster using prioritization of block-recursive operations to reduce idling time, data movement, with increased parallelism in situation of high-speed processors and reduced network bandwidth. Implemented adaptive adjustment of the data placement in a cluster at run time to account for current cluster load. Created autotuning of the actor placement in а cluster which uses statistics of previous runs for optimization. Usage of choreography of actors allows to remove central coordinating element and to avoid hard dependencies between cluster nodes, which provides flexible data placement, improves fault tolerance with no single point of failure and allows to use self-healing.

scholarly journals A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

2019 ◽  
Author(s):  
Peng Zhou ◽  
Decheng Zuo ◽  
Kunmean Hou ◽  
Zhan Zhang ◽  
Jian Dong ◽  
...  
Keyword(s):  
Human Error ◽  
Management Strategies ◽  
Critical Issue ◽  
Research Area ◽  
Self Management ◽  
Self Healing ◽  
Adaptive Architecture ◽  
Self Adaptation ◽  
Adaptation Decision ◽  
Self Adaptive

Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and rare survey has been published in this domain. CPS is a dynamic complex system, which involves various multidisciplinary technologies. To avoid human error and to simplify management, self-management CPS (SCPS) is a wise choice. And to achieve dependable self-management, systematic solution is necessary to verify the design and to guarantee the safety of self-adaptation decision, as well as to maintain the health of SCPS. This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management through the formal feedback flow. Focus on reducing the complexity, we first survey the self-adaptive architecture approaches and applied dependability means; then we introduce a hybrid multi-role self-adaptive architecture, and discuss the supporting technologies for dependable self-management at the architecture level. Focus on dependable environment-centered adaption, we investigate the verification and validation (V&V) methods for making safe self-adaptation decision and the solutions for processing decision dependably. For system-centered adaption, the comprehensive self-healing methods are summarized. Finally, we analyze the missing pieces of the technology puzzle and the future directions. In this survey, the technical trends for dependable CPS design and maintenance are discussed, an all-in-one solution is proposed to integrate these technologies and build a dependable organic SCPS. To the best of our knowledge, this is the first comprehensive survey on dependable SCPS building and evaluation.

Sign in / Sign up

Export Citation Format

Share Document