MathWorks - Mobile View
  • 碻形冰暨硞 MathWorks 帐憷碻形冰暨硞 MathWorks 帐憷
  • Access your MathWorks Account
    • 我的帐户
    • 我的社区资料
    • 关联许可证
    • 登出
  • 产品
  • 解决方案
  • 学术
  • 支持
  • 社区
  • 活动
  • 获取 MATLAB
MathWorks
  • 产品
  • 解决方案
  • 学术
  • 支持
  • 社区
  • 活动
  • 获取 MATLAB
  • 碻形冰暨硞 MathWorks 帐憷碻形冰暨硞 MathWorks 帐憷
  • Access your MathWorks Account
    • 我的帐户
    • 我的社区资料
    • 关联许可证
    • 登出

视频与网上研讨会

  • MathWorks
  • 视频
  • 视频首页
  • 搜索
  • 视频首页
  • 搜索
  • 联系销售
  • 试用软件
  Register to watch video
  • Description
  • Related Resources

Model-Based Approach for ERTMS Railway Wayside System Specification, Validation, and Proof

Damien Ledoux, SNCF Infra

Train signaling systems for mass transit and mainlines have seen their complexity increase in the last decade. This is due either to the introduction of new concepts and technologies that increase performance, such as line capacities, or to interoperability requirements, for example European standards that allow trains use same trainborne subsystem while driving in different countries that have different interlockings, trackside technologies, and principles.

In the conventional railway industry, infrastructure managers in the specification phase of signaling system design usually adopt a conventional approach based on paper specifications with all the drawbacks known by engineers, which is subject to risk of misunderstanding, misinterpretation, and a lack of validation at the early stage of specification.

RFF and SNCF jointly experimented with a Model-Based Design approach at a high level of specification. This model is a mainline wayside ERTMS Level 2 system called Radio Block Center, which is an automatic train protection (ATP) system. In the system studied, there is a close relationship between the different subsystems: the Automatic Train Control, which is either ERTMS based or CBTC based, and the interlocking. Both subsystems are intended to allow trains to move safely with the requested level of performance, i.e., speed and headway. The result is a complex system combining wayside and train-side control systems, interlocking, track elements, and supervision level.

The goals of modeling the RBC are to:

• Provide an unambiguous description of its expected behavior. Requirements writing allows expressing functional expectations, but there is an unavoidable risk of misunderstanding or interpretation. The main concern is that system-level functional issues, due to a lack of system definition, are solved at the software implementation level.
• Provide a description independent from the manufacturer’s design choices. The model is not the mirror of a particular manufacturer existing implementation.

This experiment with Model-Based Design also covers the specification level, simulation/validation, and property proof activities.

Recorded: 26 Mar 2014

Related Products

  • Simulink

Feedback

Featured Product

Simulink

  • Request Trial
  • Get Pricing

Up Next:

13:23
Applying Model-Based Design to an On-Board Driver Support...

Related Videos:

25:23
Case Study: Dual Fuel Engine Control System Development...
34:41
System Engineering of Automotive Electronic Control Systems...
26:24
Using Model-Based Methods Throughout the Control System...
42:18
Model-Based Design for Small and Mid-Sized Aerospace...

View more related videos

MathWorks - Domain Selector

Select a Web Site

Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .

Select web site

You can also select a web site from the following list:

How to Get Best Site Performance

Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.

Americas

  • América Latina (Español)
  • Canada (English)
  • United States (English)

Europe

  • Belgium (English)
  • Denmark (English)
  • Deutschland (Deutsch)
  • España (Español)
  • Finland (English)
  • France (Français)
  • Ireland (English)
  • Italia (Italiano)
  • Luxembourg (English)
  • Netherlands (English)
  • Norway (English)
  • Österreich (Deutsch)
  • Portugal (English)
  • Sweden (English)
  • Switzerland
    • Deutsch
    • English
    • Français
  • United Kingdom (English)

Asia Pacific

  • Australia (English)
  • India (English)
  • New Zealand (English)
  • 中国
    • 简体中文Chinese
    • English
  • 日本Japanese (日本語)
  • 한국Korean (한국어)

Contact your local office

  • 联系销售
  • 试用软件

了解产品

  • MATLAB
  • Simulink
  • 学生版软件
  • 硬件支持
  • 文件交换

试用或购买

  • 下载
  • 试用软件
  • 联系销售
  • 定价和许可
  • 如何购买

如何使用

  • 文档
  • 教程
  • 示例
  • 视频与网上研讨会
  • 培训

获取支持

  • 安装帮助
  • MATLAB 问答社区
  • 咨询
  • 许可中心
  • 联系支持

关于 MathWorks

  • 招聘
  • 新闻室
  • 社会愿景
  • 联系销售
  • 关于 MathWorks

MathWorks

Accelerating the pace of engineering and science

MathWorks 公司是世界领先的为工程师和科学家提供数学计算软件的开发商。

发现…

  • Select a Web Site United States
  • 专利
  • 商标
  • 隐私权政策
  • 防盗版
  • 应用状态

京ICP备12052471号

© 1994-2021 The MathWorks, Inc.

  • Weibo
  • WeChat

    WeChat

  • Bilibili
  • Youku
  • Facebook
  • Twitter
  • LinkedIn
  • RSS

关注我们