OSPERT 2012

8th annual workshop on

Operating Systems Platforms for Embedded Real-Time applications

July 10, 2012. Pisa, Italy
held in conjunction with

Workshop Chairs:

Gabriel Parmer
George Washgington University, USA

Andrea Bastoni
MBDA, Italy

Program Committee:

Roberto Gioiosa
Barcelona Supercomputing Center

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

Gernot Heiser
The University of New South Wales

Shinpei Kato
Nagoya University

Jim Anderson
University of North Carolina at Chapel Hill

Thomas Gleixner
Linutronix, Germany

Steven Rostedt
Red Hat

John Regehr
University of Utah

Proceedings (pdf)

	Tuesday, July 10th 2012
8:30-9:30	Registration
9:30-11:00	Keynote Talk by Paul E. McKenney: Real-Time Response on Multicore Systems: It Is Bigger Than You Think
11:00-11:30	Coffee Break
11:30-13:00	Session 1: Parallelism in Real-Time Systems Time Management in the Quest-V RTOS Richard West, Ye Li, and Eric Missimer Operating Systems for Manycore Processors from the Perspective of Safety-Critical Systems Florian Kluge, Benoit Triquet, Christine Rochange, Theo Ungerer PRACTISE: a framework for PeRformance Analysis and Testing of real-time multIcore SchEdulers for the Linux kernel Fabio Falzoi, Juri Lelli, Giuseppe Lipari
13:30-14:30	Lunch
14:30-16:00	Panel Discussion: Smartphone and Real-Time: Innovation or yet another Embedded Device? Panel members: Wolfgang Mauerer, Claudio Scordino, Heechul Yun, and Paul E. McKenney
16:00-16:30	Coffee Break
16:30-18:00	Session 2: Real-Time Systems Potpourri CoS: A New Perspective of Operating Systems Design for the Cyber-Physical World Vikram Gupta, Eduardo Tovar, Nuno Pereira, Ragunathan (Raj) Rajkumar Efficient I/O Scheduling with Accurately Estimated Disk Drive Latencies Vasily Tarasov, Gyumin Sim, Anna Povzner, Erez Zadok A Dataflow Monitoring Service Based on Runtime Verification for AUTOSAR OS: Implementation and Performances Sylvain Cotard, S'bastien Faucou, Jean-Luc B' chennec
18:00-18:30	Discussion and Closing Thoughts

Call for papers (txt)

Research on innovative RTOS architectures and services is a hot topic. Developers of Real-Time Operating Systems (RTOS) are faced with many challenges arising from two opposite needs: extreme optimization of resource usage (processor, energy, network bandwidth, etc.) vs. dynamic configuration and upgrading, flexible scheduling, component-based development and deployment, etc. While real-time systems continue to be used in many small embedded applications, real-time services are being introduced and used in general- purpose operating systems. Notable examples are the various flavors Linux that provide support to time-sensitive applications.

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

• Technical. These are the traditional papers of past OSPERTs. They consist of technical contributions that advance the state of the art. They have a page limit of 10 pages.
• Forward-looking. These papers are open-ended and focus on a vision about what RTOS must consider to effectively support future real-time applications, and how they should be constructed over the upcoming years. They do not summarize more mature work on the verge of conference publication, or necessarily focus on a technical contribution. They will be judged on plausibility, discussion potential, and creativity. These papers have a page limit of 5 pages.

Additionally, the workshop will feature invited presentations and publications about academic state-of-the-art and industrial state-of-practice within the area.

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 so that contributions can be examined prior to the workshop.

Scope

Topics include but are not limited to:

• Dynamic reconfiguration and upgrading
• Support for component based development
• Scalability, from very small scale embedded systems to full-fledged OSes
• Flexible scheduling
• Quality of Service guarantees
• Real-Time on Linux
• Interaction with reconfigurable hardware
• Support for embedded multiprocessor architectures
• Coordinated management of multiple resources
• Security and fault tolerance for embedded real-time systems
• Power-aware operating systems

Submission of Papers

Submitted papers should follow the IEEE conference format (2 columns, 10 pt, single-line spacing) and should not exceed 10 pages for technical papers, and 5 pages for forward-looking papers. On the title page, the submission should clearly state which category of papers the submission is for. 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.

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. If you require an exception, please contact the chairs. If your submission does not include an implementation, there are no such restrictions.

Papers should be submitted by using the START Conference Manager system. The system acknowledges receipt of each submission by sending an e-mail to the contact author, and it allows to revise a submission till the deadline.

If a paper is accepted, at least one author should register for the workshop following indications sent in the notification of acceptance, and present the paper at the workshop in person.

To submit a paper, visit the submission page.

© 2010 Report issues to Gabe Parmer
Template by Andreas Viklund