在两种开发方式并存时，一个工作流即可覆盖手写代码与基于模型的部分。
IEC 61508-3Powered by BTC QCore
认证适用范围
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
为何现在尤为重要
看清行业面临的压力。
1
机器与工厂中的控制软件增长速度已超过现有测试流程的发展速度。
2
客户和认证机构对 SIL 证据的要求日益增加，使工具鉴定成为瓶颈。
3
混合代码库同时包含手写 C/C++ 和基于模型的部分，却缺少一致的验证工作流。
标准与合规
同一套经认证的流程涵盖 IEC 61508-3。
BTC TestStack 的 TÜV SÜD 证书涵盖 IEC 61508-3。支持汽车 ASIL D 证据的同一份证书可用于工业自动化中的 SIL 证据。
当人工抽样无法覆盖完整行为空间时，确定性模型检验为验证证据提供支持。
随着发布周期加快，可以在机械设备与工厂的软件流水线中实现验证自动化。
验证依据
证书支撑的证据衔接。
关键验证依据来自证书的跨行业衔接：用于汽车 ASIL D 证据的同一套经认证方法也涵盖 IEC 61508-3。
IEC 61508-3 · SIL 1-3
支持的工程环境
适用于该行业实际使用的工程环境。
Feel the Quality
了解 BTC TestStack 在 IEC 61508-3 项目中的应用。
将您的代码库和适用标准信息带入与我们工程师共同开展的评估。