Call for Papers: MIKES 2006
First International Workshop on MicroKernels for Embedded Systems
To be held on August 15 2006, in Sydney, Australia, co-located with the 12th IEEE RTCSA (http://www.rtcsa.org).
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.
Papers should be submitted electronically at http://www.easychair.org/MIKES2006/ in PDF or postscript format. The material must be unpublished and not under submission elsewhere. Proceedings will be published as a technical report by National ICT Australia (NICTA).
IMPORTANT DATES
Please note the submission deadline has been pushed back to disentangle it from concurrent deadlines.
Submissions deadlines: May 20th Notification of acceptance: June 12th Camera ready papers: July 7th
ORGANISERS
Gernot Heiser, NICTA/UNSW, Australia Stefan M. Petters, NICTA/UNSW, Australia Ihor Kuz, NICTA/UNSW, Australia
PROGRAM COMMITTEE
Kevin Elphinstone, UNSW, Australia (chair) 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 Schoenberg, Intel, Hillsboro, USA Volkmar Uhlig, IBM Watson, USA
RELATED EVENTS
Also of interest to some attendees of MIKES might be the International Workshop on System Verification (http://www.cse.unsw.edu.au/~formalmethods/events/svws-06/) being held in Sydney (just before MIKES and RTCSA) on August 7 and 8, 2006.