10.3969/j.issn.1001-683X.2010.01.013
AT96DDMR二乘二取二硬件安全冗余平台软件的验证确认
介绍准照SIL4级国际安全认证的要求对AT96DDMR二乘二取二硬件安全冗余平台软件进行的验证确认.验证和确认人员必须要有足够的独立性,验证和确认工作是系统通过国际安全认证的重要环节并且贯穿于软件的整个开发生命周期.在整个软件生命周期的不同阶段所做的验证确认工作侧重点不同,其中主要工作包括文档审查、静态测试、动态测试、软件错误影响分析以及系统最终确认.软件质量的评估作为验证和确认的重要内容,提出对其实施度量的数学模型与判定方法.
安全冗余平台、安全认证、认证标准、铁路安全控制
TP3;TM7
2010-05-18(万方平台首次上网日期,不代表论文的发表时间)
共5页
47-51