丰蕾科技成立于2015年，是国家可信嵌入式软件工程技术研究中心（国家科技部）重点孵化的高新技术企业。是一家专业从事高安全嵌入式基础软件与相关高端开发工具研发的科技型公司。主要围绕高安全嵌入式与工业软硬件系统的模型化开发技术、可靠性与安全性检测技术进行产学研转化，已经形成多款安全可靠的嵌入式与工业软硬件开发工具产品。
已通过上海市高新技术企业认定、上海市 专精特新 企业认定、ISO9001:2015质量管理体系认证，并具有AAA级信用资质等级。丰蕾科技员工均具有高等学历教育背景，其中90%以上的技术研发、技术支持和销售人员具有硕、博士学历，核心管理成员均有主持参与多项国家级、省部级重大科研项目经验，具有扎实的科研与技术工作经验和基础。
公司未来将重点立足工控领域，特别关注嵌入式与工业软硬件系统的安全性与可靠性技术研究与发展。探索高安全、强实时的软件定义控制系统关键技术与产品化道路，提供全新的数字化工厂与装备控制系统产品理念。
Shanghai formal-tech information technology Co., LTD provides high reliable industrial software an d hardware, including the industrial controller programming software, real-time embedded system runtime, software modeling tools which support formal verification, I/O, field-bus devices an d edge controllers. Formal-Tech was established by the core members of National Engineering & Technology Research Center of Trustworthy embedded Software （CHINA） in 2015.
Formal-Tech holds the registered brand DevNext an d ACEphere which represent the product series of high reliable software development platform an d SW/HW of modern industrial control system. DevNEXT modeler, model fabric, virtual system an d binary code analyzer are products for helping developers to model the embedded software, simulate the heterogeneous models, virtualize the target embedded system an d analyze binary code of embedded systems. ACEphere products include Studio, Control Lite, Control Gear an d Control Ultimate. i.e., ACEphere Studio is the programming environment of IEC 61131-3 standard based control system. Lite, Gear an d Ultimate series set the building, mobile an d high-performance automation as the target markets.
