一个设计安全软件系统的框架

【文件属性】：

文件名称：一个设计安全软件系统的框架

文件大小：197KB

文件格式：DOC

更新时间：2013-03-25 19:14:47

外文翻译

摘要 本文介绍一个安全关键的软件系统的框架，在基于故障树分析的软件分析过程的背景下。这个软件设计过程有四个步骤：1）软件设计故障树的生成，2) 故障树核查，3）软件安全设计，4）设计安全核查。安全软件的设计方法，以及对安全要求的安全设计验证也已提交。