Component Models for Dependable Systems

(in conjunction with Euromicro 2004)

Sept 2004, Rennes, France

Important:

the CMDS track is scheduled for Friday 3rd September

check the Euromicro program

notify m.r.v.chaudron@tue.nl if this is a problem for you

 

 

Sponsored by ITEA project Space4U

                                                                Call-for-papers in pdf

 

 

 

Scope

Component based software engineering is being recognized as an important approach for reducing development-time and development cost. Many areas of automation, such as consumer electronics, medical systems, telecommunications, automotive, have high dependability requirements. In order to succesfully apply the CBD approach to the building of dependable systems, component models are needed that include mechanisms for dealing with dependability properties in an integral manner. The aim of this workshop is to study mechanisms and techniques that enhance the CBD paradigm for dependable systems.

Topics

Major topics of interest include:

  • Component models for resource-constrained devices
  • Techniques and mechanisms for handling
    • Reliability
    • Fault-tolerance
    • Security
    • Safety
    • Timeliness / Real-Time, 

in component-based systems

  • System Integrity Management
    • Run-time contract checking
    • Exception handling mechanisms
    • Remote System Management
  • Software upgrade and dynamic reconfiguration in dependable systems
  • Methods and Techniques for predicting and analysing non-functional properties of component-based systems
  • Testing, Validation & Certification of dependability properties

It is highly recommended that papers explain:

·        the relation between the requirements of a domain and the different design choices made in the component model.

·        the specific complications that arise from integrating the technique/mechanism in a component-based approach

Papers must describe original work and must not have been accepted or submitted for publication elsewhere. Submitted papers will be evaluated for technical contribution, originality, and significance.

Submission

Papers should not exceed 6000 words and be formatted in the Euromicro conference proceedings format. Submissions should be prepared in PDF (preferred) or PostScript format printable on A4 paper-format and sent to Johan Muskens (j.muskens@tue.nl)

All paper submissions will be reviewed by at least 3 international experts and comments will be returned to author(s) with each review.

Publication

Proceedings of the workshop will be included in the Euromicro conference proceedings.

Important dates

Paper submission:            April 30th  2004

Notification to authors:    May 15th  2004

Camera ready copy:         June 9th  2004

Program Committee

 

Chritiene Aarts        (Philips Research, Nl)

Alejandro Alonso     (Univ. Pol. Madrid, Sp)

Jakob Axelsson        (Volvo Car Corporation, Swe)

Yolande Berbers      (Univ. Leuven, Be)

Marcello Bonsangue  (Univ. Leiden, Nl)

Humberto Cervantes  (LSR-IMAG Grenoble, Fr)

Michel Chaudron      (TU Eindhoven, Nl) (chair)

Ivica Crnkovic          (Malarden University, Swe)

Jean Dominique Decotignie (CSEM & EPF Lausanne, Swi)

Stéphane Ducasse   (Univ. Berne, Swi)

Dr. Wolfgang Herzner (Austrian Research Centre Seibersdorf, Ger)

Tom Holvoet             (Univ. Leuven, Be)

Ronan MacLaverty   (Nokia Research, Fi)

Hugh Maaskant        (Philips Research, Nl)

Johan Muskens         (TU Eindhoven, Nl)

Rob van Ommering   (Philips Research, Nl)

Iman Poernomo        (Monash University, Au)

Ralf Reussner           (Univ. Oldenburg, De)

Titos Saridakis          (Nokia Research, Fi)

Alex Telea                 (TU Eindhoven, Nl)

Roel Wuyts                 (Université Libre de Bruxelles, Be)

 

 

 

 

 

Last update: 4 aug 2004