官宣 | 恒润科技成为suresoft公司modelscroll软件中国区代理-凯发官方首页

        日前，恒润科技集团北京经纬恒润科技股份有限公司总裁齐占宁博士与suresoft china总经理jae woong jang先生于恒润科技北京总部签署代理合作协议。恒润科技正式成为suresoft公司modelscroll软件中国区代理。

经纬恒润总裁齐占宁与suresoft china总经理jae woong jang签署代理合作协议

恒润科技与suresoft china合影留念

        suresoft是韩国一家专业的mission-critical高可信测试软件企业，拥有适用于iso 26262/ do-178等行业标准，成熟的基于v流程代码检测、模型检测、质量检测、安全检测、故障注入等应用的软件工具链。

        suresoft公司modelscroll软件包含模型静态验证工具model inspector与模型动态验证工具model verifier。suresoft验证工具已获得tuv的iso 26262认证，其中，model inspectormodel inspector支持对simulink/targetlink模型静态检查（建模规范检查），对主流规范maab、misra_ac_slsf、dspace、hi、cg的自动化检查，超过480条建模规范，支持用户定制符合行业标准iso26262/do-178c/iec61508/en50128的模型静态检查过程。model verifier 支持simulink/targetlink模型的动态测试，自动化实现模型与代码之间的back-2-back测试，并自动评估测试的结构覆盖率，自动生成测试报告。为提高嵌入式软件的可靠性提供了有利的保障。

        作为kolas（korea laboratory & accreditation scheme）国际公认测试机构，suresoft的客户覆盖韩国汽车、轨交、金融等不同行业。后续，suresoft将与恒润科技进一步深化合作，共同助力软件检测行业的自动化、标准化，提升安全关键领域软件的可信度。