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

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

恒潤(rùn)科技與Suresoft China合影留念

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

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

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