DefenseCode是一家AST(應用程序安全測試)領域的專業(yè)供應商,專注于信息安全咨詢與缺陷研究。DefenseCode提供的產(chǎn)品旨在使用動態(tài)應用程序安全測試(DAST、黑盒測試)和靜態(tài)應用程序安全測試(SAST、白盒測試)技術(shù),分析和測試應用程序的安全漏洞…
Speos是ANSYS公司的光學系統(tǒng)仿真工具,內(nèi)嵌于UG、Spaceclaim等CAD平臺,實現(xiàn)從結(jié)構(gòu)設計到光學仿真的無縫銜接,用于光學設計、環(huán)境與視覺模擬、成像仿真等,在汽車、電子電器、精密儀器、照明設備、攝像等領域有著廣泛的應用。
隨著產(chǎn)品復雜程度的提升,市場競爭愈加激烈,基于模型的正向研發(fā)已經(jīng)作為有效的應對手段被廣泛接受。但研發(fā)流程中仍然存在復雜功能架構(gòu)定義困難、多方案難以權(quán)衡、多系統(tǒng)難以聯(lián)合仿真,仿真效率低,驗證不充分等問題;而且缺少對產(chǎn)品研發(fā)自頂向…
Romax 是海克斯康制造智能事業(yè)群的重要成員,其Romax Nexus數(shù)字化平臺可智能集成更廣泛的CAE工具鏈,在傳動領域享有盛譽,是汽車、風電及軸承應用等領域的標準分析軟件。經(jīng)緯恒潤作為海克斯康Romax工具國內(nèi)業(yè)務的代理商,致力于為機電一體化傳…
Stimulus 是法國Argosim 公司產(chǎn)品,其目的是通過需求建模分析來驗證需求的正確性。Stimulus 的核心理念是運用“自然語言”對功能性需求進行建模,并通過仿真來查找需求中的缺陷,例如需求一致性、不二義性和完整性檢查等。借助Stimulus 可以在系統(tǒng)開發(fā)的早…
Stages 是德國Methodpark 公司的產(chǎn)品,用于幫助企業(yè)定義、管理、發(fā)布、控制、優(yōu)化其研發(fā)過程,同時使其研發(fā)過程符合 CMMI、ASPICE、ISO26262 等標準。Stages的核心理念是把過程理論和實際項目進行有機結(jié)合。
AUTOSAR Builder 是達索旗下一款基于 Eclipse 的開放、可擴展工具套件,用于設計和開發(fā)符合 AUTOSAR 標準的系統(tǒng)和軟件。新版本2020x支持AUTOSAR Classic 4.4.0及AUTOSAR Adaptive R19-03。
Tessy是一個專門針對嵌入式軟件的C/C++代碼進行單元、集成測試的工具,它可以自動化地執(zhí)行測試、評估測試結(jié)果并生成測試報告。Tessy的目標就是:通過自動化整個測試周期,完美支持針對C語言的單元測試/集成測試,同時,Tessy也同樣關注測試組織…
聯(lián)系人:經(jīng)緯恒潤
地址:北京朝陽區(qū)酒仙橋路14號1幢4層
郵編:100000
電話:010-64840808-6117
傳真:
公司網(wǎng)址:http://www.hirain.com
掃描此二維碼即可訪問該空間手機版