Dimension scores are derived from public data and fields; weighted into the composite. Reference only.
CLEARSY is a French SME founded in 2001. Its website positions the company as a “creator of safety software and safety systems.” The team’s background is tied to the industrialization of the formal modeling tool Atelier B. CLEARSY primarily serves safety-critical industries such as rail, automotive, defense, aerospace, nuclear energy, and microelectronics, developing software and systems from SIL1 to SIL4 and covering design, verification, validation, safety studies, and production deployment.
From a developer-tool perspective, CLEARSY is not a general-purpose IDE, cloud service, or open-source library. Instead, it offers a specialized set of tools and services around safety-critical engineering. Its website lists tools and systems such as Atelier B, Supervision, test benches, CLEARSY Safety Platform, ERTMS/ETCS, and CLEARSY Data Solver, while emphasizing formal methods, safety cases, failure analysis, code reviews, safety analysis of production code chains, and safety documentation. Its formal proof capabilities are also used in Common Criteria ISO/CEI 15408 EAL6/EAL6+ evaluations, helping microelectronics customers build mathematical models and prove compliance with security policies.
The website does not disclose standard pricing, subscription tiers, free trials, or a purchase portal. Based on references to “custom systems,” “certification support,” and “project contact,” CLEARSY is more likely to use project-based quotations and a consulting/engineering delivery model. Payment methods, contract terms, and delivery timelines are not shown in the collected content.
Its strengths are a very clear industry focus, coverage from SIL1 to SIL4, and verifiable case narratives in railway ERTMS, signaling systems, nuclear energy, aerospace, and microelectronics certification. It has strong formal-methods expertise and is well suited to high-safety, high-compliance scenarios. The drawbacks are limited self-service availability, public materials that are mostly in French and oriented toward industry introductions, and no visible API/SDK, open-source license, self-hosted deployment option, or developer quick-start documentation. For ordinary software teams, the barrier to entry is relatively high.
CLEARSY is suitable for enterprises, equipment vendors, and certification-related organizations that need safety certification, formal verification, or railway/industrial safety system development. It is not a good fit for teams looking for lightweight developer productivity tools. Access from China cannot be determined from the source text and should be marked as unknown. If local or alternative options are needed, teams may evaluate toolchains such as Ansys SCADE, AdaCore/SPARK, MathWorks Polyspace/Simulink, ProB, and TLA+, depending on the certification framework and industry requirements.
⚠ This review is compiled from public sources and does not constitute a purchase recommendation. Verify all facts on the vendor's official site. Verify on clearsy.com official site.
clearsy.com is an France Dev Tools provider. TG4G tracks its product information, an overall rating of 6.0/10, and a China-accessibility score of Workable. Click "Visit Official Site" to reach clearsy.com directly.