日前，恒潤科技集團北京經(jīng)緯恒潤科技有限公司總裁齊占寧博士與Suresoft China總經(jīng)理Jae Woong JANG先生于恒潤科技北京總部簽署代理合作協(xié)議。恒潤科技正式成為Suresoft公司ModelScroll軟件中國區(qū)代理。

經(jīng)緯恒潤總裁齊占寧與Suresoft China總經(jīng)理Jae Woong JANG簽署代理合作協(xié)議

恒潤科技與Suresoft China合影留念

        Suresoft是韓國一家專業(yè)的Mission-Critical高可信測試軟件企業(yè)，擁有適用于ISO 26262/ DO-178等行業(yè)標(biāo)準(zhǔn)，成熟的基于V流程代碼檢測、模型檢測、質(zhì)量檢測、安全檢測、故障注入等應(yīng)用的軟件工具鏈。

        Suresoft公司ModelScroll軟件包含模型靜態(tài)驗證工具Model Inspector與模型動態(tài)驗證工具Model Verifier。Suresoft驗證工具已獲得TUV的ISO 26262認(rèn)證，其中，Model InspectorModel Inspector支持對Simulink/Targetlink模型靜態(tài)檢查（建模規(guī)范檢查），對主流規(guī)范MAAB、MISRA_AC_SLSF、dSPACE、HI、CG的自動化檢查，超過480條建模規(guī)范，支持用戶定制符合行業(yè)標(biāo)準(zhǔn)ISO26262/DO-178C/IEC61508/EN50128的模型靜態(tài)檢查過程。Model Verifier 支持Simulink/Targetlink模型的動態(tài)測試，自動化實現(xiàn)模型與代碼之間的back-2-back測試，并自動評估測試的結(jié)構(gòu)覆蓋率，自動生成測試報告。為提高嵌入式軟件的可靠性提供了有利的保障。

        作為KOLAS（Korea Laboratory & Accreditation Scheme）國際公認(rèn)測試機構(gòu)，Suresoft的客戶覆蓋韓國汽車、軌交、金融等不同行業(yè)。后續(xù)，Suresoft將與恒潤科技進一步深化合作，共同助力軟件檢測行業(yè)的自動化、標(biāo)準(zhǔn)化，提升安全關(guān)鍵領(lǐng)域軟件的可信度。