PLCreX - Open-Source Project for Simplification, Transformation, Analysis, and Validation of Programmable Logic Controllers

Abstract:
PLCREX is an open source programmable logic controller project developed as a modular command line application in PYTHON. It is designed to simplify, analyze, validate and, in particular, transform existing IEC 61131-3 program organization units into synchronous models for reuse in model-based design of reactive systems and formal verification. This abstract introduces the high-level architecture, features, and design flow.