Systematic Correct-by-Construction Design for Industrial Real-Time Communication

Recent Publications 

• ETFA '24 - „Analyzing Fault Behaviors in Multi-Domain Systems with Contract-Based Monitors” Friederike Bruns, Francesco Tosoni, Sven Mehlhop, Andreas Rauh, Franco Fummi, Frank Oppenheimer
• ICIT '24 - "Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems” Friederike Bruns, Sven Mehlhop, Bianca Wiesmayr, Alois Zoitl
• CASE '23 - "Supporting Model-Based Network Specification for Time-Critical Distributed Control Systems in IEC 61499” Friederike Bruns, Bianca Wiesmayr, Alois Zoitl
• INDIN '23 - "Model-Based Automation of TSN Configuration for Industrial Distributed Systems” Brendan J. Mackenzie, Friederike Bruns, Wolfgang Nebel
• SEUH '22 - "Teaching Cyber-Physical Systems in Student Project Groups: How Do Alumni Assess the Experience in Retrospective?” Henning Schlender, Ralf Stemmer, Kim Grüttner, Günter Ehmen, Bernd Westphal, Friederike Bruns
• ETFA '22 – "A Detailed Analysis of Timing Effects in an IEC 61499 Ethernet/TSN Communication Scenario” Friederike Bruns, Jörg Walter, Wolfgang Nebel
• ACM Transactions on Embedded Computing Systems '20 - "Time Measurement and Control Blocks for Bare-Metal C++ Applications" Friederike Bruns, Irune Yarza, Philipp Ittershagen and Kim Grüttner
• WFCS '20 - "Work-in-Progress: Modeling of real-time communication for industrial distributed automation systems" Friederike Bruns, Wolfgang Nebel, Jörg Walter and Kim Grüttner
• FDL '19 - "Time Measurement and Control Blocks for Bare-Metal C++ Applications" Friederike Bruns and Philipp Ittershagen and Kim Grüttner