posted by user: michaelengel || 3643 views || tracked by 13 users: [display]

IIDS 2010 : Workshop on Isolation and Integration for Dependable Systems

FacebookTwitterLinkedInGoogle

Link: http://www.iids-workshop.org
 
When Apr 13, 2010 - Apr 13, 2010
Where Paris, France
Submission Deadline Feb 15, 2010
Notification Due Mar 12, 2010
Final Version Due Mar 29, 2010
Categories    isolation   virtualization   embedded systems   dependable systems
 

Call For Papers

IIDS 2010 - Call for Papers

This call for papers describes the two tracks separately. However, we would like to reserve the right to shift interesting papers from one track to the other as appropriate.

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 ffeatures
- 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 will be available starting in January on the workshop website. 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.

Related Resources

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
DSN 2024   The 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
ELELIJ 2024   Electrical and Electronics Engineering: An International Journal
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
IJHAS 2024   International Journal of Humanities, Art and Social Studies
SI_DependXAIdata 2024   SI on Dependable and Reliable Datasets for Explainable Artificial Intelligence and Cyber Security Research
ICITES 2024   2024 4th International Conference on Intelligent Technology and Embedded Systems (ICITES 2024)
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems