Symtavision—分布式嵌入式系統(tǒng)時(shí)間建模分析和驗(yàn)證工具

Symtavision工具為Luxoft公司提供的一款分布式嵌入式系統(tǒng)時(shí)間特性建模、分析和驗(yàn)證工具，主要應(yīng)用于汽車領(lǐng)域。經(jīng)緯恒潤聯(lián)合Symtavision工具廠商能夠?yàn)榭蛻籼峁┩暾南到y(tǒng)級時(shí)間特性建模、分析和驗(yàn)證工具鏈以及項(xiàng)目咨詢服務(wù)。

Rhapsody — MBSE 開發(fā)工具

Rhapsody是基于UML/SysML的模型驅(qū)動(dòng)開發(fā)集成環(huán)境，專注于嵌入式和實(shí)時(shí)系統(tǒng)。通過Rhapsody的模型驅(qū)動(dòng)體系，可以快速地將應(yīng)用模型部署到實(shí)時(shí)嵌入式操作系統(tǒng)。Rhapsody 適應(yīng)迭代設(shè)計(jì)與開發(fā)，軟件開發(fā)可以在宿主機(jī)環(huán)境持續(xù)的執(zhí)行和驗(yàn)證，繼而生成嵌…

Romax Nexus—變減速器設(shè)計(jì)研發(fā)平臺(tái)

Optimus—多學(xué)科仿真集成與優(yōu)化設(shè)計(jì)平臺(tái)

Optimus是比利時(shí)Noesis Solutions公司專注研發(fā)的一款多學(xué)科仿真集成與優(yōu)化設(shè)計(jì)軟件產(chǎn)品。通過Optimus平臺(tái)，可管理多學(xué)科的仿真流程及數(shù)據(jù)，自動(dòng)顯示和探索設(shè)計(jì)空間，進(jìn)行產(chǎn)品設(shè)計(jì)過程中的自動(dòng)性能優(yōu)化，實(shí)現(xiàn)多學(xué)科、多指標(biāo)參數(shù)的均衡優(yōu)化，能對產(chǎn)品…

AbsInt與Infineon合作推出面向AURIX的時(shí)間分析工具鏈

AbsInt公司與Infineon公司的合作十分緊密，此次AbsInt公司推出了新版本的TimeWeaver工具，并擴(kuò)展支持Infineon公司的32位TriCore AURIX系列微處理器。TimeWeaver是一款分析程序中任務(wù)/代碼段最差情況運(yùn)行時(shí)間(WCET)的工具。

MACH SYSTEMS—總線接口轉(zhuǎn)換工具

Stimulus—需求形式化建模和分析工具

加快產(chǎn)品開發(fā)的正確途徑

企業(yè)需要什么--以及他們在哪里

深入產(chǎn)品線的配置管理