当长期的人工测试活动仍无法覆盖完整行为空间时，形式化方法有助于形成验证证据。
EN 50716Powered by BTC QCore
认证适用范围
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
为何现在尤为重要
看清行业面临的压力。
1
机车车辆和信号系统的长生命周期要求提供跨越数十年的回归证据。
2
信号系统和车辆软件的 SIL 分类要求持续且可审计的验证证据。
3
在轨道交通开发中，工具鉴定历来耗时且工作量大。
标准与合规
同一套经认证的流程涵盖 EN 50716。
BTC TestStack 的 TÜV SÜD 证书涵盖 EN 50716。EN 50126 和 EN 50129 在此只能作为 CENELEC 背景提及，不属于该证书认证的标准。
验证证据可以在轨道交通软件的整个生命周期中保持关联。
随着轨道交通开发流程转向更短的反馈周期，可重复执行的自动化为其提供支持。
验证依据
证书支撑的证据衔接。
关键验证依据来自证书的跨行业衔接：EN 50716 属于支持汽车 ASIL D 的同一份证书。
EN 50716 · EN 50128 的后继标准
支持的工程环境
适用于该行业实际使用的工程环境。
Feel the Quality
了解 BTC TestStack 在 EN 50716 项目中的应用。
将您的代码库和适用标准信息带入与我们工程师共同开展的评估。