
【国外标准】 IEEE Standard for Verification of Vital Functions in Processor-Based Systems Used in Rail Transit Control
本网站 发布时间:
2025-04-28
- IEEE 1483-2000
- 定价: 133元 / 折扣价: 114 元
- 在线阅读
开通会员免费在线看70000余条国内标准,赠送文本下载次数,单本最低仅合13.3元!还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权!  
查看详情>>

适用范围:
This document provides a set of standard verification tasks for processor-based equipment used in safety critical applications on rail and transit systems. The scope of the standard shall encompass and be limited to processes which verify the level of safety achieved in the implementation of safety critical functions which are required to be fail-safe. It does not address quality assurance or validation processes which also affect the level of overall system safety achieved.
标准号:
IEEE 1483-2000
标准名称:
IEEE Standard for Verification of Vital Functions in Processor-Based Systems Used in Rail Transit Control
英文名称:
标准状态:
-
发布日期:
-
实施日期:
出版语种:
- 其它标准
- 上一篇: IEEE 1073.3.2-2000 IEEE Standard for Medical Device Communications - Transport Profile - IrDA Based - Cable Connected
- 下一篇: IEEE 14143.1-2000 Implementation Note for IEEE Adoption of ISO/IEC 14143-1:1998 Information Technology - Software Measurement - Functional Size Measurement - Part 1: Definition of Concepts
- 推荐标准
- AS 2278-2000/Amdt 1-2006 Metal aerosol dispensers of capacity 50 mL to 1000 mL inclusive
- AS 2374.6-1994/Amdt 1-2000 Power transformers - Determination of transformer and reactor sound levels
- AS 2545-1987/Amdt 1-2000 Subcontract conditions
- AS 2683-2000 Hose and hose assemblies for distribution of petroleum and petroleum products (excepting LPG)
- AS 2805.13.1-2000/Amdt 1-2008 Electronic funds transfer - Requirements for interfaces Secure hash functions - General
- AS 2805.2-2000/Amdt 1-2002 Electronic funds transfer - Requirements for interfaces Message structure, format and content
- AS 2805.3-2000 Electronic funds transfer - Requirements for interfaces PIN management and security
- AS 2876-2000 Concrete kerbs and channels (gutters) - Manually or machine placed
- AS 3523.3-2000/Amdt 1-2007 Identification cards - Identification of issuers Australian national numbering system and registration procedures
- AS 3660.2-2000 Termite management In and around existing buildings and structures
- AS 3711.5-2000 Freight containers Thermal containers
- AS 3789.10-2000 Textiles for health care facilities and institutions Blankets - Cotton woven cellular blankets
- AS 3814-2000 (AG 501-2000) Industrial and commercial gas-fired appliances
- AS 3818.4-2000 Timber - Heavy structural products - Visually graded Cross-arms for overhead lines
- AS 4122-2000 (Reference Use Only) General conditions of contract for engagement of consultants