Alstom joins AMASS

Share this post :

Alstom, a French multinational company operating worldwide in rail transport markets, has recently joined the AMASS consortium. The company will contribute to the project objetives by providing (1) its expertise in railway system assurance and certification, and (2) a case study for the validation and benchmarking of AMASS results.

Alstom is a large industrial partner playing a central role in the European industry, in particular in the railway manufacturing domain. As a promoter of sustainable mobility, Alstom develops and markets systems, equipment and services for the railway sector. Alstom manages the widest range of solutions in the market – from high-speed trains to metro and tramways – customized services (maintenance, modernisation…), and infrastructure and signalling solutions. Alstom is a world leader in integrated railway systems.

Within the company. Alstom Signalling France develops and installs safety critical signalling systems for railway applications (mass transit or main lines). These systems must comply with international safety standards such as CENELEC EN50126/8/9, specific national safety regulations, and technical specification for interoperability (e.g. ERTMS specification in Europe).

Alstom Signalling France was a member of the OPENCOSS project, in which the benefits of a common certification framework shared between all safety certification stakeholders were demonstrated. A signalling system safety file had been modelled into the OPENCOSS framework. The main goal for Alstom was to help safety engineers to focus on their added-value work instead of being annoyed with costly tasks such information search and manipulation. Following this initial success, Alstom Signalling France has joined AMASS to pursue the engaged effort to include formal safety demonstration of systems in the AMASS framework. Indeed, the case study for AMASS deals with the formal verification of safety properties of signalling system or subsystems. We think that these techniques can improve safety demonstration by rigorous automation, exhaustive verification, and unfalsifiable arguments. Their application prompts the AMASS objectives by improving the safety demonstration and reducing cost.