Agile working, arriving safely

Safety-critical systems that comply with CENELEC, with the speed of modern development

Where safety is everything

In transport and infrastructure, reliability is not a KPI, but a moral duty. Railway signaling, traffic management systems, train control – systems where even small errors can have major impact.

That's why every change, upgrade or new feature must comply with strict safety standards such as CENELEC (EN 50126/50128/50129) and IEC 62279. These standards set requirements for design, development, testing and the tools you use.

This brings an important challenge:

Traditional safety processes are slow and rigid. At the same time, you need to innovate, add new functionality, replace legacy, work more agilely. How do you combine safety with agility?

Axini: the bridge between safety and speed

Axini Model-Based Testing (MBT) makes it possible to develop agilely without compromising safety. By formally modeling systems, the platform automatically generates test scenarios that fully align with CENELEC requirements.

For the manager

Innovate faster while maintaining full compliance
Full traceability from requirements to tests to results
Less risk through early detection of safety-critical issues
Validated tooling that meets CENELEC requirements

For the specialist

Formal modeling of state machines, interfaces and protocols
Automatic test generation according to CENELEC standards (EN 50128)
Tool qualification: Axini tooling is validated for safety-critical use
CI/CD integration with full test traceability
Support for SAFe and SafeScrum

Agile working in a safety-critical world

SAFe-compatible

Test at the end of each sprint or increment in a working environment. Quality is continuously ensured, not checked afterwards.

SafeScrum support

SafeScrum is an agile method specifically for safety-critical development. Axini has extensive experience with this approach, allowing teams to remain agile without losing safety requirements.

From waterfall to iterative

Safety standards often require traditional processes, but that doesn't have to slow down development. Axini provides the bridge: agile working with safety-compliant testing.

Where Axini makes the difference

In all these domains, Axini combines formal correctness with practical agility.

Railway signaling: ERTMS, ETCS, interlocking systems

Train control: ATO, ATP, train protection systems

Traffic management: ITS, traffic control installations, tunnel safety

Infrastructure monitoring: sensor systems, predictive maintenance

Results in practice

Organizations in transport and infrastructure working with Axini:

Comply with CENELEC EN 50128/50129 without delays

Work agilely with SAFe or SafeScrum, without losing safety

Detect issues earlier through automated regression tests

Deliver faster through more efficient test processes

Maintain full traceability for audits and certification

Axini gives you the certainty to innovate safely.

Customer case: ProRail

ProRail is responsible for the management and maintenance of the Dutch railway network. Safety and reliability are central to everything they do.

ProRail chose the Axini platform to ensure the quality of their ERTMS implementation. By deploying Model-Based Testing, they achieved significant improvements in safety and throughput time.

Early detection of specification errors
Full CENELEC compliance with automatic traceability
Faster certification processes through structured test reporting
Continuous feedback for developers during the development process

View the full case

Safety and agility,
no longer opposites

In the transport and infrastructure sector, safety doesn't have to block innovation. With Axini MBT you combine CENELEC compliance with modern development methods.

The result: systems that meet the highest safety requirements, development processes that move with your ambitions and the certainty that every release is safe.