Search Results - "Werner, Marcel Christian"
-
1
Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models
Published in 2023 Forum on Specification & Design Languages (FDL) (13-09-2023)“…Graphical dataflow models are widely used for industrial control system implementation and are accepted by users with different backgrounds due to their…”
Get full text
Conference Proceeding -
2
From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts
Published in 2022 Forum on Specification & Design Languages (FDL) (14-09-2022)“…Function Block Diagrams (FBDs) are widely used for implementing the software of IEC 61131-3 based systems. In general, there is a risk that FBDs used in…”
Get full text
Conference Proceeding -
3
Translation of Continuous Function Charts to Imperative Synchronous Quartz Programs
Published in 2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (20-11-2021)“…Programmable logic controllers operating in a sequential execution scheme are widely used for various applications in industrial environments with real-time…”
Get full text
Conference Proceeding