Fault tree generation method of extended uml class diagram model for safety-critical systems

Abstract

The embodiment of the present invention provides a method for generating a fault tree of an extended UML class diagram model of a safety-critical system. The method includes: constructing a UML class diagram model of a safety-critical system, each class in the UML class diagram model contains attributes and operations, and there is a certain relationship between each class, using stereotypes to extend the semantics of model elements; the UML class diagram The model is saved as a file in the set format, and the file in the set format corresponding to the UML class diagram model is analyzed according to the set information extraction algorithm, and each class in the UML class diagram model of the UML class diagram model and the corresponding information of each class are extracted. Based on the attribute and operation information, a fault tree corresponding to the UML class diagram model is generated based on a set fault tree generation algorithm. The embodiment of the present invention successfully embeds safety analysis-related information into the design model of the safety-critical system, realizes automatic conversion between the system design model and the system safety model, and can effectively overcome the design failure of the safety-critical system.

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

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

Images