Marcel Christian Werner

"Formalization of Programmable Logic Controllers Using Synchronous Languages"

Programmable logic controllers (PLCs) are used for numerous real-time control tasks and are often based on standards like IEC 61131 and IEC 61499. A programming language for PLCs that is widely used and informally described in the standards, is based on a data flow notation and can therefore be easily understood by users from different domains. On the other hand, there are standardized modeling strategies and model-based design approaches using synchronous languages. Our research focuses on formalizing existing PLCs using synchronous languages to reuse existing PLC programs in a model-based design.

Termin als Datei downloaden und in den Kalender importieren.