日前，恒潤科技集團北京經緯恒潤科技有限公司總裁齊占寧博士與Suresoft China總經理Jae Woong JANG先生于恒潤科技北京總部簽署代理合作協(xié)議。恒潤科技正式成為Suresoft公司ModelScroll軟件中國區(qū)代理。
經緯恒潤總裁齊占寧與Suresoft China總經理Jae Woong JANG簽署代理合作協(xié)議
恒潤科技與Suresoft China合影留念
Suresoft是韓國一專業(yè)的Mission-Critical高可信測試軟件企業(yè)，擁有適用于ISO 26262/ DO-178等行業(yè)標準，成熟的基于V流程代碼檢測、模型檢測、質量檢測、安全檢測、故障注入等應用的軟件工具鏈。
Suresoft公司ModelScroll軟件包含模型靜態(tài)驗證工具Model Inspector與模型動態(tài)驗證工具Model Verifier。Suresoft驗證工具已獲得TUV的ISO 26262認證，其中，Model InspectorModel Inspector支持對Simulink/Targetlink模型靜態(tài)檢查（建模規(guī)范檢查），對主流規(guī)范MAAB、MISRA_AC_SLSF、dSPACE、HI、CG的自動化檢查，超過480條建模規(guī)范，支持用戶符合行業(yè)標準ISO26262/DO-178C/IEC61508/EN50128的模型靜態(tài)檢查過程。Model Verifier 支持Simulink/Targetlink模型的動態(tài)測試，自動化實現(xiàn)模型與代碼之間的back-2-back測試，并自動評估測試的結構覆蓋率，自動生成測試報告。為提高嵌入式軟件的可靠性提供了有利的保障。
作為KOLAS（Korea Laboratory & Accreditation Scheme）國際公認測試機構，Suresoft的客戶覆蓋韓國汽車、軌交、金融等不同行業(yè)。后續(xù)，Suresoft將與恒潤科技進一步深化合作，共同助力軟件檢測行業(yè)的自動化、標準化，提升安全關鍵領域軟件的可信度。
