Marcel Christian Werner

(AG Embedded Systems)
hosted by PhD Program in CS @ TU KL

"Formalization of Programmable Logic Controllers Using Synchronous Languages"

( MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

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.

Bio:


Time: Monday, 13.06.2022, 16:00
Place: 48-680
Video:

Termin als iCAL Datei downloaden und in den Kalender importieren.