Program

OPERA will be held during the Hot Topics Day (HTD) of RTSS 2025. More info on venue and accommodation can be found here.

Accepted Papers and Schedule

8:45 – 9:15: Registration. You are welcome at the registration desk.
9:00 – 9:15: Workshop Setup
- Session 1 speakers and discussants should check in with the workshop chairs for setup.
9:15 – 10:30: Welcome and Session 1: “Robustness and Verification.”
- 9:15 – 9:30
  “Welcome to OPERA 2025.”
  Speakers: Sanjoy Baruah and Marion Sudvarg
- 9:30 – 10:00
  Invited Talk: “Mastering Uncertainty: Optimizing Real-Time Systems for Robustness and Resilience.”
  Speaker: Alessandro Biondi.
  Discussant: TBD.
- 10:00 – 10:30
  Paper: “Verification-Driven Scenario Optimization Across a Co-Simulation Continuum for AV Certification.”
  Authors: Kurt Wilson, Danjue Chen, Zhishan Guo, George List and Frank Mueller.
  Speaker: Frank Mueller.
  Discussant: TBD.
10:30 – 11:30: Extended Coffee Break.
11:30 – 12:30: Session 2: “Application-Focused Optimization.”
- 11:30 – 12:00
  Invited Talk: “Timing Analysis and Optimization of Quantum Computing Systems.”
  Speaker: Albert Cheng.
  Discussant: TBD.
- 12:00 – 12:30
  Paper: “MIRAGE: MILP-Based Block Grouping for Real-Time Signal Processing.”
  Authors: Tiancheng He and Bryan C. Ward.
  Speaker: Tiancheng (Simmon) He
  Discussant: Mario Günzel.
12:30 – 14:00: Lunch Break.
14:00 – 15:30: Session 3: “Scheduling and Resource Management.”
- 14:00 – 14:30
  Invited Talk: “Deep Reinforcement Learning for Real-Time Resource Management.”
  Speaker: Marco Caccamo.
  Discussant: Albert Cheng.
- 14:30 – 15:00
  Paper: “Priority Point Exploration Using MBO.”
  Authors: Minh Duy Truong, Junjie Shi, Jian-Jia Chen, Jörg Rahnenführer and Mario Günzel.
  Speaker: Minh Duy Truong.
  Discussant: Bryan Ward.
- 15:00 – 15:30
  Invited Talk: “Optimization over Task Periods with Exact Schedulability Constraints.”
  Speaker: Enrico Bini.
  Discussant: Marion Sudvarg.
15:30 – 16:00: Coffee Break.
16:00 – 17:00: Open Discussion.
17:00 – 17:15: Closing Remarks.

Event Format

OPERA aims at collecting relevant past results or preliminary ideas on the topics of interest, creating a constructive environment for discussion, scientific advancement, and sharing ideas. To achieve such a goal the program is divided in presentations by contributors (of around 20 minutes), and open discussion (of around 10 minutes) within the audience. To stimulate the discussion, each accepted and invited presentation is assigned a discussant.

The discussant:

has normally worked in the area of the presented work or has interest in doing so;
has read the accepted paper and possibly the necessary related works;
is expected to stimulate the discussion after the presentation;
is appointed by the workshop organizer and may be a TPC member.

To stay on schedule, we ask that each talk and discussion slot to not exceed 30 minutes. Since we expect several open and interesting problems to be raised during these sessions, we open the final hour of the workshop as an opportunity to continue earlier discussions and workshop new ideas.

At the conclusion of the workshop a survey will be organized among the participants to collect feedback.