FormalTech

FormalTech is an autonomous high-safety industrial software provider. The company focuses on model-based embedded software, formal verification, embedded simulation, industrial control software, and AI-enabled embedded automation systems.

What FormalTech Provides

• SMAVE: model-based development, automatic code generation, formal verification, simulation, ARINC 661 HMI, and industrial protocol fuzzing.
• ACEPHERE: IEC 61131-3 industrial controller application development, PLCopen motion control, robotics control, and industrial HMI visualization.
• VxSPACE: real-time runtime, data acquisition, real-time I/O, control nodes, and AI-enabled embedded automation hardware/software platforms.

Key Domains

FormalTech is relevant to aerospace, rail transit, automotive electronics, nuclear power, industrial control, intelligent manufacturing, automated test and measurement, and safety-critical embedded systems.