Updates

Program

Tuesday, September 9

Session Chair Time Session Title
8:45-9:00 Welcome+Registration
Michele Lora 9:00-10:30

Multi-paradigm modelling

Hans Vangheluwe, University of Antwerp, Belgium

10:30-11:00 Coffee Break
Michele Lora 11:00-12:30

SysML v2 and kerML (hands on)

Christoph Grimm, RPTU University of Kaiserslautern-Landau

12:30-14:00 Lunch Break
Michele Lora 14:00-15:30

Virtual Prototyping and Interoperability Standards in Multidisciplinary Design

Sara Vinco, Polytechnic of Turin, Italy

15:30-16:00 Coffee Break
Michele Lora 16:00-17:30

Equation-based Modelling of Physical Systems using Modelica

Hans Vangheluwe, University of Antwerp, Belgium

18:30-21:00 Dinner

Wednesday, September 10

Session Time
Klaus Schneider 8:45-9:00 Opening Remarks
Keynote 1
Session Chair
⤷ Klaus Schneider 		9:00-10:30

Consistency and Timing in Distributed Systems

Edward A. Lee, University of California at Berkeley, USA

10:30-11:00 Coffee Break
Model-Based Approaches
Session Chair
⤷ Rainer Doemer 		11:00-11:30

Leveraging Model-Driven Architecture for Efficient Custom Instruction Utilization in Embedded Systems in C and Rust

Raphael Kunz, Mayuri Bhadra, Stephanie Ecker, Wolfgang Ecker and Lijun Chen

11:30-11:50

ProtoLens: Dynamic Transaction Visualization in Virtual Prototypes

Manfred Schlägl, Jonas Reichhardt and Daniel Grosse

11:50-12:20

Automating Transformation Strategy via Attributed Graphs for Process Network Parallelization

Fahimeh Bahrami and Ingo Sander

12:20-14:00 Lunch Break
Testing and Performance
Session Chair
⤷ Daniel Große 		14:00-14:30

LLM-assisted Metamorphic Testing of Embedded Graphics Libraries

Christoph Hazott and Daniel Grosse

14:30-14:40

Towards Efficient Privacy-Preserving Federated Learning on Edge with Reconfigurable FPGA

Byeonggil Jun, Megan Kuo, Aditya A. Krishnan and Hokeun Kim

14:40-15:10

Performance Modeling and Analysis of Exposed Datapath Architectures

Klaus Schneider, Demyana Selim and Nadine Kercher

15:10-15:40 Coffee Break
Verification and Formal Methods
Session Chair
⤷ Kamalika Datta 		15:40-16:10

Reachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams

Hagen Heermann, Pascal Grabowsky, Carna Zivkovic and Christoph Grimm

16:10-16:20

Designing Imperfect Cyber-Physical Systems

Samarjit Chakraborty and Klaus Schneider

16:20-16:50

ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

Lennart Weingarten, Kamalika Datta and Rolf Drechsler

16:50-17:20

BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

Rune Krauss, Luca Müller, Marius Marach and Rolf Drechsler

PhD Forum
Session Chair
⤷ Michele Lora 		17:20-18:30
18:30-21:00 Dinner

Thursday, September 11

Session Time
Keynote 2
Session Chair
⤷ Hans Vangheluwe 		9:00-10:30

How to Systematically Design Imperfect Systems?

Samarjit Chakraborty, UNC Chapel Hill

10:30-11:00 Coffee Break
Safety and Security
Session Chair
⤷ Wolfgang Müeller 		11:00-11:10

Leveraging Piecewise Composition to Infer Environment Constraints for Hardware Designs

Kaki Ryan and Cynthia Sturton

11:10-11:30

Design and implementation of a safety-critical domain specific language for on-board train control

Alexandre Betis, Clément Dransart, Christophe Lechevalier, Insa Fuhrmann, Johannes Meier, Patrick Viry and Jérôme Magouet

11:30-12:00

Leveraging the Benefits of Information Flow Tracking for Detecting Hardware Design Flaws

Srinidhi Rathnakar Ganiga, Bernhard J Berger and Goerschwin Fey

12:00-12:20

Digital Twin and Digital Thread for System Security and Performance applied to an Electrical Vehicle Charging Use Case (Special Session)

