AltaRica fault tree generation method and system based on probability distribution

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 ...

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.

Images