面向Safety Case的软件安全性论据研究

admin · 发表于 2022-7-30 17:01:44

题目：

雅宝题库答案：

****此区域为收费内容**** 需支付 1 知识币后可查看，1币=0.01元查看答案

雅宝题库解析：
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论据，讨论了自动化开发论据的可能性和前景。

面向Safety Case的软件安全性论据研究

天涯海角也要找到Ni：面向Safety Case的软件安全性论据研究

相关帖子

浏览过的版块

QQ微信同步：1144766066。

服务

网站

战略合作