,提供基于模型的驗(yàn)證及安全分析平臺(tái)支持符合 ISO 26262 的電控系統(tǒng)軟件從單元靜態(tài)驗(yàn)證,到集成靜態(tài)驗(yàn)證,到嵌入式軟件靜態(tài)驗(yàn)證的模型靜態(tài)驗(yàn)證支持符合 ISO 26262 的電控系統(tǒng)軟件從單元靜態(tài)驗(yàn)證,到集成動(dòng)態(tài)驗(yàn)證,到嵌入式軟件動(dòng)態(tài)驗(yàn)證軟件動(dòng)態(tài)驗(yàn)證支持符合 ISO 26262 的電控系統(tǒng)軟件功能安全分析 3)符合 ISO 26262 功能安全的MBD 專業(yè)培訓(xùn)
2026
經(jīng)緯恒潤(rùn) ??? 4年前