ACEPHERE工业控制系列
包含符合IEC 61131-3国际规范的工业控制软件开发与运行时环境、工业人机交互界面设计工具、目标系统可视化组件、符合PLCopen运动控制规范的运动控制库，并提供面向智能楼宇与轻量级物联网的控制器及智能设备，以及适用于恶劣环境的模块化高性能控制设备。
SMAVE Model Suite
为安全攸关嵌入式系统软件研制提供全生命周期的解决方案，包括基于模型的图形化嵌入式软件开发、高可信嵌入式代码生成器、处理器指令集与板级系统仿真与分析、多领域模型集成与协同仿真、嵌入式C代码分析与形式化验证、基于AI对抗学习的网络测试等功能。该产品获上海市首版次软件专项认证。
融资次数
3
员工数量
小于50人
专利数量
91
经营范围
计算机系统集成专业领域内的技术开发、技术转让、技术咨询、技术服务，计算机软硬件开发及销售，销售：电子产品、电子设备、微电子设备、仪器仪表，计算机软件及辅助设备。【依法须经批准的项目，经相关部门批准后方可开展经营活动】
主营业务
研发与销售高安全工业控制基础软硬件及高端装备研制过程工业软件，核心产品涵盖SMAVE和ACEPHERE两大品牌系列，专注于安全攸关领域和工业控制领域的技术创新与应用。
上海丰蕾信息科技有限公司
有限责任公司(自然人投资或控股)
￥3,010万
2015-09-11
史建琦
021-62118992
www.@formal-tech.com
上海市普陀区云岭西路600弄6号801室