SMAVE系列产品

了解集建模、仿真、形式化验证、代码生成、编译工具等为一体的嵌入式软件开发工具套件
SMAVE领域模型基开发平台
易用灵活可靠
静态语法检查
动态语义仿真
高可靠代码生成
软件可靠性证明
SMAVE for HILS
多模型分布式
源代码级调试
支持多种建模工具
简单自动化测试
系统实时性保证
SMAVE for Binary Code
中断安全性检查
多代码分析技术
事件分发机制
数据传递机制
SMAVE Virtual System
虚拟化调试
覆盖率统计分析
测试工程管理
汽车电子解决方案
方案描述
轨道交通解决方案
方案描述
航空航天解决方案
方案描述
工业控制解决方案
方案描述
智能家居解决方案
方案描述