Software safety proof development method combining product and process

Abstract

The invention discloses a software safety proof development method combining a product and a process. The method takes danger or danger control as the core, realizes risk management of system safety from the aspect of software, and launches proofing of two aspects including satisfiability and full correctness surrounding the top target. The purpose of satisfiability proofing is to prove that proofed objects are realized and satisfied, so as to perform proofing from the aspects of danger, danger control, and danger control realization, all based on the product method which serves as a main line. The purpose of full correctness is to prove that the objects are complete and correct, so as to enhance the realization confidence based on process method and through the factors such as 'process standardization, personnel quality and development method'. The software safety proof development method overcomes the deficiency of software safety proofing only through product or only through process, can effectively guide the development of software safety proofing, and provide a more effective method for a software-related party to check the safety and other related situation.

Description

technical field [0001] The invention belongs to the field of software safety engineering, relates to a software safety evaluation method therein, and specifically relates to a software safety proof technology combining products and processes. Background technique [0002] Safety refers to the ability to avoid accidents that result in personal injury or death, occupational disease, equipment damage or property loss. The control and safety protection of Safety-Critical System (Safety-Critical System) is a very important application field of computer. With the increasing proportion of software (known as safety-critical software) in safety-critical systems, software also has safety problems. Software security is crucial to the normal work and safe operation of safety-critical systems, and has become one of the key factors for the normal use of defense systems. How to show that the software has reached the security level required by the system has always been a key issue for man...

AI Technical Summary

Problems solved by technology

[0006] Software safety proof technology has been paid more and more attention in the field of software safety evaluation because it can establish a suitable argument structure and evidence to show that the goal is achieved, but it is not sufficient to prove software safety from the process and product methods alone. Consider combining the two for proof of software security

Images