Abstract:Safety-Critical Cyber-Physical System (SCCPS) refers to the system that if the system fails or its key functions fail, it will cause casualties, property damage, environmental damage, and other catastrophic consequences. Therefore, it is vital to verify the safety of safety critical systems. In the community, the SCCPS safety verification mainly relies on the statistical model checking methodology, but for SCCPS with extremely high safety requirements, the statistical model checking method is difficult/infeasible to sample the extremely small probability event since the probability of the system violating the safety is very low (rare property). In response to this problem, we propose a new method of statistical model checking for high-safety SCCPS. Firstly, with the CTMC-approximated SCCPS path probability space model, it leverages the maximum likelihood estimation method to learn the parameters of CTMC. Then, the embedded DTMC can be derived from CTMC, and a cross-entropy optimization model based on DTMC can be constructed. Finally, we propose an algorithm of iteratively learning the optimal importance sampling distribution on the discrete path space and an algorithm to check the statistical model of verifying the rare attribute. Eventually, experimental results show that the method proposed in this paper can effectively verify the rare attributes of SCCPS. Under the same sample size, comparing with the heuristic importance sampling methods, the estimated value of this method can be better distributed around the mean value, and the related standard deviation and relative error are reduced by more than an order of magnitude.

Testing Result Statistics-Based Rapid Testing Method for Safety-Critical System

Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution

Stratified Uniform Sampling Method for Power System Reliability Evaluation

Acceleration Testing Method of Safety-critical Software with Testing Resource Constraint

Design and Application of a Response-Driven Adaptive Test System

Sensor-Fault-Tolerant Operation for the Independent Metering Control System

Improving the Efficiency of Software Reliability Demonstration Testing by Introducing Testing Effectiveness

Adaptive Sequential Importance Sampling Technique for Short-Term Composite Power System Adequacy Evaluation

Method of Automatic Test Case Generation for Safety-Critical Scenarios in Train Control Systems

Estimation Method of Software Reliability for Safety-critical System

Multiple Fault Assessment Algorithm for Reliability Evaluation

A Method to Enhance SCADA Systems Survivability through Simulation Technology

Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification

Research on Testability Analysis Technology of Nuclear Safety Level DCS System Based on Dependence Model

Method to Automatic Testcase Generation toward Safety Critical Scenarios of Cyber-physical Systems

An Adaptive Reliability Analysis Using Path Testing for Complex Component-Based Software Systems

Design and Implementation of the Rapid Debugging and Automatic Acceptance System for the Substation Integrated Automation System

Analysis of Confidence Lower Limits of Reliability and Hazard Rate for Electronic Stability Control Systems

A Cross-Entropy-Based Three-Stage Sequential Importance Sampling for Composite Power System Short-Term Reliability Evaluation

A Parallel Implementation Strategy of Adaptive Testing

Accelerated State Evaluation and Latin Hypercube Sequential Sampling for Composite System Reliability Assessment