论文摘要：安全案例的软件安全论证研究

Safety Case是一种体例安定性的论据本领，首先运用于核发电站、铁路等体例。在欧洲获得普遍的运用。欧洲少许行业规范精确诉求将Safety Case动作安定要害体例的需要构成托付用户。暂时Safety Case多用来体例，而在软硬件中运用很少。Safety Case论据托付产物的安定性，而不商量进程中开销了几何全力。对立于现有的依附典型进程来赢得安定产物的思绪。Safety Case的办法越发径直，而且克复了进程典型中本领滞后、实行艰巨和附加本钱等题目。正文接洽软硬件Safety Case的手段即是要商量一种越发精巧适用灵验的软硬件安定性处事本领，而且扩充safey Case在软硬件上面的运用。正文开始领会了软硬件安定性处事的近况，领会生存的题目。而后引见了Safety Case的普通表面和开拓本领。既而引出进程论据和产物论据的题目。得出了产物论据和进程论据贯串，论据软硬件安定性的软硬件Safety Case论据框架。作品重要实质有：(1)创造了软硬件Safety Case论据框架，精确软硬件Safety Case论据的实质；(2)以总论据框架为普通，创造了软硬件Safety Case产物论据框架，引导产物论据开拓；(3)创造软硬件进程论据框架，引导软硬件安定性进程论据开拓；(4)在产物论据和进程论据创造进程中，创造了局部同样Safety Case的重用形式，不妨在形式的普通上连接开拓范例化的论据；(5)提出了软硬件Safety Case论据的开拓周期，处置了Safety Case怎样与软硬件人命周期举行贯串的题目；(6)提出运用XML本领开拓软硬件Safety Case论据，计划了机动化开拓论据的大概性和远景。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/202223.html