Fault tree generation method for extended UML class diagram model of safety-critical system

A technology of fault tree and generation algorithm, applied in the field of safety-critical systems, it can solve the problems of lagging results of safety analysis, achieve large degrees of freedom and flexibility, overcome design-type faults, and be easy to use.

CN104679510AInactive Publication Date: 2015-06-03BEIJING JIAOTONG UNIV
2 Cites 10 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
Publication Date
2015-06-03
Estimated Expiration
Not applicable · inactive patent

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The embodiment of the invention provides a fault tree generation method for an extended UML class diagram model of a safety-critical system. The method comprises the steps of constructing the UML class diagram model of the safety-critical system, wherein all classes in the UML class diagram model comprise attributes and operations and have a certain relation, and the element semantics of the model is extended by a stereotype; storing the UML class diagram model into a file with a set format, analyzing the file with the set format corresponding to the UML class diagram model by a set information extraction algorithm to extract all the classes and the attributes and the operation information which correspond to all the classes in the UML class diagram model, and generating a fault tree of the UML class diagram model according to a set fault tree generation algorithm. According to the method disclosed by the embodiment of the invention, relevant safety analysis information is successfully embedded into the designed model of the safety-critical system, so that automatic conversion between the designed model of the system and a safety model of the system is realized, and the design fault of the safety-critical system can be effectively overcome.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to the technical field of safety-critical systems, in particular to a method for generating a fault tree of an extended UML class diagram model of a safety-critical system. Background technique

[0002] The safety-critical system has high requirements on the safety level of the software and hardware that make up the system, and its failure may cause significant loss of life and property. In order to avoid casualties and reduce economic losses, safety-critical systems must be carefully designed and developed. But even so, due to the limitations of design engineers' understanding of system characteristics, behaviors, etc., as well as the complex and frequent interaction and collaboration of the system, a series of defects or failures will inevitably occur within the safety-critical system and between the safety-critical system and the environment . Compared with other types of faults, these faults are more harmful to system securi...

Examples

Embodiment Construction

[0041] Embodiments of the present invention are described in detail below, examples of which are shown in the drawings, wherein the same or similar reference numerals denote the same or similar elements or elements having the same or similar functions throughout. The embodiments described below by referring to the figures are exemplary only for explaining the present invention and should not be construed as limiting the present invention.

[0042] Those skilled in the art will understand that unless otherwise stated, the singular forms "a", "an", "said" and "the" used herein may also include plural forms. It should be further understood that the word "comprising" used in the description of the present invention refers to the presence of said features, integers, steps, operations, elements and / or components, but does not exclude the presence or addition of one or more other features, Integers, steps, operations, elements, components, and / or groups thereof. It will be understoo...