슈어소프트테크

슈어소프트테크（Suresofttech Inc.）是一家韩国软件与AI验证企业，总部位于京畿道城南市板桥第二科技谷。公司成立于2002年3月，二十多年来在高风险行业（如汽车、国防、核能、航空航天、医疗和铁路）中积累了验证安全关键软件安全性和可靠性的专业能力。其核心业务包括自动化软件验证工具、第三方验证与确认（V&V）服务，以及近年来的AI可信度验证。 公司运营两大业务支柱：软件验证和AI验证。软件验证部门提供针对源代码、系统和模型阶段的自动化错误检测工具，以及第三方验证服务。这些工具自动化了国际功能安全标准（包括ISO 26262、DO-178C、IEC 61508和EN 50128）所要求的验证活动。AI验证部门专注于验证AI模型、代理和数据的可靠性，提供行业特定的AI解决方案以及控制器虚拟化/仿真验证。2025年4月，Suresofttech获得KOLAS认可，成为ISO/IEC TS 4213（机器学习分类模型性能评估）领域的官方测试实验室，并作为测试机构参与了韩国人工智能产业协会运营的“AI MASTER”AI可信度认证项目。 Suresofttech的产品组合分为两大业务板块下的七个产品系列。主要产品包括STATIC（静态代码分析）、CT（代码覆盖率）、MV（模型验证）、AUTOSIM（面向自动驾驶和机器人的基于仿真的安全验证）、DCAT（数据收集与分析平台）、ALIRA（AI认证文档与测试自动化）和VERIFAI-X（全面的AI系统可靠性与安全验证）。公司还拥有大数据工具IRIS和BEYMONS，并持有16项与验证工具相关的专利。部分工具（包括STATIC、CT和MV）已获得TÜV工具认证。 2023年4月，Suresofttech通过与NH SPAC 22（엔에이치기업인수목적22호주식회사）合并，在KOSDAQ市场上市。公司报告2026年上半年合并营收为467亿韩元，同比增长21.5%。总部位于京畿道城南市寿井区金土路80号街37号Infinity Tower E栋，并在大田的ETRI融合技术研究生产中心设有办公室。公司由共同代表裴贤燮（배현섭）和吴承旭（오승욱）领导。

슈어소프트테크（Suresofttech Inc.）于2002年3月在韩国成立。自成立以来，公司专注于安全关键系统的软件验证与确认，以“SOFTWARE FOR SAFE WORLD”为使命。在接下来的二十年里，公司为汽车、国防、核能、航空航天、医疗和铁路等行业开发了自动化验证工具和第三方V&V服务。 2023年4月，Suresofttech通过与NH SPAC 22（엔에이치기업인수목적22호주식회사）合并，在KOSDAQ市场上市。合并过程包括2023年3月的合并公告和2023年4月的完成。这标志着一个重要的里程碑，为公司提供了公开市场准入和扩张资本。 2025年4月，Suresofttech获得KOLAS认可，成为ISO/IEC TS 4213（机器学习分类模型性能评估）领域的官方测试实验室。这一认可将公司的业务范围扩展至AI验证，补充了其传统的软件验证业务。公司还成为韩国人工智能产业协会运营的“AI MASTER”AI可信度认证项目的测试机构。 到2026年，Suresofttech将其使命重新定位为“INTELLIGENCE FOR SAFE WORLD”，反映了其从纯软件验证向AI和智能技术验证的战略转变。公司报告2026年上半年合并营收为467亿韩元，同比增长21.5%。公司继续参加主要行业活动，包括2026人工智能节、自动驾驶移动产业展和航空电子研讨会。2026年5月，Suresofttech将其KOLAS认可范围扩展至数据质量领域，完成了AI系统全生命周期验证体系。

• 슈어소프트테크在韩国成立。

• 发布合并公告、股份提交及债权人异议通知。

• 宣布合并完成；公司通过与NH SPAC 22合并，在KOSDAQ上市。

• 获得KOLAS对ISO/IEC TS 4213（机器学习分类模型性能评估）的认可。

• 将KOLAS认可范围扩展至数据质量领域，完成AI系统全生命周期验证体系。

国内领先的软件安全专业企业，为高可靠性、高风险行业验证安全关键软件和AI可信度。

• STATIC

  静态代码分析解决方案，可预先阻止编码错误，并支持基于AI的分析以进行修正。

• CT

  用于软件验证的代码覆盖率工具。

• MV

  模型验证解决方案，用于模型阶段的静态和动态错误检测。

• AUTOSIM

  面向自动驾驶和机器人等物理AI的基于仿真的安全验证解决方案。

• DCAT

  数据收集与分析平台，自动化大规模数据收集、分析和评估，用于基于AI的定量验证。

• ALIRA

  AI认证文档与测试自动化解决方案，使用AI代理缩短开发和验证周期。

• VERIFAI-X

  全面的AI系统可靠性与安全验证解决方案。

• IRIS

  大数据工具。

• BEYMONS

  大数据工具。

1. 1슈어소프트테크 | AI 신뢰성 검증 전문기업suresofttech.com
2. 2지속가능경영 | 슈어소프트테크suresofttech.com
3. 3투자정보 - 공고 | 슈어소프트테크suresofttech.com
4. 4회사소개 | 슈어소프트테크suresofttech.com
5. 5Suresofttech Inc. - Wikidatawikidata.org
6. 6슈어소프트테크 - Wikipedia (Korean)ko.wikipedia.org