丰蕾信息

Shanghai Formal-Tech Information Technology Co., Ltd. specializes in providing high-reliable industrial software and hardware, including industrial controller programming software, real-time embedded system runtime environments, and software modeling tools that support formal verification, I/O devices, fieldbus devices, and edge controllers. Founded in 2015 by the core members of the National Engineering & Technology Research Center of Trustworthy Embedded Software (China), Formal-Tech holds the registered brands "DevNext" and "ACEphere." These brands represent product lines for high-reliable software development platforms and modern industrial control systems.

Products under the "DevNext" brand include DevNext Modeler, Model Fabric, Virtual System, and Binary Code Analyzer, designed to assist developers in modeling embedded software, simulating heterogeneous models, virtualizing target embedded systems, and analyzing binary code of embedded systems. The "ACEphere" product line includes Studio, Control Lite, Control Gear, and Control Ultimate. Specifically, ACEphere Studio is an IEC 61131-3 standard-based control system programming environment, while the Lite, Gear, and Ultimate series target building automation, mobile automation, and high-performance automation markets respectively.