openETCS
Open Proofs Methodology for the European Train Control Onboard System
Project description
Europe’s railways have developed over the last 150 years within national boundaries, resulting in a variety of different signalling and train-control systems that hampers cross-border traffic. The European Union has decided to improve interoperability for the railway sector. The European Train Control System (ETCS) as part of the European Rail Traffic Management System (ERTMS) is intended to replace almost all national legacy mainline signalling and train-control systems across Europe. The purpose of the openETCS project is to develop an integrated modelling, development, validation and testing framework for leveraging the cost-efficient and reliable
implementation of ETCS. The framework will provide a holistic tool chain across the whole development process of ETCS software, using open standards on all levels.
http://openetcs.org/
Belgium
ALSTOM
Belgium
ERTMS Solutions
Belgium
France
ALL4TEC
France
ALSTOM Transport
France
CEA
France
ERSA
France
Institut Mines-Télécom
France
Mitsubishi Electric
France
SNCF
France
Systerel
France
Germany
AEbt GmbH
Germany
ALSTOM Transport GmbH
Germany
DB AG
Germany
Eclipse Foundation Europe GmbH
Germany
Formal Mind GmbH
Germany
Fraunhofer Gesellschaft
Germany
Siemens AG AG
Germany
TWT GmbH Science & Innovation
Germany
Universität Bremen
Germany
University of Rostock
Germany
Italy
GE Transportation
Italy
Spain
The Netherlands
lloyd's register rail B.V.
The Netherlands
NS Nederlandse Spoorwegen
The Netherlands
United Kingdom
ATOC
United Kingdom
Project publications
- openETCS Project results leaflet Project Leaflet 01 September 2016 Download
- openETCS Exploitable Results Exploitable Results 05 February 2016 Download
- OpenETCS soll Zugsicherung interoperabel, sicher und bezahlbar machen Press article 16 July 2012
Work package documents
- D1.3.1. OpenETCS - Quality Assurance Plan Work package document 31 January 2014
- D2.1. openETCS - Report on existing methodologies Work package document 21 May 2014
- D2.2. openETCS - CENELEC EN 50128:2011 Requirements for openETCS Work package document 21 May 2014
- D2.3. openETCS - Definition of the overall process for the formal description of ETCS and the rail system it works in Work package document 21 May 2014
- D2.3a openETCS - Definition of the openETCS Development Process Work package document 03 December 2015
- D2.3b openETCS - Scrum Process in openETCS Project Work package document 03 December 2015
- D2.4. openETCS - Definition of the methods used to perform the formal description Work package document 21 May 2014
- D2.5. openETCS - A Subset of Requirements for Benchmarking of Tools Work package document 21 May 2014
- D2.6-9 openETCS - Requirements for OpenETCS Work package document 21 May 2014
- D3.5.1. openETCS - System Architecture and Design Specification Work package document 31 December 2014
- D3.5.3. openETCS - Architecture and Design Specification, 3. iteration Work package document 01 December 2015
- D3.5.4. openETCS - API Work package document 01 December 2015
- D3.5.4. openETCS - Appendix: Dynamic ETCS Track Model Work package document 09 December 2015
- D3.5.4. openETCS - Architecture and Design Specification, 4. iteration Work package document 01 December 2015
- D3.6.1 openETCS - Functional Model Work package document 31 December 2014
- D3.6.1. openETCS - WP3-Initial-Architecture Work package document 31 December 2014
- D3.6.3. openETCS - Third iteration of functional model Work package document 01 December 2015
- D3.6.4. openETCS - Fourth iteration of functional model Work package document 01 December 2015
- D3.7.0. openETCS - System Architecture requirements specification Work package document 01 December 2015
- D3.8. openETCS - Open Source Code Work package document 02 December 2015
- D4.1. openETCS - Validation & Verification Plan Work package document 21 May 2014
- D4.2.1. openETCS - First V&V report on the applicability of the V&V model approach Work package document 10 March 2015
- D4.2.2. openETCS - Preliminary Validation and Verification Report on Implementation/Code Work package document 10 March 2015
- D4.2.3. openETCS - Hazard and Risk Analysis and Safety Case Methodology Work package document 10 March 2015
- D4.3.1. openETCS - Final Report on Validation and Verification Report on the formal abstract Work package document 03 December 2015
- D4.3.2. openETCS - Final Report on Validation and Verification Report of Implementation Code Work package document 09 December 2015
- D4.3.3. openETCS - Safety Case for toolchain and Processes Work package document 02 December 2015
- D4.4. openETCS - Final Report on Verification and Validation Work package document 09 December 2015
- D4.5. openETCS - Assessment Report Work package document 09 December 2015
- D5.1. openETCS - Functional Specification of Demonstrator Work package document 16 February 2015
- D5.3. openETCS - Report on Test Results Work package document 01 December 2015
- D6.1. openETCS - Dissemination Plan and Report Work package document 14 January 2014
- D6.3. openETCS - Updated Dissemination Plan and Report Work package document 29 October 2014
- D7.1. openETCS - Report on the final choice(s) for the primary tool chain Work package document 21 May 2014
- D7.2. openETCS - Report on all aspects of secondary tooling Work package document 21 May 2014
- D7.3. openETCS - Toolchain Qualification Process Description Work package document 02 December 2014
- D7.4. openETCS - Extended Tool Construction Set Work package document 21 May 2014
- D7.5. openETCS - Ecosystem Artifacts Work package document 27 November 2015
- M5.1. openETCS - EVC simulator architecture Work package document 16 February 2015
- M5.2. openETCS - Data for testing Work package document 01 December 2015
- M5.3. openETCS - Automatic Test Runner User manual Work package document 24 March 2015
- M5.4. openETCS - Test Environment with Logical Interface and Remote Access Work package document 01 December 2015
- M5.5. openETCS - Main Tests Executed Work package document 01 December 2015