产品体系

高安全模型化嵌入式软件开发环境 SMAVE
新一代软件定义工业控制软硬件系统 ACEPHERE
           
                               
SMAVE品牌官网
高安全嵌入式软件开发环境
                               
ACEPHERE品牌官网
                               
软件定义工控软硬件平台
                                   查看详情

SMAVE系列产品

System Modeling, Analysis and Verification Environment
了解集建模、仿真、形式化验证、代码生成、编译工具等为一体的嵌入式软件开发工具套件
SMAVE Model Suite
易用灵活可靠
静态语法检查
动态语义仿真
高可靠代码生成
软件可靠性证明
SMAVE Virtual System
虚拟化调试
覆盖率统计分析
测试工程管理
SMAVE Model Fabric
多模型分布式
源代码级调试
支持多种建模工具
简单自动化测试
系统实时性保证
SMAVE Security
中断安全性检查
多代码分析技术
事件分发机制
数据传递机制
           

ACEPHERE系列产品

           
面向新一代工业互联控制场景的自主软硬件平台
汽车电子解决方案
方案描述
轨道交通解决方案
方案描述
航空航天解决方案
方案描述
工业控制解决方案
方案描述
智能家居解决方案
方案描述

服务与合作

了解我们提供的各种前沿技术与咨询服务