Modern cyber-physical systems often make use of heterogeneous systems-on-chip with
reconfigurable logic to provide adequate computing power and flexible I/O. However …

Verifying the correctness of a digital twin provides a formal guarantee that the digital twin
operates as intended. Digital twin verification is challenging due to the presence of …

Heterogeneous distributed systems, including the Internet of Things (IoT) or distributed cyber-
physical systems (CPS), often suffer a lack of interoperability and security, which hinders the …

The rise of intelligent autonomous systems, especially in robotics and autonomous agents,
has created a critical need for robust communication middleware that can ensure real-time …

The reactor model is a model of computation for concurrent systems that includes semantics
for time to guarantee deterministic execution of events. However, the guarantee of …

Discrete-event (DE) systems are concurrent programs where components communicate via
tagged events, where tags are drawn from a totally ordered set. Reactors are an emerging …

This paper introduces software-defined watchdogs, a programming model for handling faults
that manifest as delayed or missing signals. The programming model is implemented as an …

Distributed systems often require dynamic capabilities to ensure adaptability, efficiency, and
fault-tolerance. In applications where determinism and timing are crucial, a clear and well …

The field of machine learning (ML) has witnessed an exponential increase in computational
requirements for training models, which tend to be increasingly larger deep neural networks …

Timing control while preserving determinism is often a key requirement for ensuring the
safety and correctness of distributed cyber-physical systems (CPS). Discrete-event (DE) …