[Fwd: CFP ICSE 2003 Workshop on Software Architectures for DependableSystems]

From: Craig Chambers (chambers@cs.washington.edu)
Date: Mon Dec 16 2002 - 16:46:25 PST

  • Next message: Keunwoo Lee: "Re: PL techniques at OSDI..."

    yet another semi-related workshop

    -------- Original Message --------
    Subject: CFP ICSE 2003 Workshop on Software Architectures for DependableSystems
    Date: Sat, 14 Dec 2002 14:48:50 +0000
    From: Alexander Romanovsky <Alexander.Romanovsky@newcastle.ac.uk>
    To: ecoop-info@ecoop.org

                              CALL FOR PAPERS

            ICSE Workshop on Software Architectures for Dependable Systems
                          http://www.cs.ukc.ac.uk/wads

            International Conference on Software Engineering 2003
                     http://cs.oregonstate.edu/icse2003/

                                 May 3, 2003
                            Portland, Oregon, USA

    Architectural representations of systems have shown to be effective
    in assisting
    the understanding of broader system concerns by abstracting away from
    details of
    the system. The dependability of systems is defined as the reliance that can
    justifiably be placed on the service the system delivers.
    Dependability has become
    an important aspect of computer systems since everyday life
    increasingly depends on
    software. Although there is a large body of research in dependability,
    architectural level reasoning about dependability is only just emerging as an
    important theme in software engineering. This is due to the fact that
    dependability
    concerns are usually left until too late in the process of development. In
    addition, the complexity of emerging applications and the trend of building
    trustworthy systems from existing, untrustworthy components are urging
    dependability concerns be considered at the architectural level. Hence the
    questions that the software architecture and dependability communities are
    currently facing: what are the architectural principles involved in building
    dependable systems? How should these architectures be evaluated?

    Goal. The aim of the workshop is to bring together the communities of software
    architectures and dependability to discuss the state of research and
    practice when
    dealing with dependability issues at the architecture level, and to jointly
    formulate an agenda for future research in this emerging area.

    Scope. We are interested in submissions from both industry and academia on all
    topics related to software architectures for dependable systems.
    These include, but
    are not limited to:

    * dependability modeling in software architectures;
    * verification and validation of dependable software architectures;
    * adaptable architectures for achieving dependability;
    * architectural support for self-healing and self-repairing systems
    * run-time checks of dependable architectural model;
    * dependability evaluation in software architectures;
    * architectural patterns for dependable systems;
    * exception handling for software architectures;
    * redundancy and diversity at the level of architectures;
    * dependable architecture and implementation.

    How to Submit. The workshop is open to all researchers, system
    developers and users
    who are involved with or have an interest in dependability at the architecture
    level. All prospective participants should submit an extended
    abstract, work-in-
    progress report or position paper. The submissions must conform to
    the proceedings
    publication format and should not exceed six pages, including all
    text, references,
    appendices, and figures. They should explain the contribution to the
    field and the
    novelty of the work, making clear the current status of the work.
    Workshop paper
    submissions should be sent electronically (preferably in PDF format), by the
    submission date, to icse-wads@ukc.ac.uk. Additional and updated details are
    available at:
              http://www.cs.ukc.ac.uk/wads

    Important Dates:

    * Submission Date: February 1, 2003
    * Acceptance/rejection: March 1, 2003
    * Camera-ready Copy: April 1, 2003

    Organizing Committee:
    Rogério de Lemos, University of Kent at Canterbury, UK
    Cristina Gacek, University of Newcastle upon Tyne, UK
    Alexander Romanovsky, University of Newcastle upon Tyne, UK

    Programme Committee:
    Jean Arlat (France), Andrea Bondavalli (Italy), Jan Bosch (The
    Netherlands), David
    Garlan (USA), Paola Inverardi (Italy), Valerie Issarny (France), Philip Koopman
    (USA), Nicole Levy (France), Neno Medvidovic (USA), Dewayne E. Perry
    (USA), Cecília
    Rubira (Brazil), William Scherlis (USA), Francis Tam (Finland),
    Kishor S. Trivedi
    (USA), Frank van der Linden (The Netherlands), Paulo Veríssimo (Portugal).

    -- 
    School of Computing Science, University of Newcastle
    Newcastle upon Tyne, NE1 7RU, UK
    phone = +44 191 222 8135, fax = +44 191 222 8232
    www.cs.ncl.ac.uk/people/alexander.romanovsky/
    ----------------------------------------------------------------------
    ecoop-info@ecoop.org is a *moderated* distribution list for announcing
    non-commercial, international events related to object technology.
    Please post announcements for moderation to: ecoop-info@ecoop.org
    ----------------------------------------------------------------------
    To unsubscribe, just send email to: ecoop-info-unsubscribe@ecoop.org
    Please send questions, problems or complaints to: ecoop@aito.org
    More information about ECOOP is available at: http://www.ecoop.org/
    ----------------------------------------------------------------------
    _______________________________________________
    Cecil mailing list
    Cecil@cs.washington.edu
    http://mailman.cs.washington.edu/mailman/listinfo/cecil
    


    This archive was generated by hypermail 2.1.5 : Mon Dec 16 2002 - 16:46:30 PST