Abstract:Cyber-physical systems (CPSs) are built from, and depend upon, the seamless integration of software and hardware components. The most important challenge in CPS design and verification is to design CPS to be reliable in a variety of uncertainties, i.e., unanticipated and rapidly evolving environments and disturbances. The costs, delays and reliability of the designed CPS are highly dependent on software-hardware partitioning in the design. The key challenges in partitioning CPSs is that it is difficult to formalize reliability characterization in the same way as the uncertain cost and time delay. In this paper, we propose a new CPS design paradigm for reliability assurance while coping with uncertainty. To be specific, we develop an uncertain programming model for partitioning based on the uncertainty theory, to support the assured reliability. The uncertainty effect of the cost and delay time of components to be implemented can be modeled by the uncertainty variables with uncertainty distributions, and the reliability characterization is recursively derived. We convert the uncertain programming model and customize an improved heuristic to solve the converted model. Experiment results on some benchmarks and random graphs show that the uncertain method produces the design with higher reliability. Besides, in order to demonstrate the effectiveness of our model for in coping with uncertainty in design stage, we apply this uncertain framework and existing deterministic models in the design process of a sub-system that is used in real world subway control. The system implemented based on the uncertain model works better than the result of deterministic models. The proposed design paradigm has the potential to be generalized to the design of CPSs for greater assurances of safety and security under a variety of uncertainties

Confident Information Coverage Reliability Evaluation for Sensor Networks of Openly Deployed ICP Systems

Tensor-based Confident Information Coverage Reliability of Hybrid Internet of Things

Tensor and Confident Information Coverage based Reliability Evaluation for Large-scale Intelligent Transportation Wireless Sensor Networks

Trust-Based Intrusion-Tolerant Coverage Reliability in Intelligent IoT Systems

A Trust-Based Reliable Confident Information Coverage Model of Wireless Sensor Networks for Intelligent Transportation

Efficient Fault-Tolerant Information Barrier Coverage in Internet of Things

Towards Cyber-Physical Systems in Social Spaces: The Data Reliability Challenge

A Security Posture Assessment of Industrial Control Systems Based on Evidential Reasoning and Belief Rule Base

A Comprehensive Dynamic Quality Assessment Method for Cyber Threat Intelligence

A Security Situation Prediction Model for Industrial Control Network Based on EP-CMA-ES

A Novel Strategy for Barrier Confident Information Coverage in Sensor Networks

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design

Sensor Reliability in Cyber-Physical Systems Using Internet-of-Things Data: A Review and Case Study

A Correlation-Based Approach to Trustworthy Sensing for Cyber-Physical Systems

Reinforcement-Learning-Enabled Partial Confident Information Coverage for IoT-Based Bridge Structural Health Monitoring.

Strategy For Reliability Testing And Evaluation Of Cyber Physical Systems

Toward Belief Function-Based Cooperative Sensing for Interference Resistant Industrial Wireless Sensor Networks

On the Deployment of a Connected Sensor Network for Confident Information Coverage

A Trustworthiness Evaluation Framework for CPS Software

Resilient Deployment of Smart Nodes for Improving Confident Information Coverage in 5G IoT

Detecting Confident Information Coverage Holes in Industrial Internet of Things: an Energy-Efficient Perspective