Before deploying to a physical machine, users can simulate G-code execution and PLC logic within the IDE. This reduces the risk of crashes or tool damage.
| Feature | Syntec IDE (1998–2003) | Modern equivalent | |---------|------------------------|-------------------| | Live verification | Model checking on every change | GitHub Copilot + static analysis (partial) | | Bidirectional sync | Diagram ↔ Text (no loss) | Some UML tools, but rarely full | | Logical time debugger | Step by tick, replay | Reverse debugging (rr, UndoDB) but not semantic time | | Contract-based design | Assume/guarantee per module | Dafny, Ada SPARK, Rust contracts | | Parallel reactive simulator | All concurrent blocks advance simultaneously | Simulink (but with continuous time, not logical ticks) | syntec ide
Syntec offers multiple controller lines (e.g., SYNTEC 21x/23x/31x series, 6-axis and more modern EtherCAT-capable controllers), and feature sets in the IDE may vary by controller model and firmware version. Users should verify compatibility between the IDE version and their controller’s firmware. Before deploying to a physical machine, users can