无人驾驶列车的平台安全：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个站点运行。它检测乘客及物体是否及何时落在轨道上。