[fusion_builder_container type="flex" hundred_percent="no" equal_height_columns="no" hide_on_mobile="small-visibility,medium-visibility,large-visibility" background_position="center center" background_repeat="no-repeat" fade="no" background_parallax="none" parallax_speed="0.3" video_aspect_ratio="16:9" video_loop="yes" video_mute="yes" border_style="solid"][fusion_builder_row][fusion_builder_column type="1_1" type="1_1" background_position="left top" border_style="solid" border_position="all" spacing="yes" background_repeat="no-repeat" margin_top="0px" margin_bottom="0px" animation_speed="0.3" animation_direction="left" hide_on_mobile="small-visibility,medium-visibility,large-visibility" center_content="no" last="no" hover_type="none" min_height="" link=""][fusion_text] The European Train Control System (ETCS) is a signaling, control and train protection system designed to replace the many incompatible safety systems currently used by European railways, especially on high-speed lines. [/fusion_text][/fusion_builder_column][/fusion_builder_row][/fusion_builder_container]

The European Rail Traffic Management System, or ERTMS, ERTMS was introduced by the EU in 1992 as a means of creating a uniform system of command, control and coordination of rail traffic to allow for ‘‘interoperability’’ throughout EU territory. The ERTMS standard exists at three levels (ERTMS 1, 2 and 3) depending on use, each distinguished by the type of wayside and on-board equipment used and the manner in which this equipment communicates relevant data.

[fusion_builder_container type="flex" hundred_percent="no" equal_height_columns="no" hide_on_mobile="small-visibility,medium-visibility,large-visibility" background_position="center center" background_repeat="no-repeat" fade="no" background_parallax="none" parallax_speed="0.3" video_aspect_ratio="16:9" video_loop="yes" video_mute="yes" border_style="solid"][fusion_builder_row][fusion_builder_column type="1_1" layout="1_1" background_position="left top" border_style="solid" border_position="all" spacing="yes" background_repeat="no-repeat" margin_top="0px" margin_bottom="0px" animation_speed="0.3" animation_direction="left" hide_on_mobile="small-visibility,medium-visibility,large-visibility" center_content="no" last="true" hover_type="none" min_height="" link="" background_blend_mode="overlay" first="true"][fusion_text columns="" column_min_width="" column_spacing="" rule_style="" rule_size="" rule_color="" hue="" saturation="" lightness="" alpha="" user_select="" awb-switch-editor-focus="" content_alignment_medium="" content_alignment_small="" content_alignment="" hide_on_mobile="small-visibility,medium-visibility,large-visibility" sticky_display="normal,sticky" class="" id="" margin_top="" margin_right="" margin_bottom="" margin_left="" fusion_font_family_text_font="" fusion_font_variant_text_font="" font_size="" line_height="" letter_spacing="" text_transform="" text_color="" animation_type="" animation_direction="left" animation_color="" animation_speed="0.3" animation_delay="0" animation_offset="" logics=""] A centralized traffic control system, or CTC, monitors the status of signaling on a line or network and displays the relevant status information to a central operator, assists in the management of the line or network consistent with the timetable and exercises control to prevent small schedule disturbances from becoming traffic jams. CTC also notifies the operator of ATC equipment failures and of failures in traction power and passenger station support facilities. [/fusion_text][/fusion_builder_column][/fusion_builder_row][/fusion_builder_container]

Solutions
Solutions
Signaling design automation
Open signaling
Relay signaling migration
View all solutions
Formal Safety Verification
Digital twins in tendering
Eliminate signaling issues
Products
Prover Studio
Prover iLock
Prover Certifier
View all products
New
Prover Station
Our new web-based platform for V&V processes, digital twins for enhanced testing.
New
Prover Labs
AI-driven innovation. Explore and test our cutting-edge applications.
Expertise
Expertise
Formal methods
Safety
Verification & validation
View all expertise
Training
Specific application
Formal verification
Generic application
View all training
Resources
References
Guides
Webinars
Events
GUIDE
How to successfully migrate existing interlocking systems to an open signaling solution
Backed by real-world case studies like the Stockholm Metro, and trusted by leading European operators, this guide gives you the tools to modernize with confidence.
Innovation
News
Company
Contact
Search for:
SDA Forum

FAQs

1304, 2023

Do you want news and upcoming events from Prover?

Fill out your information here.

How much can you save by implementing Signaling Design Automation?

In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.