IEEE 1483-2000 铁路直达运输用处理机系统主要功能的验证

标准号：IEEE 1483-2000
中文标准名称：铁路直达运输用处理机系统主要功能的验证
英文标准名称：Standard for Verification of Vital Functions in Processor-Based Systems Used in Rail Transit Control
标准类型：S04
发布日期：2000/3/30 12:00:00
实施日期：1999/12/31 12:00:00
中国标准分类号：S04
国际标准分类号：35.240.60;45.060.01
适用范围：Provides a set of standard verification tasks for processor-based equipment used in safety critical applications on rail and transit systems. It is limited to processes that verify the level of safety achieved in the implementation of safety critical functions that are required to be fail-safe.