Highly recommended for development requiring a high level of safety, the benefits of using formal methods are:

  • Better cost-effectiveness : reduction of cost and deadlines
  • An improved quality of the software
  • Software components which are easier to reuse and more reliable

Formal methods allow responding to the needs of critical software certification by ensuring reliability and absence of malfunctions from a system or software. Applications in many industry domains are possible : safety analysis of embedded critical systems, temporal performance evaluation of real-time distributed systems, …

Technique and tools

  • The B Method for the development of critical “correct-by-construction” software
  • Event-B for system modeling and proving them safe
  • SAT-based Model Checking techniques for the verification of reactive systems
  • SCADE, Control-Build or Simulink tools for modeling of command-control systems
  • Techniques for formal validation of critical data

Its expertise is enhanced through the development of specific tools adaptable to customer requirements (Systerel Smart Solver, Systerel IXL Builder, OVADO®).

Which technique for which problem?

V-model_formal methods