Axini Model Based Testing at ProRail

How Axini MBT plays a crucial role in ensuring the reliability and safety of business-critical processes during the introduction of ERTMS

ERTMS & PEIL Project

The largest transition in train protection

Axini Model Based Testing (MBT) plays a crucial role in ensuring the reliability and safety of business-critical processes at ProRail. ProRail is engaged in a very extensive program for the introduction of the new European Train Protection (ERTMS). The PEIL project is aimed at adapting the ICT Logistics systems for ERTMS. Axini MBT is used for various solutions at ProRail.

Product Overview

Axini Model Based Testing (MBT)

A complete solution for validating and testing safety-critical systems

Incremental Specification Validation

Axini MBT helps to incrementally 'harden' specifications by continuously validating them during the development phase. This ensures that errors are detected and resolved early in the process, before a single line of code is written.

Automatic Test Generation

The platform automatically generates test cases based on the models that describe the expected system behavior. This guarantees that all possible scenarios are tested, not just the happy flow, but also bad weather and edge cases that are often overlooked manually.

Regression Testing

Axini MBT makes it possible to perform extensive regression tests with each delivery. This ensures that new changes do not introduce unexpected errors in existing functionality.

Continuous Feedback for Developers

When increments are ready to be tested, a thorough MBT regression test is immediately available. This ensures that developers receive direct feedback, allowing them to quickly respond to any problems.

Benefits

Benefits of Axini MBT at ProRail

Early Error Detection

By using MBT from the beginning of the development process, errors are detected and resolved early. This reduces the chance of costly and time-consuming corrections later in the project.

Improved Specification Quality

By continuously validating specifications, the quality of the specifications is significantly improved. This leads to a more reliable and robust end product.

Efficiency in the Test Process

Automatic test generation and regression tests significantly speed up the test process, allowing ProRail to work faster and more efficiently. This is essential for a large and long-term project like ERTMS.

Continuity and Reliability

The continuous feedback loop ensures that developers are constantly informed of the status of their work. This increases the reliability and continuity of the development process.

Cost Savings

Early error detection and automatic test processes lead to significant cost savings. By detecting errors early and spending less time on manual testing, both time and money are saved.

SIL1

Cenelec Standard Compliant

The Axini platform is validated for SIL1. This helps in the safety case through safety reliability, compliance with standards, detection of bugs and defects, traceability and accountability.

Reliability and safety guaranteed

With Axini Model Based Testing, ProRail can optimize their business-critical processes during the introduction of ERTMS and other projects. The platform ensures early error detection, improved specification quality, efficiency in the test process and continuous feedback for developers.

This guarantees the reliability and safety of the new train protection.

Is your organization also facing a complex transition?

Discover how the Axini Modeling Platform can help with safety-critical projects - contact us.