SMAVE 工业软件
Model Suite
模型化嵌入式软件开发环境
Virtual System
处理器指令集与板级系统仿真分析
AI Fuzzer
基于 AI 生成对抗学习的网络测试
Design Verifier
模型形式化验证工具平台
Model Fabric
多领域数字模型集成仿真环境
Code Robustness Analyzer
代码健壮性分析工具平台
Code Trace Analyzer
源代码与目标码一致性分析工具
Object Code Analyzer
目标码覆盖率分析工具
Architect
架构系统化建模与多维分析
Code Analyzer
代码分析与形式化验证工具
MCDS
恶意代码检测工具平台
xSIM
仿真验证工具平台
RV
运行时形式化验证工具
Requirement
需求建模与仿真验证
Display
HMI 设计与开发环境
Studio
Visualization
Motion / Robotics
Fieldbus / Communication
Safety
Virtualization
Redundancy
Connector
AI
联系解决方案专家，进行详细沟通
多功能 I/O
模拟 I/O
数字 I/O
电流
工业总线
车载总线
工程师模块
物理仿真模块
声音和振动
温度
计数定时
显示
位置位移
应变、压力和力
信号调理
机器视觉
处理器模块
Model Suite
Virtual System
AI Fuzzer
Design Verifier
Model Fabric
Code Robustness Analyzer
Code Trace Analyzer
Object Code Analyzer
Architect
Code Analyzer
MCDS
xSIM
RV
Requirement
Display