Products

Systerel offers a range of innovative solutions designed to reduce development costs and time-to-market of its clients’ systems.

Automatic optimal balise layout

Automatic formal validation of critical configuration data

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

Design of formally proven automata-based systems

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