Generowanie programu sterownika (np. Structured Text wg IEC 61131-3) przez LLM w pętli z kompilatorem i weryfikacją formalną.
Generating controller programs (e.g. IEC 61131-3 Structured Text) with an LLM in a loop with a compiler and formal verification.
Pisanie programów dla sterowników maszyn w fabryce z pomocą AI, która tworzy kod z opisu, a narzędzia sprawdzają go przed uruchomieniem.
Writing programs for factory machine controllers with AI that drafts code from a description, while tools check it before it runs.
Program sterownika steruje prawdziwymi siłownikami i taśmociągami, więc błąd w kodzie może zniszczyć maszynę, a specjalistów od tego języka brakuje.
A controller program drives real actuators and conveyors, so a code bug can wreck a machine, and specialists in these languages are scarce.
Jak praktykant, który pisze szkic, a kierownik budowy i inspektor sprawdzają go po kolei i odsyłają z uwagami do poprawki.
Like an apprentice who drafts the plan while the site manager and an inspector check it in turn and send it back with notes.
Inżynier opisuje słowami sekwencję sortowania paczek na taśmie, dostaje gotowy kod sterownika, a kompilator i weryfikator wskazują, co jeszcze poprawić.
An engineer describes a parcel-sorting sequence on a conveyor in words, gets controller code, and the compiler and verifier point out what still needs fixing.