日前,恒潤科技集團北京經緯恒潤科技有限公司總裁齊占寧博士與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將與恒潤科技進一步深化合作,共同助力軟件檢測行業的自動化、標準化,提升安全關鍵領域軟件的可信度。