Software Engineering for High Assurance Systems:  
    Synergies between Process, Product, and Profiling (SEHAS 2003)

	International Conference on Software Engineering 2003
			   May 9-10, 2003
			Portland, Oregon, USA

One of the most important challenges in software engineering is to
develop well-founded, user-friendly methods for constructing high
assurance software systems -- software systems where compelling evidence
is required that the system delivers its services in a manner
satisfying certain critical properties, such as security, safety,
survivability, and fault-tolerance.  Examples of high assurance
software systems include safety-critical medical systems, control
systems for nuclear plants, and aerospace systems.  The SEHAS 2003
workshop will provide a forum for researchers and practitioners to
exchange ideas and experiences relevant to the development of high
assurance software systems.
Participants of the SEHAS 2003 workshop will explore the opportunities
for, and benefits of, synergies between three important themes, each
reflecting an important aspect of high assurance software development.
The themes are

1) Process: This theme views software as an artifact that is
manufactured, and hence the manufacturing process itself is the focus.
Processes such as inspections, peer reviews, and tests are used to
improve the quality of software as it progresses through the process. A
particularly important challenge is deciding how to best invest limited
resources so as to emerge with a high assurance software product.

2) Product:  This theme uses the requirements and the structure of the
software artifacts to develop high confidence in the quality of the
system as a whole from the quality of its individual parts and how they
are combined (e.g., Software Fault Tree Analysis, measurements of
software structure as fault predictors).

3) Profiling: This theme derives metrics from the development-time
activities and artifacts to yield insight into the progress of the
development effort. For example, error detection and repair rates
during testing may be used to predict the software's reliability or the
number of remaining errors.

Each theme has a strong computer science community underpinning it,
with various workshops and conferences in which ideas are advanced.

The goal of the SEHAS 2003 workshop is 1) to find synergies between the
themes and where crossover work can lead to advances that might
otherwise go unexplored and 2) to identify opportunities and needs for
such synergistic work.  The opportunities will emerge from
understanding different research areas relevant to high assurance
systems and how collaborative research can provide methods and
techniques for constructing high assurance software.  The needs will
emerge from an understanding of the practical aspects of limited
resources, the need for prediction (e.g., of costs and required
effort), etc.

How to Submit: 

SEHAS 2003 solicits previously unpublished, currently unsubmitted
technical papers, position papers, and experience papers addressing
problems in developing high assurance software systems.  Papers should
be original and are limited to eight proceedings pages and 5000 words,
including all text, references, appendices, and figures.

Specific topics include, but are not limited to, the three themes above
as well as the following:

. specification, validation, verification, testing, and certification of
  high assurance systems

. the role of tools in support of high assurance system development

. the role of abstraction, refinement, and composition in developing
  high assurance systems

. approaches to constructing high assurance systems that must satisfy
  two or more classes of critical properties (e.g., security and 
  fault-tolerance, security and survivability)

. convincing case studies that apply systematic methods to the construction
  of high assurance systems

. interdisciplinary research in high assurance systems development

Papers should be in Adobe PDF format (see instructions for submitting
PDF files) via electronic submission. Instructions regarding submission
formats and templates are available on the ICSE 2003 Submission Format
page.  Additional and updated details are available at:

Submission Due Dates:

* Submission Date:         February 19, 2003  (Extended from February 1)
* Accceptance/rejection:   March 1, 2003
* Camera-ready Copy:       April 1, 2003

Review Process: 

Participants will be selected on the basis of a submitted paper.   Of
special interest are papers proposing collaborative, interdisciplinary
research on high assurance systems and papers describing practical
experience and lessons learned in developing high assurance systems.


The Software Engineering Institute will publish the SEHAS 2003 workshop
proceedings as an SEI report. All accepted papers will be included in
the workshop proceedings.  Authors of accepted papers are expected to
attend and participate in SEHAS 2003 in Portland.

Organizing Committee:

Martin Feather		Jet Propulsion Lab
Constance Heitmeyer	Naval Research Lab
Allen Nikora		Jet Propulsion Lab
Nancy Mead		Software Engineering Institute

Program Committee:

Ramesh Bharadwaj        Naval Research Laboratory       U.S.
Betty Cheng             Michigan State University       U.S.
W. W. Everett           SPRE Inc.                       U.S.
Adrian Hilton           Praxis                          U.K.
Peter In                Texas A & M University          U.S.
Paola Inverardi         University of Aquila            Italy
Rick Linger             Software Engineering Inst.      U.S.
Robyn Lutz              Iowa State University           U.S.
Tom Maibaum             King's College                  U.K.
Dino Mandrioli          Politecnico di Milano           Italy
John Rushby             SRI                             U.S.
Norm Schneidewind       Naval Postgraduate School       U.S.