Subscribe: Contact: Sitemap: Printer Friendly
Subscribe to our RSS feed
Home >  Research >  Software Systems >  ERTOS  > Events > 0815-Mikes

MIKES 2006

Call for Papers: MIKES 2006

First International Workshop on MicroKernels for Embedded Systems

We are grateful for your interest in MIKES 2006, but unfortunately there has been too few submissions to create a quality workshop program worthy of your interest.

The organisers have decided to postpone the workshop until January 2007, and will work hard on advertising the workshop more widely. We encourage you to resubmit your work to MIKES later this year for the workshop in January. Stay tuned for details.

Microkernels and microkernel-based operating systems are experiencing an increased popularity in the field of embedded systems. Despite a period of low popularity a decade ago, there is a new realisation, in academia and industry, of the usefulness of microkernels. This is especially true in the embedded systems domain where the reduced size and increased dependability of microkernel-based systems have made them particularly attractive. The MIKES workshop will bring together researchers and developers from industry and academia to discuss

  • emerging novel concepts,
  • analysis approaches, and
  • case studies

in the area of microkernels.

MIKES 2006 seeks papers that describe original research in the area of microkernels. This includes but is not limited to:

  • case studies
  • real-time behaviour
  • temporal analysis
  • formal/functional verification
  • portability
  • API proposals
  • security and safety

Papers describing new ideas, promising approaches, experiences with practical systems are considered particularly appropriate. Papers will be 6 pages in IEEE conference paper format. The material must be unpublished and not under submission elsewhere. Proceedings will be published as a technical report by National ICT Australia (NICTA).

Organisers

Gernot Heiser, NICTA/UNSW, Australia
Stefan M. Petters, NICTA/UNSW, Australia
Ihor Kuz, NICTA/UNSW, Australia

PC-Chair

Kevin Elphinstone, UNSW, Australia

PC

Andrew Tannenbaum, Vrije Universiteit, Amsterdam, Netherlands
Gerwin Klein, NICTA/UNSW, Australia
Hermann Haertig, TU Dresden, Germany
Jonathan S. Shapiro, The Johns Hopkins University, USA
Neil Audsley, University of York, UK
Sebastian Schönberg, Intel, Hillsboro, USA
Volkmar Uhlig, IBM Watson, USA