MUMBAI, India, June 26 -- Intellectual Property India has published a patent application (202521128169 A) filed by D. K. T. E. Societys Textile And Engineering Institute; Mr. Vinod Bhimrao Kumbhar; and Dr. Mahesh Shrikant Chavan on December 17, 2025, for Automated System For Generating Safety-Compliant Plc Programs From Formal Mathematical Models.
Inventors include Mr. Vinod Bhimrao Kumbhar; and Dr. Mahesh Shrikant Chavan.
The application for the patent was published on June 19, 2026, under issue no. 25/2026.
Abstract: Automated System for Generating Safety-Compliant PLC Programs from Formal Mathematical Models This invention describes a computer-implemented system for automated generation of safety-compliant, platform-specific programmable logic controller (PLC) programs from formal Petri net models. The system integrates a graphical modeling environment, a formal verification engine for validating properties such as reachability, liveness, boundedness, and deadlock-freedom, and a safety integration module for embedding Safety Integrity Level (SIL1–SIL3) logic in compliance with IEC 61508 standards. A multi-platform code generation engine produces executable control logic in Ladder Logic and Structured Text for PLCs from Siemens, Allen-Bradley, Mitsubishi, and Omron. The system further includes a real-time simulation engine to validate temporal behavior and safety response under timing constraints and fault scenarios. A hardware interface module enables seamless mapping of logical elements to physical I/O configurations. The invention eliminates manual programming errors, ensures formal correctness, and facilitates the deployment of verified, platform-independent industrial control systems for safety-critical and automation-intensive applications.
Disclaimer: Curated by HT Syndication.
