【精选】2012_EN_Using_VectorCAST_for_Software_Verification_and_Validation_of_Railway_Applications.pdfVIP

Vector 软件 白皮书 Software 使用VectorCAST 针对轨道交通应用软件 进行验证和确认 介绍 该文档旨在针对希望使用 VectorCAST 通过欧洲 EN 50128 标准（Software for railway control and protection systems, March 2001 注：EN 50128: 针对轨道控制和保护系统的软 件）提供一个参考，该标准来源于 IEC61508 标准。本文不是对标准的深入详细的说明审 阅，而主要目的在于如何利用VectorCAST 测试产品满足该标准测试需求方面，给出宏观 层面说明。 该文档使用下列简写术语： R 推荐实施 HR 高度推荐实施 M 强制实施 VectorCAST在软件设计和实现过程中应用 在条款 10 中，总结在表A.4 （第49 页），下面这些要点能够通过VectorCAST 自动实现。 技术/指标