Random hybrid system safety analysis method based on statistical model detection

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

Active Publication Date: 2019-08-02
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
  • Random hybrid system safety analysis method based on statistical model detection
  • Random hybrid system safety analysis method based on statistical model detection
  • Random hybrid system safety analysis method based on statistical model detection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0044] Such as Figure 1-Figure 17 A random hybrid system security analysis method based on statistical model detection is shown, including the following steps:

[0045] Step 1: Create a dynamic fault tree, traverse the entire dynamic fault tree from top to bottom through the idea of ​​breadth-first search according to the DFT decomposition algorithm, and decompose the dynamic fault tree. The specific steps are as follows:

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

[0047] Step S2: Store basic component information and dynamic logic gate information in each dynamic fault subtree, generate basic component information sets and dynamic logic gate information sets; store the association relationship between dynamic logic gates and basic components, and generate dynamic logic gates A collection of associations with basic components;

[0048]Step S3: According to the association between dy...

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 safety analysis method based on statistical model detection, and belongs to the technical field of big data. The method comprises: firstly, using a DFT decomposition algorithm for decomposing the DFT into a dynamic logic gate, a basic component, gates and a logic relation between the gates and the components; then converting the dynamic logic gate andthe basic component into a random hybrid automaton, then reconstructing the random hybrid automaton to form a random hybrid automaton network, and finally inputting the stipulated property and the random hybrid automaton network model into a statistical model detection tool Uppaal-SMC, to obtain a dynamic fault tree model quantitative analysis result of the random hybrid system in the SMC. The technical problem that safety analysis of the random hybrid system is difficult to achieve through an existing DFT quantitative analysis method is solved, and the problem that a traditional DTF analysismethod can only aim at a system with the failure probability obeying index distribution can be solved.

Description

technical field [0001] The invention belongs to the technical field of big data, and in particular relates to a method for analyzing the security of a stochastic hybrid system based on statistical model detection. Background technique [0002] Dynamic fault tree analysis method (Dynamic fault tree, DFT), as a classic safety analysis method, is widely used in various fields. Through quantitative and qualitative analysis, fault diagnosis, troubleshooting and maintenance of safety-critical systems are realized. However, due to the mixed stochastic characteristics of stochastic hybrid systems, the existing dynamic fault tree quantitative analysis methods are not enough for the safety analysis of stochastic hybrid systems. [0003] Statistical model checking (SMC) is a compromise between testing and classical formal methods, and it is a new verification technique for large-scale complex systems. The core idea of ​​SMC is to perform some simulations on the system (including seque...

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 Applications(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