OSPERT 2015

11th annual workshop on

Operating Systems Platforms for Embedded Real-Time applications

July 7, 2015. Lund, Sweden
held in conjunction with

Important Links:

Proceedings

Call for contributions [TXT|PDF]

Contribution formats & details

Submission instructions

Workshop Chairs:

Björn B. Brandenburg
Max Planck Institute for Software Systems

Robert Kaiser
RheinMain University of Applied Sciences

Program Committee:

Kevin Elphinstone
University of New South Wales

Michael Engel
Leeds Beckett University

Paolo Gai
Evidence Srl

Shinya Honda
Nagoya University

Daniel Lohmann
Friedrich-Alexander-Universität Erlangen-Nürnberg

Wolfgang Mauerer
Siemens AG

Chanik Park
Pohang University of Science and Technology

Martijn van den Heuvel
Technische Universiteit Eindhoven

Marcus Völp
Technische Universität Dresden

Rich West
Boston University

Heechul Yun
University of Kansas

PROCEEDINGS

The full proceedings of OSPERT 2015 may be downloaded here: OSPERT 2015 Proceedings.

Individual papers and the presentations of the speakers are available below.

FINAL PROGRAM (as PDF)

8:00-9:00 Registration

9:00-10:30 Keynote:

• Software Architectures for Advanced Driver Assistance Systems (ADAS) [slides]
  Robert Leibinger (Elektrobit Automotive GmbH)
  
  Synopsis:
  Traditionally, most automotive systems have been constructed as fail-safe systems, i.e., the failure of a system is detected with high confidence and the system degrades or is simply shut down. However, with the advent of supported, assisted, or even autonomous driving, the focus shifts from fail-safe systems to fail-operational systems. Such systems need to detect an error or even the fault leading to an error before the error leads to the failure of the system. The keynote will show with examples how established concepts can be integrated into the automotive domain using both well-known approaches such as AUTOSAR or standard diagnostic functions, as well as new approaches such as service-oriented architectures based on automotive Ethernet.
  Read the full abstract and short speaker biography
  

10:30-11:00 Coffee Break

11:00-12:30 Session I: RTOS Design Principles

• Back to the Roots: Implementing the RTOS as a Specialized State Machine [slides]
  Christian Dietrich (University Erlangen-Nuremberg), Martin Hoffmann (University Erlangen-Nuremberg), Daniel Lohmann (University Erlangen-Nuremberg)

• Partial Paging for Real-Time NoC Systems [slides]
  Adrian McMenamin (University of York), Neil Audsley (University of York)

• Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free? [slides]
  Till Smejkal (TU Dresden), Adam Lackorzynski (TU Dresden), Benjamin Engel (TU Dresden), Marcus Völp (TU Dresden)

12:30-13:30 Lunch

13:30-15:00 Session II: Short Papers

• A New Configurable and Parallel Embedded Real-time Micro-Kernel for Multi-core platforms [slides]
  Antonio Paolillo (Université Libre de Bruxelles and MangoGem S.A.), Olivier Desenfans (Université Libre de Bruxelles), Vladimir Svoboda (MangoGem S.A.), Joël Goossens (Université Libre de Bruxelles), Ben Rodriguez (HIPPEROS S.A.)

• Adaptive Resource Sharing in Multicores [slides]
  Kai Lampka (Uppsala University), Jonas Flodin (Uppsala University), Yi Wang (Uppsala University), Adam Lackorzynski (TU Dresden)

• Implementing Adaptive Clustered Scheduling in LITMUS^RT [slides]
  Aaron Block (Austin College), William Kelley (BAE Systems)

• Preliminary design and validation of a modular framework for predictable composition of medical imaging applications [slides]
  Martijn M.H.P. van den Heuvel (Eindhoven University of Technology), Sorin C. Crăcană (Eindhoven University of Technology), Hrishikesh L. Salunkhe (Eindhoven University of Technology), Johan J. Lukkien (Eindhoven University of Technology), Alok Lele (Eindhoven University of Technology), Dominique Segers (Barco N.V.)

• Increasing the Predictability of Modern COTS Hardware through Cache-Aware OS-Design [slides]
  Hendrik Borghorst (Technische Universität Dortmund), Olaf Spinczyk (Technische Universität Dortmund)

15:00-15:30 Coffee Break

15:30-17:00 Session III: Isolation, Integration, and Scheduling

• Evaluating the Isolation Effect of Cache Partitioning on COTS Multicore Platforms [slides]
  Heechul Yun (University of Kansas), Prathap Kumar Valsan (University of Kansas)

• An experience report on the integration of ECU software using an HSF-enabled real-time kernel [slides]
  Martijn M.H.P. van den Heuvel (Eindhoven University of Technology), Erik J. Luit (Eindhoven University of Technology), Reinder J. Bril (Eindhoven University of Technology), Johan J. Lukkien (Eindhoven University of Technology), Richard Verhoeven (Eindhoven University of Technology), Mike Holenderski (Eindhoven University of Technology)

• Evolving Scheduling Strategies for Multi-Processor Real-Time Systems [slides]
  Frank Feinbube (Hasso Plattner Institute), Max Plauth (Hasso Plattner Institute), Christian Kieschnick (Hasso Plattner Institute), Andreas Polze (Hasso Plattner Institute)

17:00-17:30 Discussion and Closing Renarks

CO-LOCATED WITH ECRTS

OSPERT 2015 is a satellite workshop of the 27th Euromicro Conference on Real-Time Systems (ECRTS 2015), 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 2015, please use the ECRTS 2015 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’15 is open to all topics related to providing a reliable operating environment 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.), and an 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 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 scope of embedded OS and middleware specifications such as AUTOSAR.

OSPERT’15 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
• 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

CALL FOR CONTRIBUTIONS [TXT|PDF]

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’15 strives for an inclusive and diverse program and solicits a range of varied contributions. To this end, the following types of submissions are sought:

1. proposals for technical presentations (including talks on open problems, demos & tutorials, calls to action, etc.);
2. proposals for reports on empirical experiments (including replication studies, preliminary experiments, and experience reports); and
3. technical papers (including short work-in-progress papers and full workshop papers).

The submission of a full paper is not required to present work at OSPERT. See the detailed description of the different types of contributions and the submission instructions for details.

Further information:

• Contribution formats & details
• Submission instructions

© 2014 Report issues to Björn Brandenburg
Template by Andreas Viklund