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

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

Rhapsody — MBSE 開發(fā)工具

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

Romax Nexus—變減速器設(shè)計研發(fā)平臺

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

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

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

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

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

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

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

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

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