Prev: Valentines Day, Say “I Love You” with anArduino Project
Next: measuring 10 km with 1m accuracy
From: Michael Engel on 15 Feb 2010 06:32

Dear readers of comp.arch.embedded,

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

-- Dr. Michael Engel, TU Dortmund (Germany), Embedded System Software
Group


======= 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/6 pages. 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.
 | 
Pages: 1
Prev: Valentines Day, Say “I Love You” with anArduino Project
Next: measuring 10 km with 1m accuracy