安全系统软件开发商
各维度得分依据公开资料与字段推算,加权后即综合评分,仅供参考。
CLEARSY 是一家法国中小型企业，成立于2001年，官网定位为“安全软件与安全系统创造者”。其团队背景与形式化建模工具 Atelier B 的工业化相关，主要面向铁路、汽车、军工、航天、核能、微电子等安全关键行业，开发 SIL1 到 SIL4 等级的软件与系统，并覆盖设计、验证、确认、安全研究到投产。
从开发者工具角度看，CLEARSY并不是通用IDE、云服务或开源库，而是围绕安全关键工程的专业工具与服务组合。官网列出 Atelier B、Supervision、测试台、CLEARSY Safety Platform、ERTMS/ETCS、CLEARSY Data Solver 等工具或系统，并强调形式化方法、安全论证、故障分析、代码审查、生产代码链安全分析、安全档案等工作。其形式化证明能力也被用于 Common Criteria ISO/CEI 15408 的 EAL6/EAL6+ 评估，帮助微电子行业客户建立数学模型并证明安全策略符合性。
官网未披露标准价格、订阅层级、免费试用或采购入口。结合“系统定制”“认证协助”“项目联系”等表述，CLEARSY更可能采用项目制报价和咨询/工程交付模式。支付方式、合同条款、交付周期均未在抓取内容中体现。
优点是行业聚焦非常清晰，覆盖SIL1-SIL4，且在铁路ERTMS、信号系统、核能、航天和微电子认证中有可验证的案例叙述；形式化方法能力强，适合高安全、高合规场景。缺点是自助化程度有限，公开资料以法语和行业介绍为主，未看到API/SDK、开源许可、自托管部署或开发者快速开始文档；对普通软件团队而言门槛较高。
CLEARSY适合需要安全认证、形式化验证、铁路/工业安全系统开发的企业、设备商和认证相关机构，不适合寻找轻量级开发效率工具的团队。中国访问情况无法从正文判断，标记为未知；若需要本地替代，可评估 Ansys SCADE、AdaCore/SPARK、MathWorks Polyspace/Simulink、ProB、TLA+ 等工具链，具体取决于认证体系与行业要求。
本测评基于公开资料整理,不构成购买建议,请以 clearsy.com 官网实际信息为准。
专注安全关键软件和认证，适合工业/交通项目参考。
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。