无人驾驶列车的平台安全:ViverisTechnologies如何使用HelixQAC

无人驾驶列车的平台安全: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