基于模型的代码与手写代码可在同一流程中完成验证并形成证据。
ISO 25119Powered by BTC QCore
认证适用范围
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
为何现在尤为重要
看清行业面临的压力。
1
农业机械正迅速走向电动化与自动化，其软件占比的增长轨迹与汽车行业的 SDV 转型相似。
2
季节性开发周期使新固件发布前几乎没有余量开展人工重新测试。
3
严苛的运行环境提高了每次软件更新对回归安全性的要求。
标准与合规
同一套经认证的流程涵盖 ISO 25119。
ISO 25119 与最高可达 ASIL D 的 ISO 26262 同属一份 TÜV SÜD 证书。AgPL 证据无需另行开展工具鉴定工作。
形式化方法有助于减少仅依赖成本高昂的现场测试来实现覆盖。
从需求到验证结果的证据链为 AgPL 审计提供支持。
验证依据
证书支撑的证据衔接。
关键验证依据来自证书的跨行业衔接，由此将汽车 ASIL D 实践延伸至 ISO 25119。
ISO 25119 · AgPL a-e
支持的工程环境
适用于该行业实际使用的工程环境。
Feel the Quality
了解 BTC TestStack 在 ISO 25119 项目中的应用。
将您的代码库和适用标准信息带入与我们工程师共同开展的评估。