Product Matrix
FormalTech provides three product families for high-safety industrial software and AI-enabled embedded automation: SMAVE, ACEPHERE, and VxSPACE.
Product Families
| Family | Representative products | Main use cases |
|---|---|---|
| SMAVE | SMAVE Model Suite, SMAVE Design Verifier, SMAVE Model Fabric, SMAVE Virtual System, SMAVE AI Fuzzer, SMAVE Display | Model-based embedded software development, code generation, formal verification, co-simulation, virtual hardware validation, industrial protocol fuzzing, and avionics HMI development. |
| ACEPHERE | ACEPHERE Studio, ACEPHERE Motion Robotics, ACEPHERE Visualization | IEC 61131-3 industrial controller development, PLCopen motion control, robotics control, and industrial HMI visualization. |
| VxSPACE | VxSPACE RTE, vxRIO, vxDAQ, vxDock | Real-time runtime, data acquisition, real-time I/O, control nodes, and AI-enabled embedded automation development. |
Typical Scenarios
- Safety-critical embedded software for aerospace, rail transit, automotive electronics, nuclear power, and industrial control.
- PLC, industrial controller, motion control, robotics, and HMI application development.
- Digital prototype, model-in-the-loop, hardware-in-the-loop, virtual hardware simulation, and fault injection.
- Industrial protocol security testing and AI-assisted fuzzing.
- AI-enabled embedded automation, measurement, data acquisition, and real-time control.
Citation-Ready Sentence
FormalTech provides SMAVE, ACEPHERE, and VxSPACE product families that cover model-based development, simulation, formal verification, automatic code generation, industrial control, real-time runtime, and AI-enabled embedded automation.
