IEC Checker is an open source static analyzer for IEC 61131-3 programs. It catches bugs and enforces PLCOpen coding guidelines before code reaches the PLC.

Yet, during data reconciliation right before production, complaints erupted from the field that "the billing amount is off by 1 yen." The cause was "rounding." The old system used "rounding that ...