CFP: Engineering of Software Fault-Tolerance (EngSoFT'07)

=====================================================
                     CALL FOR PAPERS
         1st Technical Session on Engineering of
          Software Fault-Tolerance (EngSoFT'07):

   http://www.cs.mtu.edu/~aebnenas/engsoft07/index.htm

  in conjunction with SERP'07 to be held at WORLDCOMP'07
     The 2007 World Congress in Computer Science,
    Computer Engineering, & Applied Computing
     Las Vegas, Nevada, USA (June 25-28, 2007)
   http://www.world-academy-of-science.org/worldcomp07/ws
=====================================================

* Theme:
EngSoFT'07 aims to foster discussion and dissemination
of new ideas among experts in software engineering and
fault-tolerant computing. Specifically, the focus of
this technical session is on incremental modeling,
analysis, design and implementation of software fault-
tolerance. While there exist numerous approaches for
the design and implementation of fault-tolerance
mechanisms (e.g., recovery blocks, exception handlers),
considering fault-tolerance throughout the software
development lifecycle has the promise to result in
developing more robust software systems. Since it is
difficult to anticipate all types of faults at early
stages of development, developers often detect new
types of faults while they have already developed
analysis and design artifacts. As new types of faults
may introduce new fault-tolerance requirements, it
becomes desirable to incrementally capture such new
requirements while preserving existing ones.
Towards this end, developers are faced with a variety
of questions regarding modeling, analysis, design and
implementation of fault-tolerance concerns and their
mutual impact on functional concerns. In analysis
phase, modeling fault-tolerance requirements (e.g.,
recovery, safety, etc.) in a design-independent manner
is important as a design-biased analysis may rule out
potential solutions for the co-existence of fault-
tolerance and functional concerns. In design phase,
developers are faced with problems regarding the
existence of a tolerance-preserving refinement from
the conceptual model to design artifacts under design
constraints (e.g., architecture). In implementation
phase, physical system constraints (e.g., limited
resources, development cost, heterogeneous hardware
platform on which software is deployed, etc.) may
affect the refinement of a fault-tolerant design.

*Scope
While this technical session is open to all submissions
related to fault-tolerant and resilient software, the
following provides a potential list of core topics:

- Techniques for modeling different types of faults from
requirements to design;

- Automated modeling and analysis of the effect of faults
on functional concerns;

- Modeling techniques for eliciting and specifying fault-
tolerance requirements;

- Techniques for tolerance-preserving refinements from one
development stage to another;

- Techniques for facilitating the development of fault-tolerance
and verifying the non-interference of fault-tolerance
concerns with functional concerns;

- Traceability of fault-tolerance concerns from requirements
to implementation;

- Modeling and analysis of the physical system constraints
on software fault-tolerance, and

- Verification and synthesis of fault-tolerance concerns.

* Sponsors:
For a list of sponsors please see
http://www.world-academy-of-science.org/worldcomp07/ws

* Important dates:
Submission:              February 20, 2007
Author notification:     March 20, 2007
Final manuscript:        April 20, 2007

* For submission guidelines, please visit the following link:
http://www.cs.mtu.edu/~aebnenas/engsoft07/index.htm

* Session chair:
Ali Ebnenasir, Michigan Technological University, USA

* Program Committee:
Rogerio De Lemos, University of Kent, UK
Charles Wallace, Michigan Technological University, USA
Joerg Kienzle, McGill University, Canada
Mohsen Sharifi, Iran University of Science and Technology, Iran
Sascha Konrad, Siemens Corporate Research, USA
Mark Grechanik, Accenture Research Laboratory, USA