OSPERT 2016
12th annual workshop on
Operating Systems Platforms for Embedded Real-Time applications
July 5, 2016. Toulouse, Franceheld in conjunction with
Important Dates:
May 1926, 2016
Submission Deadline (extended)
June 7, 2016
Acceptance Notification
June 17, 2016
Submission of camera-ready papers
July 5, 2016:
Workshop
July 6-8,
2016:
ECRTS Conference
Important Links:
Call for contributions [TXT|PDF]
Contribution formats & details
Workshop Chairs:
Robert Kaiser
RheinMain University of Applied Sciences
Marcus Völp
University of Luxembourg
Program Committee:
Adam Lackorzynski
Kernkonzept GmbH
Andrea Bastoni
SYSGO AG
Chanik Park
Pohang University of Science and Technology
Daniel Lohmann
Friedrich-Alexander-Universität Erlangen-Nürnberg
Linh Thu Xuan Phan
University of Pennsylvania
Michael Engel
Oracle Labs
Paolo Gai
Evidence Srl
Pavel Pisa
Czech Technical University Prague
Rich West
Boston University
Shinya Honda
Nagoya University
PROCEEDINGS
The full proceedings of OSPERT 2016 may be downloaded here: OSPERT 2016 Proceedings.
Individual papers are available below.
FINAL PROGRAM (as PDF)
8:30-9:30 Registration
9:30-10:45 Keynote:
- From Research to Reality: Releasing System Software to the Masses
Adam Lackorzynski (Kernkonzept GmbH)
Synopsis:
In this talk I will share some of our experiences made so far while transitioning a university-founded research project into real life. Work on L4 systems started about two decades ago and has gone through various ups and downs. With our latest version, the L4Re system, we finally had the opportunity to be part of technologically challenging projects that gave us the possibility to found our company, Kernkonzept, and move on beyond university’s life. Our projects since then include a multi-VM secure smartphone and world’s first open-source bare-metal hypervisor platform for the MIPS architecture. The ride might be bumpy from time to time, but it is well worth pursuing.
Read the full abstract and short speaker biography
10:45-11:00 Session 0: Short Paper
- Towards versatile Models for Contemporary Hardware Platforms [slides]
Hendrik Borghorst, Karen Bieling, Olaf Spinczyk (TU Dortmund)
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)
13:00-14:30 Lunch
14:30-15:00 Discussion on Open Research Challenges in Real-Time Operating Systems
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
Effective Source Code Analysis with Minimization [slides]
Geet Tapan Telang, Kotaro Hashimoto, Krishnaji Desai (Hitachi India)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
CO-LOCATED WITH ECRTS
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).
SCOPE
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:
- 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 [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’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:
- 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.
Further information: