AltaRica fault tree generation method and system based on probability distribution

A probability distribution and fault tree technology, applied in the fields of instruments, character and pattern recognition, computer components, etc., can solve problems such as insufficient openness, inability to analyze, and lack of implementation details, to reduce difficulty, improve efficiency, and facilitate simultaneous modification. and maintenance effect

Active Publication Date: 2021-03-12
JIANGSU UNIV OF SCI & TECH
View PDF13 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The current research on the AltaRica language is mainly to combine the AltaRica language with model checking languages ​​and tools such as NuSMV, SPIN and AADL, and manually convert cases into FMEA or FTA results. If a case is not compatible with the corresponding tools and languages, it will Unable to analyze
Moreover, these methods of model analysis through tools lack the implementation details of automatic computer algorithms and tool development, and are not open enough. As a result, once the language is iterated, it is likely that the tools will not be able to perform analysis, and they are not universally applicable.

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
  • AltaRica fault tree generation method and system based on probability distribution
  • AltaRica fault tree generation method and system based on probability distribution
  • AltaRica fault tree generation method and system based on probability distribution

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0054] The technical solutions of the present invention will be further described below in conjunction with the embodiments.

[0055] AltaRica fault tree generating method based on probability distribution of the present invention, comprises the steps:

[0056] Step 1: Construction of the probabilistic time model:

[0057] Combined with the failure distribution types of common system components, the failure states of different components are defined. Expand the event and its trigger mechanism, introduce probability and time attributes, and determine the time when the event is triggered by combining probability. The combination of the probability time model and the AltaRica model is as follows: two String variables of probability and probability distribution are added to the class node event (CLASSNODEEVENT) as storage data variables for determining the probability distribution and inputting the probability value on the interface. The delay (time) is determined by the function ...

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 an AltaRica fault tree generation method and system based on probability distribution. The method comprises the following steps: building a probability time model in combination with an AltaRica model; constructing a system fault model; generating a fault tree; performing dynamic modeling of system fault logic. The invention also provides an AltaRica fault tree generation system based on probability distribution. According to the generation method and system, the AltaRica language is directly subjected to algorithm research and development in combination with semanticsfrom the perspective of the AltaRica language, the AltaRica language does not need to be converted into other model languages to be processed, dependence on other model detection tools is reduced, thus the AltaRica fault tree generation method based on probability distribution is provided to perform visual modeling and fault analysis on the system, and the safety of the system is improved.

Description

technical field [0001] The invention relates to an AltaRica fault tree generation method and system, in particular to a probability distribution-based AltaRica fault tree generation method and system. Background technique [0002] AltaRica language is a modeling language for describing system fault failure behavior. It has a good system hierarchy and a dynamic description mechanism. Its strict formal semantics make it easier to graphically model and analyze the system. Therefore, it is gradually widely used in the security analysis of the system. [0003] As the system becomes larger and more complex, traditional fault analysis techniques are increasingly difficult to meet the security needs of today's system security field. Since the traditional fault analysis technology relies more on the technical level of the technicians themselves, the safety analysis of the system is performed manually, and the increase in system complexity also makes manual maintenance of the system ...

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): G06F30/27G06K9/62
CPCG06F30/27G06F18/24323G06F18/2415
Inventor 李震蒋征骐孙晨旭杨柳
Owner JIANGSU UNIV OF SCI & TECH
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