Dear readers of microcontroller.net,

I would like to inform you of our Workshop on Isolation and Integration 
for Dependable Systems (IIDS), co-located with EuroSys 2010 in Paris, 
France. The extended submission deadline is

                              February 22nd, 2010

We would be happy to see contributions from academia as well as 
industry. Please see the CfP below. For further information, please see 
http://www.iids-workshop.org

-- Michael Engel, Hans P. Reiser, Olaf Spinczyk, Rüdiger Kapitza and 
Jörg Nolte



                  ======= Call for Papers =======

   Workshop on Isolation and Integration for Dependable Systems (IIDS)
   ===================================================================

                  Co-located with EuroSys'2010
                  Paris, France, April 13, 2010

What is IIDS?
=============

At former Eurosys conferences, there were two successful workshop
series, IIES (Isolation and Integration in Embedded Systems) and
VTDS (Virtualization Technology for Dependable Systems).

For Eurosys 2010, the IIES and VTDS organizers decided to join forces
and to create a common, full-day workshop: IIDS 2010: Isolation and
Integration for Dependable Systems.

Topics
======

Virtualization technology has proven to be an important foundation for
isolation and integration of systems. These are of special importance
in dependable as well as embedded systems. The IIDS workshop combines
the successful VTDS and IIES workshops held in conjunction with previous
EuroSys conferences. The workshop will consist of two tracks with focus
on dependable and embedded systems, respectively. By combining the two
workshops, we intend to attract a larger audience with background in
these specific areas of virtualization.

Track 1: Virtualization Technology for Dependable Systems
         ================================================

This track is intended to be a forum for the exchange of ideas and
experiences on the use of virtualization technologies (VT) for
constructing dependable systems. It will be specially interested in
highly available, resilient, and intrusion-tolerant systems. Important
questions are:

- How to build such systems using virtualization?
- Can virtualization help to increase dependability?
- What are the risks of using virtualization?
- How to analyze and verify VT-based dependable systems?

The topics of this track focus on system aspects at the local operating
system level (resilience of VT, formal verification of hypervisors and
OS) as well as distributed system aspects (VT-based replication, 
intrusion
tolerance). In particular, the topics include:

- Virtualization-based mechanism for tolerating faults and intrusions
- Security aspects of using virtualization in distributed environments
- Resilience of virtualization technology
- Implementing a trusted computing base with virtualization technology
- Modelling the resilience of virtualization-based dependable systems
- Formal verification of hypervisors and operating systems
- Adaptivity in VT-based dependable systems


Track 2: Isolation and Integration in Embedded Systems
         =============================================

Embedded systems developers today are confronted with a large variety
of challenges in the design and implementation of a system. Issues such
as co-location of different applications on a single hard- or software
platform ("co-habitation"), platform integration of different embedded
operating environments as well as safety and protection of embedded
software systems require novel approaches to embedded systems 
development
as well as the adaptation of technologies from mainframe and desktop
computing, like virtualization and emulation. This, in turn, will change
traditional embedded design processes to include hardware and software 
of
growing complexity. Suggested topics for papers and discussion include,
but are not restricted to:

- Virtualization in embedded systems
- System support for temporal and spatial isolation of system-level
  and application code in embedded systems
- Interaction and resource sharing between isolated components
- System- and language-based isolation techniques
- Isolation and integration in multi- and manycore systems
- Configurable isolation mechanisms
- Lightweight address space models for isolation and similar 
architectural
  features
- Isolation mechanisms and resource constraints -- memory, energy,
  performance
- Optimization of complex co-habitated embedded systems
- Platform integration of embedded systems
- Preservation of temporal constraints in isolated and integrated 
systems
- Integration of legacy embedded systems in new designs
- Experience reports and details on performance, energy and cost 
evaluations

Submission Instructions
=======================

Manuscripts must be submitted as printable PDF documents and should not
exceed 3000 words. Formatting according to the final manuscript style
(ACM standard) is recommended. Electronic submission takes place using
the EasyChair system at http://www.easychair.org.

The camera-ready version of manuscripts must be formatted according to
the ACM standard style (2-column), and must not exceed 6 pages. EuroSys
plans publish the accepted papers in the ACM Digital Library, 
International  Conference Proceedings Series (AICPS) (ACM confirmation 
pending). At least one author of an accepted paper must register at the 
conference and present the paper at the workshop.