skip to navigation skip to search skip to content


Share link

Recommend via emailRecommend

Recommendation of Systerel Smart Solver

Divide various addresses by comma. The recipients will get a link to this platform.

* required

Your recommendation has been sent successfully.

Product description

Prove that your design is correct and safe

Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
Systerel Smart Solver, a SAT based analysis tool is central to these solutions.

  • Automated analyses and proofs
  • Analysis completeness
  • Exact modeling (no abstractions)
  • Compliant with certification processes
  • Dedicated team of specialists of the technology and tools
Safety verification for a wide range of systems, including:
  • Railway Interlocking systems (relay-based and computerized)
  • CBTC





Exhibitor profile

Safe real-time solutions

Critical systems innovative engineering

For over 15 years, Systerel has been creating, designing and implementing innovative solutions in the area of real time and safety critical systems.

Specialized in critical software and RAMS (Reliability / Availability / Maintainability / Safety), its railway activities focus mainly on CBTC, Interlocking and ERTMS systems.

Its expertise is covering a wide range of skills:
  • Design, development, verification and validation or software assessment at all safety levels,
  • Building of a full safety case up to its approval by a certification authority,
  • Related activities: methodology, architectural study, tools…
Systerel provides industrial solutions, which drastically enhance safety and security of systems, while permitting its customers to reduce costs and time to market:
  • S2OPC: safe & secure implementation of the OPC-UA protocol (EAL4+ and SIL2 certification)
  • Systerel Smart Solver: safety proof (using formal verification) of your system or software developed in SCADE, C or Ada
  • Systerel IXL Builder: design of formally proven automata-based systems
  • Ovado2: formal generation and validation of critical configuration data
The mastery of advanced technologies such as formal approaches, linked to a thorough industrial knowledge of railway domain, enables Systerel to supply highly innovative and competitive solutions for the analysis and development of safety critical railway systems, both for industrial providers and operators.

Since its creation, Systerel has built strong commercial and technical collaborations with major actors in the railway business like Alstom, Ansaldo STS, RATP, Siemens, SNCF, Thales...

Systerel teams are based in France and Germany.

Contact Us

Personal information

* required

Your message (max. 200 characters)
Send message
Your message has been sent successfully.

View exhibitor