Marcel Christian Werner(AG Embedded Systems)
hosted by PhD Program in CS @ TU KL
"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.
|Time:||Monday, 13.06.2022, 16:00|