・龙智ALM方案      ・Perforce      ・Atlassian      ・JetBrains      ・IC-Manage

无人驾驶列车的平台安全:Viveris Technologies如何使用Helix QAC

Viveris Technologies是Viveris咨询集团的一部分,在许多工业领域开展业务。 它被授予公共招标,以实现无人驾驶列车里昂地铁(也称为MAGGALY(Métro Automatique à Grand Gabarit de l'Agglomération Lyonnaise))的平台安全系统的现代化。

但为了确保平台安全,他们需要一个他们可以信任的解决方案, 他们用Helix QAC for C找到了这个方案。

Helix QAC帮助Viveris技术......

符合EN 50128认证

降低风险

加快发展时代

已通过EN 50128认证......

Viveris Rhône-Alpes技术经理Emmanuel Charbouillot说:“使用已通过EN 50128认证的软件验证工具至关重要。这加快了我们的开发时间,降低了总体成本及风险。”

需要EN 50128认证

EN 50128是铁路行业合规性所需的功能安全标准。 由于Viveris Technologies正在为无人驾驶列车构建平台安全系统,因此他们需要符合EN 50128 SIL2标准。

为了实现合规性,他们需要静态分析仪和编码标准。 他们在Helix QAC和MISRA上找到了它。

Helix QAC和MISRA轻松实现

选择MISRA作为编码标准以符合EN 50128认证。

“MISRA是显而易见的选择。它最初由汽车行业创建,是最成熟和最受尊敬的标准之一,并已被多个安全相关市场广泛采用。”

Viveris公司选择Helix QAC来实现MISRA合规性。

Helix QAC提供了最高的准确性。 独立研究表明,尽管其他几种工具声称可以覆盖MISRA,但它们无法找到真正的问题并会产生误报 。 开发人员还要花时间消除这个“噪音”,这将浪费关键资源。

Helix QAC的输出提供了符合审核员标准的证据。 它表明团队已经正确地证明,控制和跟踪任何合法的规则偏差。

结果:无人驾驶列车的平台安全

成功的EN 50128认证审核,包括对QAC结果的全面检查,意味着系统的最终调试仍在继续。 截止到2013年,该系统在所有15个站点运行。它检测乘客及物体是否及何时落在轨道上。

原文链接:https://www.perforce.com/case-studies/qac/viveris-technologies