Unlock instant, AI-driven research and patent intelligence for your innovation.

An Altarica-based Automatic Generation Method of System Fault Tree

An automatic generation and system failure technology, applied in the direction of response error generation, instrumentation, and other database retrieval, can solve the problems of inconvenient analysis and research

Active Publication Date: 2020-11-20
JIANGSU UNIV OF SCI & TECH
View PDF10 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] At present, the scale of industrial systems is getting larger and larger. If only single-level system modeling is used to describe the entire system, then there will be too many model nodes concentrated on a single level, which is not convenient for analysis and research. Moreover, the industrial system itself consists of many subsystems. Some subsystems are composed of lower subsystems or nodes, so the system itself has naturally formed a hierarchical structure, which first requires the use of hierarchical modeling techniques to describe the physical structure of the system itself

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
  • An Altarica-based Automatic Generation Method of System Fault Tree
  • An Altarica-based Automatic Generation Method of System Fault Tree
  • An Altarica-based Automatic Generation Method of System Fault Tree

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0085] Embodiment: a kind of system fault tree automatic generation method based on AltaRica, at first judge current system type,

[0086] The current system is a single-type node system, so the fault tree generation algorithm is divided into two steps:

[0087] The first step is to record the valid strings scanned and cut from the assertion and calculate its bracket depth, which includes:

[0088] 1.1 Scan, cut, and record single-type node assertion strings;

[0089] 1.2 Record the bracket depth of each string;

[0090] 1.3 added to the CAltaRicaAnalyser class by the function MakeAssertionToAssertionArray()

[0091] Implemented in an array named AssertionNodeArray;

[0092] The second step is to recursively generate the preorder position of the expression, which is used to draw the logic operation node in the fault tree, including:

[0093] 2.1 Scan AssertionNodeArray, get the position of the current root node from the depth of the deepest parenthesis, and set the preorde...

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 present invention relates to the technical field of system security modeling and analysis methods, specifically, a method for automatically generating a system fault tree based on AltaRica. The present invention is based on the language specification of AltaRica, and by studying the syntax and semantics of the AltaRica language, the visual construction Combining the model and AltaRica language, an automatic system modeling and fault analysis method for single-type nodes, multi-nodes and subsystem nodes based on AltaRica is proposed. It not only improves the security modeling ability of the system model, but also realizes the combination of system security modeling and visual modeling and analysis. The security description is added to the AltaRica modeling of the system, which facilitates simultaneous modification and maintenance of the system and fault models. At the same time, the synchronous docking of system modeling, fault modeling and fault tree analysis greatly improves the accuracy and efficiency of system and fault modeling and analysis of safety-critical systems.

Description

technical field [0001] The invention relates to the technical field of system safety modeling and analysis methods, in particular to an AltaRica-based automatic generation method of a system fault tree. Background technique [0002] AltaRica is a fault-oriented safe modeling language. It uses Guardian Transformation System (GTS) as the core, uses a reusable object-oriented language to describe nodes and faults, and describes the interactive information between nodes and systems through the interface connection between nodes and nested systems. The AltaRica model can better reflect the system function and physical structure, eliminate the gap between traditional security analysis methods and system design, and improve the maintainability and reusability of the security model. Using AltaRica language modeling in safety-critical systems can truly reflect the physical structure and operating mechanism of the system. [0003] In the security analysis of the system, researchers ...

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): G06F11/07G06F16/901
CPCG06F11/079G06F16/9027
Inventor 李震蒋征骐王浩陈魏海峰
Owner JIANGSU UNIV OF SCI & TECH