OSPERT 2025 is a satellite workshop of the 37th Euromicro Conference on Real-Time Systems (ECRTS 2025). Since 2005, OSPERT is a well-known ECRTS workshop and forum for researchers and engineers working on (and with) Real-Time Operating Systems (RTOSes) to present advances and trends in RTOS technology, to promote new and existing initiatives and projects, and to identify and discuss the challenges that lie ahead. The workshop, now in its 19^th year, provides the RTOS community with an opportunity to meet, exchange ideas, network, and discuss future directions.

Program

OSPERT will be held at the U – Residentie, VUB Campus.

8:00 AM – 9:00 AM: Registration
9:00 AM – 10:00 AM: Opening Remarks and Keynote
10:00 AM – 10:30 AM: Coffee Break
10:30 AM – 12:00 PM: Session 1: Technical Papers
- Denis Hoornaert, Giulio Corradi, Renato Mancuso, Marco Caccamo. “UltraScale+ SpinalHDL Wrapper: Streamlining Ideas to Bitstream on UltraScale+ platforms.”
- Marion Sudvarg, Ao Li, Sanjoy Baruah, Chris Gill, Ning Zhang. “Tintin: PMU Scheduling to Minimize Uncertainty.”
- Yoshifumi Shu, Yutaka Matsubara, Yixiao Li, Hiroaki Takada. “Towards a Linux-based Unikernel for Resource-Constrained Embedded Systems.”
12:00 PM – 1:30 PM: Lunch Break
1:30 PM – 2:30 PM: Session 2: Case Studies
- Attilio Discepoli, Mathias Louis Huygen, Antonio Paolillo. “Compute Kernels as Moldable Tasks: Towards Real-Time Gang Scheduling in GPUs.”
- Yuwen Shen, Jorrit Vander Mynsbrugge, Nima Roshandel, Robin Bouchez, Hamed FirouziPouyaei, Constantin Scholz, Hoang-Long Cao, Bram Vanderborght, Wouter Joosen, Antonio Paolillo. “SentryRT-1: A Case Study in Evaluating Real-Time Linux for Safety-Critical Robotic Perception.”
2:30 PM – 3:30 PM: Session 3: Technical Papers
- Andreas Kässens, Vitali Fendel, Daniel Lohmann. “IRx: RTOS-Aware Abstract Interpretation using an LLVM-based Interpreter.”
- Viktor Reusch. “Bounded Resource Reclamation.”
3:30 PM – 4:00 PM: Coffee Break
4:00 PM – 5:20 PM: Session 4: Demos, Tutorials, and Calls
- Mattia Nicolella, Denis Hoornaert, Renato Mancuso. “RT-Bench: A Long Overdue Update.”
- Daniele Ottaviano. “Real-Time Virtualization on Heterogeneous MPSoCs: A Hands-On Tutorial with Jailhouse and Omnivisor.”
- Marion Sudvarg, Ye Htet, Roger Chamberlain, Jeremy Buhler, James Buckley. “Call for Collaboration: Contributing to Multi-Messenger Astrophysics.”
5:20 PM – 5:30 PM: Closing Remarks and Best Paper Award
5:30 PM – 7:00 PM: First-Timer Reception

Keynote

This year, OSPERT will begin with a keynote from Rich West.

Rich West is a Professor in the Computer Science Department at Boston University, where he works with his research team on real-time and embedded operating systems. His work addresses issues concerning safety, security, predictability and resource management. He has an MS and PhD in Computer Science from the Georgia Institute of Technology, USA, and an MEng in Microelectronics and Software Engineering from the University of Newcastle-upon-Tyne, UK. He also works with Drako Motors on the development of DriveOS for next generation vehicles. DriveOS consolidates vehicle functions on a centralized computing platform, by integrating real-time and safety critical services with non-critical software using partitioning hypervisor technology.

Challenges and Experiences Building a Software-Defined Vehicle Management System

No longer seen primarily as electromechanical machines, modern automobiles are becoming “computers on wheels”. At the same time, automotive systems are increasingly embracing software technologies to manage vehicle functionality. As we move away from a multiplicity of electronic control units to manage chassis, body, powertrain, infotainment, connected and autonomous vehicles, we need to develop new management systems.

This talk builds upon earlier work on DriveOS, a management system developed with Drako Motors, for use in their electric vehicles. I describe some of the challenges and experiences building DriveOS, including several key areas of research for future development of such systems.

Scope and Topics of Interest

Submit your contribution!

OSPERT is open to a broad spectrum of topics related to providing a reliable, predictable, and efficient operating environment for real-time and embedded applications.

Embedded systems are undergoing a profound transformation with the goal of delivering higher performance for next-generation real-time systems. Following this trend, research on innovative RTOS architectures and advanced resource management techniques continues to be a hot topic. Developers of embedded RTOSs are faced with many challenges arising from two opposite needs: on the one hand, there is a need for extreme resource usage optimization (processor cycles, cache and memory footprint, energy, network bandwidth, etc.), and on the other hand, there are also increasing demands in terms of scalability, flexibility, isolation, adaptivity, reconfigurability, predictability, serviceability, and certifiability, to name a few.

Further, while special-purpose RTOSs continue to be used for many embedded applications, real-time services are also increasingly introduced and used in general-purpose operating systems and cloud environments, where “tail latency” and QoS are a concern. The resulting market pressure continues to blur the line between the two formerly distinct classes of operating systems. Notable examples are the various flavors of real-time Linux that support time-sensitive applications, the emergence of commercial and open-source real-time hypervisors, as well as the growth in features and scope of embedded OS and middleware specifications such as AUTOSAR.

OSPERT is dedicated to the advances in RTOS technology required to address these trends. As such, areas of interest include, but are not limited to, the following topics:

Case studies and experience reports
Consolidation of real-time and best-effort work on embedded platforms
Certification and verification of RTOSs and middleware
Coordinated management of multiple resources
Dynamic reconfiguration and upgrading
Empirical comparisons and evaluations of RTOSs
Flexible processor, memory, and I/O scheduling
Interaction with reconfigurable hardware
Operating system standards (e.g., AUTOSAR, ARINC, POSIX, etc.)
Power and energy management
Quality of Service guarantees
Real-time Linux variants
Real-time virtualization and hypervisors
RTOSs for manycore platforms
Scalability, from very small-scale embedded systems to full-fledged RTOSs
Security and fault tolerance for embedded real-time systems
Support for multiprocessor, accelerator-/FPGA-enabled, architectures
Support for component-based development

Call for Contributions

OSPERT is a forum for researchers and engineers working on (and with) Real-Time Operating Systems (RTOSs) to present recent advances in RTOS technology, promote new and existing initiatives and projects, and identify and discuss the challenges that lie ahead. The workshop, established in 2005, provides the RTOS community with an opportunity to meet, exchange ideas, network, and discuss future directions.

OSPERT’25 strives for an interesting, interactive, inclusive, and diverse program. To this end, contributions are solicited in a number of different formats. All proposals and papers will be reviewed by the program committee. OSPERT is open to the following types of contributions with corresponding submission formats. The following types of submissions are sought:

technical papers (short papers and full workshop papers);
proposals for technical presentations (including talks on open problems, demos & tutorials, calls to action, etc.);
proposals for experiment reports (including replication studies, preliminary experiments, and experience reports).