Next Article in Journal
Label-Free Biomedical Imaging Using High-Speed Lock-In Pixel Sensor for Stimulated Raman Scattering
Previous Article in Journal
Radar Constant-Modulus Waveform Optimization for High-Resolution Range Profiling of Stationary Targets
Previous Article in Special Issue
A Machine Learning Approach to Argo Data Analysis in a Thermocline
Article Menu
Issue 11 (November) cover image

Export Article

Open AccessArticle
Sensors 2017, 17(11), 2580; https://doi.org/10.3390/s17112580

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

1
School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, China
2
LIMOS, UMR 6158 CNRS, Université Clermont Auvergne, BP 10125, 63173 Aubière CEDEX, France
*
Author to whom correspondence should be addressed.
Received: 31 August 2017 / Revised: 31 October 2017 / Accepted: 4 November 2017 / Published: 9 November 2017
View Full-Text   |   Download PDF [18995 KB, uploaded 22 November 2017]   |  

Abstract

Cyber Physical Systems (CPSs) need to interact with the changeable environment under various interferences. To provide continuous and high quality services, a self-managed CPS should automatically reconstruct itself to adapt to these changes and recover from failures. Such dynamic adaptation behavior introduces systemic challenges for CPS design, advice evaluation and decision process arrangement. In this paper, a formal compositional framework is proposed to systematically improve the dependability of the decision process. To guarantee the consistent observation of event orders for causal reasoning, this work first proposes a relative time-based method to improve the composability and compositionality of the timing property of events. Based on the relative time solution, a formal reference framework is introduced for self-managed CPSs, which includes a compositional FSM-based actor model (subsystems of CPS), actor-based advice and runtime decomposable decisions. To simplify self-management, a self-similar recursive actor interface is proposed for decision (actor) composition. We provide constraints and seven patterns for the composition of reliability and process time requirements. Further, two decentralized decision process strategies are proposed based on our framework, and we compare the reliability with the static strategy and the centralized processing strategy. The simulation results show that the one-order feedback strategy has high reliability, scalability and stability against the complexity of decision and random failure. This paper also shows a way to simplify the evaluation for dynamic system by improving the composability and compositionality of the subsystem. View Full-Text
Keywords: cyber physical system; dependability; flexibility; self-management; scalability; relative time model; composability and compositionality; decentralized decision process cyber physical system; dependability; flexibility; self-management; scalability; relative time model; composability and compositionality; decentralized decision process
Figures

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. (CC BY 4.0).

Supplementary material

  • Externally hosted supplementary file 1
    Doi: doi:10.2991/icwcsn-16.2017.92;doi: 10.20944/preprints201707.0044.v1
    Link: http://edss.isima.fr/sites/smir/sis
    Description: the online demonstration on the real world system is available in http://edss.isima.fr/sites/smir/sis
SciFeed

Share & Cite This Article

MDPI and ACS Style

Zhou, P.; Zuo, D.; Hou, K.-M.; Zhang, Z. A Decentralized Compositional Framework for Dependable Decision Process in Self-Managed Cyber Physical Systems. Sensors 2017, 17, 2580.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Related Articles

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Sensors EISSN 1424-8220 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top