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

Realizing method for software safety guarantee of safety-critical system

A security and software technology, applied in software testing/debugging, etc., can solve problems such as lack of framework and method guidance, and achieve the effects of avoiding system risks, ensuring system security, and strong operability

Active Publication Date: 2014-07-30
探月与航天工程中心 +1
View PDF3 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

For the security analysis and evaluation of numerous safety-critical software in the military and aerospace fields, especially for key model systems, there is a lack of specific framework and method guidance

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
  • Realizing method for software safety guarantee of safety-critical system
  • Realizing method for software safety guarantee of safety-critical system
  • Realizing method for software safety guarantee of safety-critical system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0038] Specific embodiments of the present invention will be further described in detail below in conjunction with the accompanying drawings.

[0039] Such as figure 1 As shown, a method for realizing software security assurance of a safety-critical system includes the following steps:

[0040] Step 1, define the software safety design requirement set quadruple SD=(RD, DD, CD, TD) of the system, wherein said RD is the safety design requirement of the software requirements stage, RD={performance requirement safety design requirement, Functional requirements security design requirements, data requirements security design requirements, interface requirements security design requirements};

[0041] Said DD is the security design requirement in the software design stage, DD={logic design security design requirement, data design security design requirement, interface design security design requirement, interrupt design security design requirement, redundancy design security design ...

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

A realizing method for the software safety guarantee of a safety-critical system comprises the following steps: (1), defining the software safety design requirements of the system, including safety design requirements in a software demand stage, safety design requirements in a software design stage, safety design requirements in a software encoding stage and safety design requirements in a software test stage; (2) according to software safety grades, truncating the safety design requirements in step (1), and implementing safety design about software demand, software design, software encoding and software test according to all the requirements; (3) acquiring software safety evidences, and judging whether the safety evidences meet all the safety design requirements in step (2); (4) acquiring the software safety risk avoidance measures of the system; (5) verifying whether the software safety risk avoidance measures can trace to software demand, software design, software encoding and software test. The software safety guarantee capability is improved, and the technical blank in the software safety guarantee of aerospace major engineering is filled.

Description

technical field [0001] The invention relates to the technical field of software safety, in particular to a method for realizing software safety of a safety-critical system. Background technique [0002] Software safety software safety is "the ability of software to run without causing system accidents" (quoted from "GJB / Z102A-2012 Military Software Security Design Guidelines"). The security of the software will directly affect the security of the system, and ensuring the security of the software is the key link to ensure the security of the system. [0003] The U.S. military launched MIL-STD-882A "System Safety Outline" in 1971, revised it in 1984, and launched MIL-STD-882B. Its biggest feature is that it raises the issue of software security and adds software risk analysis. In 1993, MIL-STD-882C was released, and in 2000, it was revised and MIL-STD-882D was completed. In 2005, the fifth edition was formed, namely MIL-STD-882E. NASA has long attached importance to system ...

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/36
Inventor 赵文波庞涪川张伟经小川詹海潭高金梁张玮海卫华
Owner 探月与航天工程中心
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