Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

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

A technology of fault tree and class diagram, which is applied in the field of safety-critical systems, can solve problems such as the lag of safety analysis results, achieve large degrees of freedom and flexibility, facilitate use, and overcome design-type faults

Inactive Publication Date: 2018-04-20
BEIJING JIAOTONG UNIV
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Although there are tools that can realize automatic safety analysis of design models, the existing safety analysis tools are separated from the design process, and the results of safety analysis are obviously lagging behind in the engineering cycle

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
  • Fault tree generation method of extended uml class diagram model for safety-critical systems
  • Fault tree generation method of extended uml class diagram model for safety-critical systems
  • Fault tree generation method of extended uml class diagram model for safety-critical systems

Examples

Experimental program
Comparison scheme
Effect test

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

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

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): G06F9/44
Inventor 郑伟杨凌云吴道华吴可赵林唐涛
Owner BEIJING JIAOTONG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com