Four-variable model based system safety analysis method

An analysis method and system security technology, applied in the direction of reliability/availability analysis, detection of faulty computer hardware, instruments, etc., can solve the problems such as the large difference in model specifications, and achieve the effect of convenient security and reliability analysis

Active Publication Date: 2016-07-27
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF4 Cites 15 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Moreover, although Markov process models have been widely used, the models are far from the actual system specifications to be studied

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
  • Four-variable model based system safety analysis method
  • Four-variable model based system safety analysis method
  • Four-variable model based system safety analysis method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0039] In order to make the object, technical solution and advantages of the present invention clearer, the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments. Unless the context clearly states otherwise, the number of elements and components in the present invention can exist in a single form or in multiple forms, and the present invention is not limited thereto. Although the steps in the present invention are arranged with labels, they are not used to limit the order of the steps. Unless the order of the steps is clearly stated or the execution of a certain step requires other steps as a basis, the relative order of the steps can be adjusted. It can be understood that the term "and / or" used herein refers to and covers any and all possible combinations of one or more of the associated listed items.

[0040] Please also see figure 1 and figure 2 , figure 1 The analysis framework diagram of the system sa...

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 provides a four-variable model based system safety analysis method. The four-variable model based system safety analysis method comprises the following steps: a. monitoring, analyzing and determining a monitored variable, a controlled variable, an input variable and an output variable of a system; b. based on the monitored variable, the controlled variable, the input variable and the output variable, establishing a four-variable model of the system, and using a four-variable model to carry out demand analysis on the system; c. establishing a semantic mapping rule between the four-variable model and an AltaRica model, and designing the AltaRica model with flow variables and state variables; and d. using analysis tools of the AltaRica model to establish a fault tree of the system, and carry out safety validation. The four-variable model based system safety analysis method disclosed by the present invention can better reflect system functions and physical architectures, so that safety and reliability analysis of the system can be carried out in a more facilitated manner.

Description

【Technical field】 [0001] The invention belongs to the field of system safety analysis, and in particular relates to a system safety analysis method based on a four-variable model. 【Background technique】 [0002] At present, embedded systems have not only expanded from industry, communications and networks to consumer fields related to digital multimedia, but also have been widely used in safety-critical system engineering fields such as military electronics, aviation and navigation, and national large aircraft. Due to the continuous improvement of the complexity of software system development objects, the proportion of hardware and software design has also changed greatly. In order to adapt to this change, it is necessary to increase the complexity and diversity of embedded systems accordingly. At the same time, as the scale of software system design becomes larger and the system framework becomes more and more complex, the requirements for security and reliability of embedd...

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 Applications(China)
IPC IPC(8): G06F11/00G06F11/22G06F11/30
CPCG06F11/008G06F11/2252G06F11/302
Inventor 胡军石娇洁
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap