联系我们
+86 (021) 62118992
sales@formal-tech.com
欢迎访问丰蕾科技官方网站 ACEPHERE & SMAVE
丰蕾科技
首页
产品
SMAVE Model Suite / HMI
模型化嵌入式软件与人机交互界面开发环境
SMAVE Code Analyzer
嵌入式C代码分析与形式化验证工具
SMAVE Virtual System
嵌入式处理器指令级与板级系统仿真与分析平台
SMAVE Model Fabric
多领域数字模型集成仿真环境
SMAVE AI Fuzzer
基于AI生成对抗学习的网络Fuzzing测试工具
ACEphere StudioIEC 61131-3
工业控制基础软件开发环境
ACEphere Runtime
将任何智能设备或PC转换为工业控制器
ACEphere Display
在所有类型面板上实现人机交互
ACEphere Motion Control
符合PLCOpen规范的运动控制算法包
ACEphere LiteSys
楼宇及轻量级物联网控制系统
ACEphere GearSys
面向恶劣运行环境的可编程控制系统
ACEphere UniSys
复杂仿真与高性能工业计算
服务
可信计算与高安全软件
形式化方法培训
形式化建模与分析验证服务
可信AI技术服务
可信计算联合科学研究
基于模型的系统工程
MBSE培训
DO-178C/DO-331开发实践
Simulink/SCADE/Modelica模型开发
EAST-ADL与AUTOSAR工程实践
FACE体系工程实践
科学研究
形式化方法
MBSE技术
组件模型
工业软件
定制开发
工业软件定制开发
嵌入式系统与结构定制开发
机械控制系统定制开发
电子系统软硬件定制开发
解决方案
航空航天
多学科协同仿真
DO-178C 331/332/333解决方案
ARINC 615A通用数据加载系统
模型驱动控制软件
高完整性ARINC 664-P7协议栈
汽车电子与车辆控制
VCU新能源整车控制系统
新能源BMS系统
新能源电驱系统
特种运输车辆电控系统
农机车辆无人驾驶
工业控制
汽车零部件柔性制造
工业视觉识别与追溯
工业印刷控制
智慧楼宇
能源计算结算与管理
暖通与灯光控制
安防与门禁控制
智慧宿舍整体解决方案
智慧教室整体解决方案
机器人
多轴工业机器人控制系统
AGV机器人与调度平台
服务机器人移动平台
测试自动化
嵌入式式自动化测试平台
MIL模型在环仿真
HIL硬件在环仿真
技术支持
资源中心
技术文章
资源下载
论文专著
关于我们
登录
Email
密码
登录
重置密码
We use cookies to provide you a better user experience.
Cookie Policy
同意