13th Workshop on Operating Systems Platforms for Embedded Real-Time Applications

PROCEEDINGS

The OSPERT 2017 proceedings are available here.

PRELIMINARY PROGRAM

9:00 Welcome

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)

12:00 Lunch

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:25 Break

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)

CALL FOR PAPERS (pdf) (txt)

Gathering of the Nightwatch

IMPORTANT DATES

EXTENDED SUBMISSION DEADLINE:

APRIL 14, 2017 (23:59 anywhere on earth)

Submission site:

https://easychair.org/conferences/?conf=ospert2017

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

Workshop:

June 27, 2017

Main Conference:

June 28 - 30, 2017

Keynote by Dr. Moritz Neukirchner - Elektrobit Automotive GmbH

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).

SCOPE

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.

Workshop Chairs:

Marcus Völp
University of Luxembourg

Heechul Yun
University of Kansas

Programm Committee:

Andrea Bastoni
SYSGO AG

Reinder J. Bril
Eindhoven University of Technology

Aaron Carroll
Apple

Juri Lelli
ARM

Shinpei Kato
Nagoya University

Hyoseung Kim
University of California Riverside

Guiseppe Lipari
Scuola Superiore Sant'Anna

Daniel Lohmann
Leibniz Universität Hannover

Mitra Nasri
MPI Software Systems

 KyoungSoo Park
KAIST

 Harini Ramaprasad
UNC Charlotte

 Rich West
Boston University