A Security Analysis Method for Stochastic Hybrid Systems Based on Statistical Model Checking

A statistical model and hybrid system technology, applied in the field of big data, can solve problems such as difficulty in solving the security analysis of random hybrid systems, and achieve the effect of avoiding common cause failures

Active Publication Date: 2021-04-06
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0010] The purpose of the present invention is to provide a security analysis method for stochastic hybrid systems based on statistical model detection, which solves the technical problem that the existing DFT quantitative analysis method is difficult to solve the security analysis of stochastic hybrid systems

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A Security Analysis Method for Stochastic Hybrid Systems Based on Statistical Model Checking
  • A Security Analysis Method for Stochastic Hybrid Systems Based on Statistical Model Checking
  • A Security Analysis Method for Stochastic Hybrid Systems Based on Statistical Model Checking

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0044]Such asFigure 1 - Figure 17 A safe analysis method of a random mixing system based on statistical model detection, including the following steps:

[0045]Step 1: Create a dynamic fault tree, according to the DFT decomposition algorithm, through the intention of the intensive tree throughout the entire dynamic fault tree, the dynamic fault tree is decomposed, and the specific steps are as follows:

[0046]Step S1: Decompose the entire dynamic fault tree into several dynamic faults with only a single dynamic logic gate;

[0047]Step S2: Store the basic component information and dynamic logic gate information in each dynamic fault sub-tree, generate the basic component information set and the dynamic logic gate information collection; the association relationship between the dynamic logic gate and the basic member, generates a dynamic logic gate A collection of associations between the basic components;

[0048]Step S3: According to the association between the dynamic fault tree, it is obtai...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a random hybrid system security analysis method based on statistical model detection, which belongs to the field of big data technology. First, the DFT is decomposed into dynamic logic gates, basic components, gates and gates, and gates and components through the DFT decomposition algorithm. Logical relationship, then convert dynamic logic gates and basic components into stochastic hybrid automata, then reconstruct the stochastic hybrid automaton to form a stochastic hybrid automaton network, and finally input the statute properties and stochastic hybrid automaton network model into the statistical In the model detection tool Uppaal-SMC, the result of the quantitative analysis of the dynamic fault tree model of the stochastic hybrid system is obtained, which solves the technical problem that the existing DFT quantitative analysis method is difficult to solve the security analysis of the stochastic hybrid system, and the present invention can solve the traditional DTF analysis method It can only be used for systems whose failure probability follows an exponential distribution.

Description

Technical field[0001]The present invention belongs to the field of large data technology, and it is particularly related to the safety analysis method of random mixing system based on statistical model detection.Background technique[0002]Dynamic Fault Tree (DFT) is a classic security analysis method, and has been widely used in various fields, and the fault diagnosis, investigation and maintenance of safety critical systems is achieved by quantitative analysis. However, due to the mixed random characteristics of the random mixed system, the existing dynamic fault tree quantitative analysis method is not sufficient to safety analysis of the random mixing system.[0003]Statistical Model Test (SMC) is a compromise between test and classical formulation methods, which is suitable for new verification techniques for large-scale complex systems. The core idea of ​​SMC is to make some simulations (including the order hypothesis test or Monte Carlo simulation), monitor the operating trajecto...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F16/22G06F16/2458B64D15/20
CPCB64D15/20G06F16/2246G06F16/2462
Inventor 黄志球乔森王金永谢健
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap