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

Local absorption of uncertainty in complex systems using resilient objects

Simulation-Based Robust Design of Complex Product Considering Uncertainties of Metamodel, Design Variables, and Noise Parameters

Overview and Prospects of Uncertain Intelligent Design for Complex Products

Resolving Uncertainty in Context Integration and Abstraction

New Robust Optimization Approach Induced by Flexible Uncertainty Set: Optimization under Continuous Uncertainty

Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical Systems

Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling

System-Level Analysis of Module Uncertainty Quantification in the Autonomy Pipeline

Managing uncertainty in product and process design for the circular factory

A framework to measure the robustness of programs in the unpredictable environment

Beyond Robustness: A Taxonomy of Approaches towards Resilient Multi-Robot Systems

On the consideration of uncertainty in design: optimization - reliability - robustness

On resilient behaviors in computational systems and environments

Concurrent Treatment of Parametric Uncertainty and Metamodeling Uncertainty in Robust Design

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design

An Architectural Design for Measurement Uncertainty Evaluation in Cyber-Physical Systems

Decision making under uncertainty for design of resilient engineered systems

Robustness and resilience of complex networks

From a false sense of safety to resilience under uncertainty

System Theoretic View on Uncertainties

Concurrent design for structures and material microstructures under hybrid uncertainties