日前,恒润科技集团北京经纬恒润科技有限公司总裁齐占宁博士与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将与恒润科技进一步深化合作,共同助力软件检测行业的自动化、标准化,提升安全关键领域软件的可信度。