Home (RTSOPS 2026) | Program | Call for Abstracts | Organizers | Submission Instructions |
RTSOPS 2026 will take place on July 7th, 2026 in Lund, Sweden, in conjunction with ECRTS 2026.
The RTSOPS 2026 program is currently being finalized.
Invited Talks
Closing the Control Abstraction Gap: From Linear Control Models to Fine-Grained Verification of Control Software
Invited Speaker: Martina Maggio
Affiliation: Saarland University
Abstract:
Control systems rely on multiple levels of physical abstraction, ranging from detailed nonlinear descriptions with many forces, to reduced nonlinear models, to linearized models, and finally to simplified linear models used for synthesis. In practice, designers often carry out control synthesis on these simpler linear abstractions and then validate the resulting controllers against richer plant models. The digital side of the system, however, rarely follows the same pattern. Physics models often gain or lose detail across abstraction levels, whereas control software often remains captured only through coarse timing assumptions or high-level failure models. This asymmetry creates a critical gap between the controller, the software that implements it, and the system that ultimately requires verification.
One of the next open problems in cyber-physical systems is to extend multi-granularity modeling to the software and timing behavior of the controller itself. Timing problems emerge at the level of computation, communication, and especially at their interaction, and they can affect closed-loop behavior even when the physical controller appears nominally robust. The key challenge is to move from verifying a linear controller against a simplified fault model to verifying implemented control software across several levels of fidelity, including delays, missed updates, unfinished computations, synchronization errors, and other code-level timing effects. This shift would support not only more realistic verification, but also a principled framework that relates plant-model granularity to software-model granularity, so that control design and certification rest on abstractions that remain both analyzable and faithful to implementation.
What Is the Right Task and Timing Model for Autonomous Driving Systems?
Invited Speaker: Takuya Azumi and Atsushi Yano
Affiliation: Saitama University/TIER IV
Abstract: TBD
Reshaping Real-Time Workload Geometry to the Dimensions of Modern Hardware
Invited Speaker: Bryan Ward
Affiliation: Vanderbilt University
Abstract: TBD
Challenges in the design of cause-effect chains: How to tune the end-to-end latency?
Invited Speaker: Matthias Becker
Affiliation: KTH
Worst-case memory latency and distributed DRAM banks
Invited Speaker: Raffaele Zippo
Affiliation: University of Pisa
Abstract:
A critical component in worst-case timing of computing systems is the memory latency. Modern COTS systems employ many techniques to improve the memory performance in the average case: there are multiple layers of caches, physically distinct DRAM banks, with address hashing algorithms designed to spread the request among them for parallelism gains. These mechanisms are hard to capture in worst-case analysis, and a trivial (but safe) one can be overly pessimistic. In this talk we discuss the problem via the Network Calculus formalism, and present improvements to this formalism that will allow to capture some of these effects to reduce this pessimism gap.
Schedules, Lag, Fraenkel, and Tribonacci, all at Once
Invited Speaker: Enrico Bini
Affiliation: University of Turin
TBD
Invited Speaker: Silviu S. Craciunas
Affiliation: TTTech Auto GmbH