OSPERT 2014

10th annual workshop on

Operating Systems Platforms for Embedded Real-Time applications

July 8, 2014. Madrid, Spain
held in conjunction with

Workshop Chairs:

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

Shinpei Kato
Nagoya University, Japan

Program Committee:

Jim Anderson
University of North Carolina

Andrea Bastoni
SYSGO AG

Robert Kaiser
Hochschule RheinMain University of Applied Sciences

Gabriel Parmer
George Washington University

Wolfgang Mauerer
Siemens

Gernot Heiser
NICTA

Sebastian Fischmeister
University of Waterloo

Daniel Lohmann
Friedrich-Alexander-Universitat Erlangen-Nurnberg

Michael Roitzsch
Technical University of Dresden

Giuseppe Lipari
Scuola Superiore Sant'Anna

Proceedings (pdf)

Program (pdf)

	Tuesday, July 8th 2014
8:00-8:30	Registration
8:30-10:00	Keynote Talk by Paolo Gai (CEO, Evidence S.R.L.): Title: Open-source and Real-time in Automotive Systems: (not only) Linux, (not only) AUTOSAR Abstract: The talk will consider the current status of open-source and real-time in automotive systems, starting from the history of the open-source real-time OS ERIKA Enterprise. The current trends will also be considered including the usage of open-source Linux systems and the integration and safety qualification issues on modern automotive multicores.
10:00-10:30	Coffee Break
10:30-12:00	Session 1: RTOS Design and Implementation I ARM-based SoC with Loosely coupled type hardware RTOS for industrial network systems Naotaka Maruyama, Takuya Ishikawa, Shinya Honda, Hiroaki Takada, and Katsunobu Suzuki Distributed Real-Time Fault Tolerance on a Virtualized Multi-Core System Eric Missimer, Richard West, and Ye Li Fast User Space Priority Switching Alexander Zuepke, Marc Bommert, and Robert Kaiser
12:00-13:30	Lunch
13:30-15:00	Session 2: Mixed-Criticality Systems Implications of Multi-Core Processors on Safety-Critical Operating System Architectures Stefan Burger, Kevin Mueller, Oliver Hanka, Michael Paulitsch, Andrea Bastoni, Henrik Theiling, and Matthias Heinisch Towards Hard Real-Time Control and Infotainment Applications in Automotive Platforms Mian M. Hamayun, Alexander Spyridakis, and Daniel S. Raho Mixed-Criticality on Multicore (MC2): A Status Report Namhoon Kim, Jeremy P. Erickson, and James H. Anderson
15:00-15:30	Coffee Break
15:30-16:30	Session 3: RTOS Design and Implementation II A Platform for LEGO Mindstorms EV3 Based on an RTOS with MMU Support Yixiao Li, Takuya Ishikawa, Yutaka Matsubara, and Hiroaki Takada Usable RTOS-APIs? Tobias Klaus, Florian Franzmann, Tobias Engelhard, Fabian Scheler, and Wolfgang Schroder-Preikschat
16:30-18:00	Discussion and Closing Thoughts Open-ended discussion among all workshop participants. Suggested topics include: Making sense of "mixed criticality" from a systems point of view Trends in RTOS Design Gaining users: the long road from research OS to industrial application Manycores: the end of the RTOS?

CALL FOR PAPERS (txt)

Developers of embedded Real-Time Operating Systems (RTOS) are faced with many challenges arising from two opposite needs: the need for extreme resource usage optimization (processor, energy, network bandwidth, etc.) on the one hand, and an the other hand also increasing demands for scalability, flexibility, isolation, adaptivity, reconfigurability, predictability, serviceability, and certifiability. Further, while special-purpose RTOSs continue to be used in many small embedded applications, real-time services are 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 provide support to time-sensitive applications, as well as the emergence of commercial and open-source real-time hypervisors.

This workshop is intended as a forum for researchers and practitioners working on (and with) RTOSs and middlewares to discuss the recent advances in RTOS and middleware technology and the challenges that lie ahead. The workshop will consist of two categories of submitted papers:

1. Technical papers: these papers are the traditional form of OSPERT papers focused on technical contributions that advance the state of the art. A good technical paper will identify a shortcoming in the current stat of the art, propose a solution, and present a compelling evaluation of a practical implementation.
2. Experience papers: these papers do not necessarily make a novel technical contribution, but relate interesting and unexpected experiences with RTOS technology. We especially encourage submissions of negative results, projects with unplanned outcomes, and unforseen challenges. A good experience paper will highlight shortcomings in current systems, misconceptions in the literature, or expose new challenges for current and future RTOSs. Papers discussing ongoing developments in open-source projects are equally encouraged.

Both types of papers have a page limit of six pages (+ optionally up to two pages may be used for an appendix), including references.

Additionally, the workshop will feature invited presentations and publications to aid in creating a lively, interactive forum. Upon acceptance, a complete version of the paper must be prepared and submitted. All papers will be made available to all participants a week before the workshop to facilitate discussions.

TOPICS OF INTEREST

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

PAPER SUBMISSIONS

Submitted papers should follow the IEEE conference format (2 columns, 10 pt, single-line spacing) and should not exceed six pages (plus optionally a two pages appendix). Papers may be submitted in either PDF or Postscript format. The papers will be reviewed by the workshop program committee. All accepted papers will be made available to all participants one week before the workshop so that contributions can be examined prior to the event.

LaTeX and MS Word templates may be found at:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html

Submission website:
https://ospert14.mpi-sws.org/

We want to encourage scientific reproducibility, and discourage redundant work within the community. Thus, code relevant to each submission must be publicly available, and a link to it included in the submission. Exceptions are possible for papers discussing proprietary systems. If you require an exception, please contact the chairs. If your submission does not include an implementation, there are no such restrictions.

By submitting a paper, the authors agree and confirm that:

• neither this paper nor a version close to it is under submission or will be submitted elsewhere before notification by June 2014; and
• if accepted, at least one author will register for 2014 by the special registration deadline set in the notification of acceptance, and present the paper at the workshop in person.

A copy of the proceedings will be made available online. The copyright remains with the authors.

© 2014 Report issues to Shinpei Kato
Template by Andreas Viklund