Highly recommended for development requiring a high level of safety, formal methods provide:
- Higher cost-effectiveness: reduction of costs and lead times
- Better software quality
- Software components that are more reliable and easier to reuse
Formal methods make it possible to meet the certification requirements of critical software by ensuring the reliability and absence of malfunctions in a system or software. Applications in multiple industrial domains are possible: safety analyses of embedded critical systems, evaluation of the temporal performance of distributed real-time systems, etc.
Technique and tools
- The B method for critical software development
- System B (Event-B) for system modeling and proof of safety
- SAT-based Model Checking techniques for verifying reactive systems
- Tools such as SCADE, Control-Build, or Simulink for modeling control-command systems
- Formal validation techniques for critical data
These expertise areas are leveraged through the development of specific tools tailored to client needs (Systerel Smart Solver, Systerel IXL Builder, OVADO®).
Which techniques for which challenge?
Conferences dedicated to Formal Methods
Systerel regularly participates in various conferences and workshops specializing in formal methods, both in France and internationally.
The company has taken part in the LAAS-CNRS Formal Methods Forum in Toulouse, the NII Shonan Meeting organized by Japan’s National Institute of Informatics, the ABZ Conference on state-based formal methods—which gathers an international community—as well as workshops around the RODIN platform.
These contributions demonstrate Systerel’s commitment to advancing scientific exchange and evolving practices in the field of formal methods.