Looking for RSSB-led research?

ERTMS formal specs: a domain specific language to formalize ERTMS specifications for onboard unit development

Last updated on 04 February 2013 12:20

The European Railway Traffic Management System (ERTMS) defines standards for interoperability between the onboard train protection systems (ETCS) and the railway infrastructure. The ERTMS specifications are of significant size, and as of today, specified in plain English only. ERTMSFormalSpecs (EFS) is a project based on a domain-specific language, designed to...

Author(s): Ferier Laurent;Pinte Stanislas;Blasband Darius

Organisation(s): ERTMS Solutions ;

2011

Belgium

Log in or register to continue