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

官宣 | 恒润科技成为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将与恒润科技进一步深化合作,共同助力软件检测行业的自动化、标准化,提升安全关键领域软件的可信度。
 

 

凯发官方首页-凯发娱乐登录
用户登录
用户注册
*

请输入您常用的邮箱地址,错误的地址将影响功能使用

*
*
*
    性别    男   
*
网站地图