Researchers at the University of Southampton in the UK are developing new tools to improve the design of embedded software systems in automated railway signalling as part of a multi-million Euro project.

The university is coordinating the Advanced Design and Verification Environment for Cyber-Physical System Engineering (ADVANCE) project.

Go deeper with GlobalData

Go deeper with GlobalData

The gold standard of business intelligence.

Find out more

Discover B2B Marketing That Performs

Combine business intelligence and editorial excellence to reach engaged professionals across 36 leading media platforms.

Find out more

The EU-funded project involves Alstom, Critical Software Technologies, Systerel and two universities, Southampton and Düsseldorf. It aims to deliver methods and tools for formal modelling, verification and validation, and reduce the associated costs while increasing the benefits obtained.

The ADVANCE project will produce models for embedded systems and help to eliminate design errors before projects reach the manufacturing stage. It will run for 30 months.

Railway Technology Excellence Awards - Nominations Closed

Nominations are now closed for the Railway Technology Excellence Awards. A big thanks to all the organisations that entered – your response has been outstanding, showcasing exceptional innovation, leadership, and impact across the defence sector.

Excellence in Action
Omnevo’s digital Order-to-Seat platform has won the Innovation Award for Onboard Retail, redefining how passengers order, pay, and receive F&B at their seats. Learn how this solution is cutting waste, streamlining logistics, and enabling operators to personalize and modernize onboard retail.

Discover the Impact