• GBT20438.7-2006
  • 目次
  • 前言
  • 引言
  • 1 范围
  • 2 规范性引用文件
  • 3 定义和缩略语
  • 附录A( 资料性附录) E/ E/ PES 的技术和措施概述:随机硬件失效控制
  • A.1 电气
  • A.2 电子
  • A.3 处理单元
  • A.4 不可变的存储区
  • A.5 可变的存储区
  • A.6 I/0 单元和接口(外部通信)
  • A.7 数据通路(内部通信)
  • A.8 电源
  • A.9 时序的和逻辑的程序序列监视
  • A.10 通风和加热
  • A.ll 通信和大容量存储器
  • A.12 传感器
  • A.13 最终元件(执行器)
  • A.14 对于实际环境采取的措施
  • 附录B(资料性附录) E / E / PES 的技术和措施概述:系统失效的避免
  • B.1 一般测量和技术
  • B.2 E/ E / PES 安全要求规范
  • B.3 E/ E/ PES 的设计和开发
  • B.4 E/ E/ PES 操作和维护规程
  • B.5 E / E / PES 集成
  • B.6 E / E/ PES 安全性确认
  • 附录C( 资料性附录) 达到软件安全完整性的技术和措施的评述
  • C.l 一般要求
  • C.2 要求和详细的设计
  • C.3 结构设计
  • C.4 开发工具和编程语言
  • C.5 验证和修改
  • C.6 功能安全评估
  • 附录D(以资料性附录) 确定预开发软件的软件安全完整性的一种概率法
  • D.1 一般要求
  • D.2 统计测试公式及其应用举例
  • D.3 参考文献
  • 参考文献
  • 索引
  • 图1 GB/ T 20438 的总体框架
  • 表C.1 建议的专用编程语言
  • 表D.l 安全完整性等级的置信度的必要历史
  • 表D.2 低要求操作模式的失效概率
  • 表D.3 两个测试点的平均距离
  • 表D.4 高要求或者连续操作模式时的失效概率
  • 表D.5 测试所有程序属性的概率