CLEARSY SAS

Their core work

CLEARSY is a French SME specializing in formal methods and safety-critical software engineering, particularly for cyber-physical systems. They develop tools and techniques for model-based design, verification, and certification of complex systems where failure is not an option — such as rail transport, automotive, and industrial automation. In H2020, they contributed expertise in formal verification, system assurance, and quality frameworks across five projects focused on making cyber-physical systems more reliable and their development processes more efficient.

What they specialise in

How they've shifted over time

CLEARSY's early H2020 work (2015-2019) centered on foundational tooling for cyber-physical systems — integrated design environments, certification frameworks, and quality assurance methods. From 2020 onward, their focus shifted toward automation and intelligence: runtime validation with MegaMaRt2 and then AI-augmented DevOps with AIDOaRt, where they began applying machine learning to continuous system engineering. The trajectory is clear — moving from static verification tools toward intelligent, automated development pipelines.

CLEARSY is moving from traditional formal verification into AI-assisted continuous engineering, positioning themselves at the intersection of safety assurance and intelligent automation.

How they like to work

CLEARSY always participates as a partner, never as coordinator, which is typical for a specialist SME that brings deep domain expertise to larger consortia. With 92 unique partners across 12 countries in just 5 projects, they work in large ECSEL-JU and RIA consortia — these are major European electronics and software initiatives with dozens of partners each. This breadth of connections suggests they are well-regarded enough to be repeatedly invited into high-profile collaborative projects.

CLEARSY has built a remarkably broad network of 92 unique partners across 12 countries through just five projects, largely through participation in large ECSEL-JU consortia that bring together major European electronics and software actors.

What sets them apart

CLEARSY brings a rare combination: deep expertise in formal methods (they are known for the B method) applied to industrial safety-critical systems, now extended with AI and DevOps capabilities. Unlike large system integrators, they are an SME that can provide focused, specialized contributions to verification and certification challenges. For consortium builders, they fill a critical niche — the partner who ensures your cyber-physical system actually meets safety and certification requirements.

Highlights from their portfolio

• INTO-CPS
  Their largest funded project (EUR 572,250) — built an integrated toolchain for model-based design of cyber-physical systems, representing their core competency.
• AIDOaRt
  Their most recent project marks a strategic pivot: applying AI to augment DevOps automation, blending their formal methods heritage with machine learning.
• AMASS
  Addressed multi-concern assurance and certification of CPS — directly aligned with CLEARSY's commercial focus on safety-critical system verification.