A Decentralized Compositional Framework for Dependable Decision Process in Self-Managed Cyber Physical Systems

Zhou, Peng; Zuo, Decheng; Hou, Kun Mean; Zhang, Zhan

doi:10.3390/s17112580

Cited by 12 publications

(12 citation statements)

References 48 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…increases with the complexity of contract (more detailed simulation result can be found in this article [18]). These conclusions show that the range of τ v is the main factor of the stability of the reliability.…”

Section: A Simulation Results Of Nsga-ii Solution Set and Waiting Timementioning

confidence: 99%

“…Note that v ∈ V is a logical subsystem formalized with a Mealy finite-state machine. For more detailed formal definitions refer to this article [18]. An actor v receives an output event and processes it with several internal transitions, and then sends a new event to other actors, which triggers an external transition.…”

Section: A Formal Process Flow and Specification Of Adaptation Loopmentioning

confidence: 99%

“…To overcome the shortages of current approaches, we have proposed a hierarchically decentralized compositional selfadaptive framework [18]. In our framework, as shown in Fig.…”

Section: B Brief Introduction Of Our Approach and The Role Of Contractmentioning

confidence: 99%

See 2 more Smart Citations

Improving the Dependability of Self-Adaptive Cyber Physical System With Formal Compositional Contract

et al. 2020

Self Cite

View full text Add to dashboard Cite

To adapt to the uncertain environment smartly and timely, cyber physical systems (CPSs) have to interact with the physical world in a decentralized but rigorous, organized way. Guaranteeing the timing reliability is key to achieve consensus on the order of distributed events, as well as dependable cooperative decision processing. Based on our hierarchically decentralized compositional self-adaptive framework, we propose a formal compositional reliability-contract-based solution to guarantee the timing reliability of event observation and decision processing in a large-scale, geographically distributed CPS. As the prophetic decision may not fit the local situation well because of the uncertainties, we propose a gradual contract optimization solution to refine the dependability, timeliness, and energy consumption. Following the seven proposed composition schemes, we employ the nondominated sorting genetic algorithm II (NSGA-II) algorithm to optimize arrangement of decision. Moreover, a topology-aware time reserving solution is applied to improve the resilience of processing time and to tolerance timing failures. Both simulation results and real-world testing are introduced to evaluate the efficacy of our proposal. We believe that the formal compositional contract will be a competitive CPS solution to analyze requirements and optimize the self-adaptation decision at runtime.

show abstract

Section: A Simulation Results Of Nsga-ii Solution Set and Waiting Timementioning

confidence: 99%

Section: A Formal Process Flow and Specification Of Adaptation Loopmentioning

confidence: 99%

See 1 more Smart Citation

Improving the Dependability of Self-Adaptive Cyber Physical System With Formal Compositional Contract

et al. 2020

Self Cite

View full text Add to dashboard Cite

show abstract

“…The problem of long-term plan making can simplify as the generic multi-object optimization problem (MOOP). Current optimization objects for SCPS include guaranteeing the real-time/deadline/timeliness [196,197] resource performance [198], dependability [73] and other functional objects [199]. Massive algorithms have been proposed for MOOP, such as evolution algorithms [200], a nature-inspired algorithms (i.e., ant colony and swarm optimization) [201].…”

Section: The Safety Of Self-adaptation Strategies and The Dependabmentioning

confidence: 99%

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

Zhou

Zuo

Hou

et al. 2019

Sensors

Self Cite

View full text Add to dashboard Cite

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.

show abstract

“…There are some special program languages and different formats of data structure representation which are used to describe ontologies [5][6][7]:…”

Section: Introductionmentioning

confidence: 99%

The ontology in description of production processes in the Industry 4.0 item designing company

Gurjanov

Заколдаев²,

Шукалов³

et al. 2018

J. Phys.: Conf. Ser.

View full text Add to dashboard Cite

Abstract. The task of production organization provision development to solve a practical task to describe of the item designing company manufacturing processes based on ontology is being studied. Ontology is a kind of manufacturing processes semantic description. Ontologies are necessary to link the technological equipment models and manufacturing processes which exist in the level of Internet of Things with their digital twins which exist in the level of Internet of services.

show abstract

A Decentralized Compositional Framework for Dependable Decision Process in Self-Managed Cyber Physical Systems

Cited by 12 publications

References 48 publications

Improving the Dependability of Self-Adaptive Cyber Physical System With Formal Compositional Contract

Improving the Dependability of Self-Adaptive Cyber Physical System With Formal Compositional Contract

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

The ontology in description of production processes in the Industry 4.0 item designing company

Contact Info

Product

Resources

About