Software Safety Certification Framework Based on Safety Case

The aim of software safety certification is to determine whether software has achieved the safety that system requests. This paper advances a software safety certification framework based on safety case from the view of product, providing software safety evidence which can be applied independently of software development process. First the conception, structure, significance and presentation method of safety case are introduced. Then the software safety certification framework is further elaborated, including safety claim acquisition, argument constituent and evidence selection. And then GSN safety case patterns are advanced for applying certification framework. Finally, the framework is applied in practice, which preliminarily shows its effectiveness. The framework doesn't preclude the use of existing standards. A key motivation in producing the paper is to demonstrate safety-critical software acceptance by unconventional views to critical review.