Hagen Heermann, Daniela Genius, Johannes Koch, Ludovic Apvrille, Klaus Schneider, Ahlem Mifdaoui and Christoph Grimm

12:20-12:30

Tool Support for Precise Assessment of Software Security/Performance Tradeoffs (Special Session)

Malou Rayon-Richter and Daniela Genius

12:30-14:00 Lunch Break
Wild and Crazy Ideas
Session Chair
⤷ Hokeun Kim 		14:00-14:15

Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties

Bineet Ghosh, Parasara Sridhar Duggirala and Samarjit Chakraborty

14:15-14:30

Flexpoch: Feature-rich 64-bit DateTime Encoding

Emanuel Regnath, Andreas Finkenzeller and Sebastian Steinhorst

14:30-18:00 Boat Tour on the Rhine River
18:00-21:00 Dinner

Friday, September 12

Session Time
Keynote 3
Session Chair
⤷ Hans Vangheluwe 		9:00-10:30

Semantics as Infrastructure: Reconnecting Behavioral Modeling and Formal Analysis

Ciprian Teodorov (ENSTA Institut Polytechnique de Paris)

10:30-11:00 Coffee Break
Design and Simulation
Session Chair
⤷ Christoph Grimm 		11:00-11:30

System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

Deepak Ravibabu, Sallar Ahmadi-Pour, Muhammad Hassan, Abhoy Kole, Chandan Kumar Jha and Rolf Drechsler

11:30-11:40

Open-Source Timing-Monitor Co-Processor in RISC-V Safety Infrastructure

Sven Mehlhop, Jörg Walter and Frank Oppenheimer

11:40-12:10

Automatic integration of SystemC in the FMI standard for Software-defined Vehicle design

Andrei Mihai Albu, Giovanni Pollo, Alessio Burrello, Daniele Jahier Pagliari, Cristian Tesconi, Loris Panaro, Dario Soldi, Fabio Autieri and Sara Vinco

12:10-12:40

A Quantitative Guide to Navigate Speed/Accuracy Tradeoffs in System Level Design of RISC-V Processor Grids

Lars Luchterhandt, Vivek Govindasamy, Yutong Wang, Christoph Scheytt, Wolfgang Mueller and Rainer Doemer

12:40-14:00 Closing and Lunch

Keynotes

Edward A. Lee
University of California at Berkeley, USA

1st Keynote: Consistency and Timing in Distributed Systems

Abstract

A key challenge in distributed systems is forming a consistent view of the system state across distributed components. Fundamental limits show that if timing matters, then consistency requires coordination. Moreover, as network latencies increase, the time it takes to form a consistent view increases. Most frameworks for coordinating concurrent and distributed software components provide little or no help towards ensuring consistency or managing the timing costs. Publish-and-subscribe frameworks (such as ROS 2 and MQTT), actor frameworks (such as in Erlang, Akka, Orleans, and CAF), and remote procedure call frameworks (such gRPC and Apache Thrift) are particularly weak in this regard. In this talk, I explore how a basic and potentially ubiquitous coordination mechanism, clock synchronization, can provide a foundation for distributed systems with consistency and timing guarantees, up to the fundamental limits. Clock synchronization with bounded error provides a foundation for time-stamping messages and providing a useful global semantic ordering that can guarantee consistency. Moreover, clock synchronization enables (imperfect) measurement of network latencies and detection (in bounded time) of component failures, thereby enabling designs that guarantee consistency up to network latency limits and provide fault handlers for failures. I will show how the Lingua Franca coordination language with its relatively new decentralized coordinator can realize sophisticated distributed computing patterns that enable designers to manage the fundamental tradeoffs.

Biography

Edward A. Lee has been working on embedded software systems for more than 45 years. After studying and working at Yale, MIT, and Bell Labs, he landed at Berkeley, where he is now Professor of the Graduate School in EECS. He is co-founder of Xronos Inc. and BDTI, Inc. He leads the open-source software projects Lingua Franca and Ptolemy and is an author of books on embedded systems, signals and systems, digital communication, and philosophical and social implications of technology. His current research is focused on software for distributed cyber-physical systems and on what we can learn about humans from advances in AI.

More information may be found at https://eecs.berkeley.edu/~eal.

Samarjit Chakraborty
UNC Chapel Hill, USA

2nd Keynote: How to Systematically Design Imperfect Systems?

Abstract

