原文传递
AT96DDMR二乘二取二硬件安全冗余平台软件的验证确认
| 题名： | AT96DDMR二乘二取二硬件安全冗余平台软件的验证确认 |
| 正文语种： | 中文 |
| 作者： | 韩安平；朱艳军；张萍 |
| 关键词： | 安全冗余平台；安全认证；认证标准；铁路安全控制 |
| 摘要： | 介绍准照SIL4级国际安全认证的要求对AT96DDMR二乘二取二硬件安全冗余平台软件进行的验证确认。验证和确认人员必须要有足够的独立性，验证和确认工作是系统通过国际安全认证的重要环节并且贯穿于软件的整个开发生命周期。在整个软件生命周期的不同阶段所做的验证确认工作侧重点不同，其中主要工作包括文档审查、静态测试、动态测试、软件错误影响分析以及系统最终确认。软件质量的评估作为验证和确认的重要内容，提出对其实施度量的数学模型与判定方法。 |
| 期刊名称： | 中国铁路 |
| 出版年： | 2010 |
| 期： | 01 |
| 页码： | 47-51 |
检索历史
应用推荐
