13th Workshop on Operating Systems Platforms for Embedded Real-Time Applications
The OSPERT 2017 proceedings are available here.
9:05 Keynote: Dr. Moritz Neukirchner
- The Future of Automotive Software Infrastructure – Building adaptive dependable systems
10:00 Coffee Break
10:30 The thing called RTOS
- Eunji Pak, Donghyouk Lim, Young-Mok Ha and Taeho Kim
Shared Resource Partitioning in an RTOS
- Ralf Ramsauer, Jan Kiszka, Daniel Lohmann and Wolfgang Mauerer
Look Mum, no VM Exits! (Almost) (slides)
- Benjamin Engel and Claude-Joachim Hamann
What are you Waiting for -- Removing Blocking Time from High Priority Jobs through Hardware Transactional Memory
- Sebastian Eckl, Daniel Krefft and Uwe Baumgarten
Migration of Components and Processes as means for dynamic Reconfiguration in Distributed Embedded Real-Time Operating Systems (slides)
13:20 Memory and the other thing
- Miltos Grammatikakis, George Tsamis, Polydoros Petrakis, Angelos Mouzakitis and Marcello Coppola
Network and Memory Bandwidth Regulation in a Soft Real-Time Healthcare Application (slides)
- Alfons Crespo, Angel Soriano, Patricia Balbastre, Javier Coronel, Daniel Gracia and Philippe Bonnot
Hypervisor Feedback Control of Mixed Critical Systems: the XtratuM Approach
- Renata Martins Gomes, Marcel Baunach, Maja Malenko, Leandro Batista Ribeiro and Fabian Mauroner
A Co-Designed RTOS and MCU Concept for Dynamically Composed Embedded Systems (slides)
- Nathan Otterness, Ming Yang, Tanya Amert, James Anderson and F. Donelson Smith
Inferring the Scheduling Policies of an Embedded CUDA GPU
15:00 Coffee Break
15:30 Keynote: Prof. Sergei Montenegro
- How to program space vehicles? Make it simple!
16:45 Oh no, I got synch'ed
- Junjie Shi, Kuan-Hsun Chen, Shuai Zhao, Wen-Hung Huang, Jian-Jia Chen and Andy Wellings
Implementation and Evaluation of Multiprocessor Resource Synchronization Protocol (MrsP) on LITMUSRT (slides)
- Adam Lackorzynski, Carsten Weinhold and Hermann Härtig Predictable Low-Latency Interrupt Response with General-Purpose Systems
17:45 Wrapup (slides)
EXTENDED SUBMISSION DEADLINE:
APRIL 14, 2017 (23:59 anywhere on earth)
Ever thought about car racing on the moon? Join OSPERT 2017 and take a look at our two Keynotes by Dr. Neukirchner and Prof. Montenegro to learn how to build adaptive dependable automotive systems and how to bring them into space.
Notification of acceptance:
May 8, 2017 (23:59 aoe)
Final versions: (extended)
May 19, 2017
June 27, 2017
June 28 - 30, 2017
CO-LOCATED WITH ECRTS
OSPERT 2017 is a satellite workshop of the 29th Euromicro Conference on Real-Time Systems (ECRTS 2017), the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.
To register for OSPERT 2017, please use the ECRTS 2017 registration website and select OSPERT as the satellite workshop to attend. It is possible to register only for the workshop (and not pay for the full conference).
OSPERT’17 is open to all topics related to providing reliable operating environments for real-time and embedded applications.
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, energy, network bandwidth, etc.). On the other hand RTOSs have to meet increasing demands in terms of scalability, flexibility, isolation, adaptivity, reconfigurability, predictability, serviceability, and certifiability, to name only a few. Moreover, while special-purpose RTOSs continue to be used for many embedded applications, general-purpose operating systems introduce an increasing amount of services that are real-time and market pressures continue to blur the lines 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 the widening of the scope of embedded OS and middleware specifications such as AUTOSAR.
OSPERT’17 is dedicated to the advances in RTOS technology required to address these trends. Our areas of interest include, but are not limited to, the following topics:
- Case studies and experience reports
- 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 (embedded) multiprocessor architectures
- Support for component-based development
- Reports about negative results, unplanned outcomes and unforeseen challenges
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, to promote new and existing initiatives and projects, and to identify and discuss the challenges that lie ahead. The workshop, now in its eleventh year, provides the RTOS community with an opportunity to meet, to exchange ideas, to network, and to discuss future directions.
OSPERT’17 strives for an inclusive and diverse program and solicits a range of varied contributions. To this end, the following types of submissions are sought:
proposals for technical presentations (including talks on open problems, demos & tutorials, calls to action, etc.);
proposals for reports on empirical experiments (including replication studies, preliminary experiments, and experience reports); and
technical papers (including short work-in-progress papers and full workshop papers).
In addition to full (6-page) papers, OSPERT supports a variety of more lightweight submission formats, including 3-page short papers and extended abstracts. See the detailed description of the different types of contributions and the submission instructions for details.
University of Luxembourg
University of Kansas
Reinder J. Bril
Eindhoven University of Technology
University of California Riverside
Scuola Superiore Sant'Anna
Leibniz Universität Hannover
MPI Software Systems