Modern embedded, and particularly autonomous systems, are an ensemble of multiple components implementing machine learning, control, scheduling, and security. Current design flows aim for each of these components to work perfectly, and system design consists of composing these components together. As a result, research in machine learning aims towards near-perfect classification or estimation, scheduling techniques aim to meet all deadlines, and security algorithms aim towards fully secure systems. While such separation of concerns has served us well till now, as systems become more complex, this goal towards achieving perfection is becoming unreasonable. In this talk we will argue that we can design safe autonomous systems, without requiring its components to be perfect, as long as (i) there is a specification of system safety and approaches to component design aim to satisfy such a specification, and (ii) the imperfections of one component are balanced by suitable actions from other components. We will discuss the challenges associated with such an approach, including developing formal languages to specify such safety properties, and give examples of how such an approach may be realized.

Biography

Samarjit Chakraborty is a Kenan Distinguished Professor of Computer Science at UNC Chapel Hill. He is also an adjunct professor of Mathematics at UNC. Prior to coming here, he was a professor of Electrical Engineering at the Technical University of Munich in Germany, where he held the Chair of Real-Time Computer Systems for 11 years. Before that he was an assistant professor of Computer Science at the National University of Singapore. He obtained his PhD from ETH Zurich. His research interests cover all aspects of designing hardware and software for embedded computers, with an emphasis on cyber-physical systems design, sustainable computing, and sensor network-based information processing. He serves/d on the editorial boards of several journals, including the ACM Transactions on Cyber-Physical Systems and the ACM Journal on Autonomous Transportation Systems. He and his students have won several best paper awards for their work, including the 2019 ACM Transactions on Design Automation of Electronic Systems Best Paper Award for their work on automotive security, and the 2021 ACM Transactions on Embedded Computing Systems Best Paper Award for their work on energy modeling of the Bluetooth Low Energy protocol. He is a Fellow of the IEEE, was offered a Humboldt Professorship from Germany in 2023, and was awarded the 2025 Dieter Schwarz Courageous Research Grant, with which he will become a Fellow of the TU Munich's Institute of Advanced Study for the next 3 years. He is currently the elected Chair of SIGBED, which is ACM's Special Interest Group on Embedded Systems.

More information may be found at https://cs.unc.edu/person/samarjit-chakraborty.

Ciprian Teodorov
ENSTA, Institut Polytechnique de Paris, France

3rd Keynote: Semantics as Infrastructure: Reconnecting Behavioral Modeling and Formal Analysis

Abstract

Modern system design relies on modeling languages like UML, which are widely used in industry but often disconnected from the formal tools needed for rigorous behavioral analysis. This disconnect limits the practical integration of formal methods into everyday engineering workflows.
A common response in the literature is to use model transformations to map domain-specific models to verification models. However, this syntactic approach leads to semantic duplication and the need for complex equivalence proofs, which are difficult to establish and maintain.
In this talk, I will present an alternative developed over the past decade: a language-agnostic semantic interface that directly connects the dynamic semantics of domain-specific languages to a broad range of analysis tools. This semantic-level bridge supports interactive execution, debugging, verification, runtime monitoring, and testing, which enables precise and efficient system analysis without translation overhead.

Biography

Ciprian Teodorov is a Full Professor at ENSTA | Institut Polytechnique de Paris and a senior researcher in the P4S team of the Lab-STICC Laboratory. His research spans executable models, formal verification, model-driven engineering (MDE), and model-based systems engineering (MBSE), focusing on system-level behavioral analysis and toolchain integration.
Prof. Teodorov leads the OBP2 Semantic Diagnosis & Formal Verification team, developing unified execution and verification frameworks that bridge domain-specific modeling with formal analysis. He introduced the G∀min∃ methodology advocating for semantic-level verification over traditional model transformation approaches.
Prof. Teodorov is the author of over 60 publications and has been an active member of INCOSE since 2016. Before entering academia, he worked at Dolphin Integration as an EDA/CAD Software Engineer, contributing to the design of the SMASH mixed-signal simulator.
He earned his Ph.D. in Computer Science from the University of Western Brittany, where he proposed novel physical-design frameworks targeting agile, model-driven co-exploration of architecture and CAD toolchains at the nanoscale.

More information may be found at https://teodorov.github.io/.

FDL (loading) is in (loading), (loading).