Systerel is a Techno Provider that designs and develops its own range of tools and solutions.

Our custom solutions help our clients accelerate time-to-market while keeping development costs under control.

Our product range

OPC UA Aggregator

Solution developed in collaboration with Groupe Renault, collecting and securing industrial data.

BLAST

Automatic optimal balise layout

OVADO²®

Automatic formal validation of critical configuration data

Safe & Secure OPC

Safe and Secure OPC is a secure and open-source OPC UA toolkit

Systerel IXL Builder

Design of formally proven automata-based systems

Systerel Smart Solver

Formal verification of systems and software developed in SCADE, C, Ada

A Strong Commitment to Technological Innovation

The tools developed by Systerel are built on more than 25 years of expertise in critical software, safety engineering, and mastery of formal methods.

Systerel actively contributes to the future of critical systems through collaborative research and development projects. The company partners with leading industrial and academic players to develop innovative solutions that address current and future technological challenges.