Esterel Technologies>Industries>轨道交通

轨道交通

当轨道交通行业致力于增加轨交容量，提高能用利用率，运营商们必须在确保安全的前提下，提升运营负荷。而要确保安全，须具备计算机列车控制技术和自动信号联锁技术。爱斯特尔公司的解决方案，包括 SCADE® 家族产品和其专业服务，将为联锁、信号和计算机列车控制应用的研发者提供一个形式化，基于模型的开发环境，从而对高安全性嵌入式应用工具进行细化、设计、研发和延展。轨道交通领域的客户，诸如 Alstom ， Ansaldo STS ， Areva TA ， NIIAS ， RATP ， Siemens,和Thales用SCADE来开发与实施车载及轨旁的高安全性嵌入式控制系统

作为 SCADE 家族的产品，SCADE Suite® 和 SCADE Display® 提供形式化的，无二义性的，基于模型的开发， 从而分别使高安全性嵌入式控制应用和高安全性图表演示应用成为构造正确的设计。 用这种形式化、基于模型的方法，高安全系统的研发者，特别对那些所研发的应用工具须满足 EN50128 SIL 3/4 的研发者们，不再需要等待进程后期的测试和验证，来保证他们的系统是安全的，并满足预期的需求。 用 SCADE 产品，研发人员可以高效地创建基于模型的设计，它是形式化的，无二义的正确构造。 由于严格的语义， SCADE 提供验证和经认证合格的代码生成技术，提高设计的重用性，可维护性，以及研发人员的生产力。 使用 SCADE ，需求可以很轻松地被追踪，而且在整个设计过程中，设计文档可以保证是实时更新的。 SCADE 和整个生命周期开发的工具链相连接，促进了开发组成员间的交流与合作。

在轨道交通领域应用中的证明

SCADE Suite 主要致力于高安全性嵌入式控制应用开发而 SCADE Display 已成为系统监控和控制中关键控制显示的主要开发平台。

用 SCADE开 发和认证的应用工具有：

• 信号系统
• 联锁系统
• 列车自动保护系统(ATP)
  • 紧急制动
  • 超速保护系统
• 平交道口防护系统
• 列车探测系统(axel counters, etc.)
• 列车自动运行系统(ATO)
• ERTMS/ETCS
• 列车计算机控制系统

爱斯特尔公司和 TUV, Certifer, RATP/AQL, Veritas 等权威认证机构合作，推进轨道交通领域SCADE应用的认证。

SCADE 给轨道交通领域带来的益处

• 通过形式化的，无二义性的图表设计条目和可执行技术参数，促进运营商和供应商的沟通与协作
• 通过正确构造设计、自动认证和代码生成认证，提高研发者的工作效率，增强安全性，减少认证时间
• 合格的代码生成可加速迭代开发进程，确保执行时的安全，并最终取消低级测试
• 通过形式化，基于模型的设计，增强可维护性和可重用性
• 充分集成软件开发工具链和生命周期
• 通过形式化、基于模型的设计，促进国际供应商、OEM和权威认证机构的交流与协作