12th annual workshop on
Operating Systems Platforms for Embedded Real-Time applicationsJuly 5, 2016. Toulouse, France
Submission Deadline (extended)
June 7, 2016
June 17, 2016
Submission of camera-ready papers
July 5, 2016:
RheinMain University of Applied Sciences
University of Luxembourg
Pohang University of Science and Technology
Linh Thu Xuan Phan
University of Pennsylvania
Czech Technical University Prague
The full proceedings of OSPERT 2016 may be downloaded here: OSPERT 2016 Proceedings.
Individual papers are available below.
10:45-11:00 Session 0: Short Paper
11:00-11:30 Coffee Break
11:30-13:00 Session I: : Multicore and Parallel Systems
A communication framework for distributed access control in microkernel-based systems [slides]
Mohammad Hamad, Johannes Schlatow, Vassilis Prevelakis, Rolf Ernst (TU Braunschweig)
Tightening Critical Section Bounds in Mixed-Criticality Systems through Preemptible Hardware Transactional Memory [slides]
Benjamin Engel (TU Dresden)
GPU Sharing for Image Processing in Embedded Real-Time Systems
Nathan Otterness, Vance Miller, Ming Yang, James H. Anderson, F. Donelson Smith (University of North Carolina at Chapel Hill), Shige Wang (General Motors Research)
15:00-16:00 Session II: Real-Time and Predictability
Combining Predictable Execution with Full-Featured Commodity Systems [slides]
Adam Lackorzynski, Carsten Weinhold, Hermann Härtig (TU Dresden)
Timeliness Runtime Verification and Adaptation in Avionic Systems [slides]
Jose Rufino and Ines Gouveia (University of Lisbon)
16:00-16:30 Coffee Break
16:30-18:00 Session III: OS and System Modelling
Towards Real-Time Operating Systems for Heterogeneous Reconfigurable Platforms [slides]
Marco Pagani, Mauro Marinoni, Alessandro Biondi, Alessio Balsini, Giorgio Buttazzo (Scuola Superiore Sant’Anna)
An implementation of the flexible spin-lock model in ERIKA Enterprise on a multi-core platform
Sara Afshar, Maikel P.W. Verwielen, Paolo Gai, Moris Behnam, Reinder J. Bril (Mälardalen University, TU Eindhoven, Evidence Srl)
18:00-18:15 Discussion and Closing Renarks
OSPERT 2016 is a satellite workshop of the 28th Euromicro Conference on Real-Time Systems (ECRTS 2016), 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 2016, please use the ECRTS 2016 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’16 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’16 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:
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’16 strives for an inclusive and diverse program and solicits a range of varied contributions. To this end, the following types of submissions are sought:
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.