|
Presentations |
Description |
Themes |
Workshop Chairs |
Program Committee
 Held in Conjunction with the
International Conference on Software Engineering (ICSE)
May 9-10, 2003
Hilton Portland
Portland, Oregon, USA
Web: http://cs.oregonstate.edu/icse2003/
Workshop Proceedings (PDF)
Workshop Agenda
Presentations
return to top
Description
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.
Themes
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
- 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.
- 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).
- 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.
return to top
Organizing Committee
Workshop Chairs
Martin Feather
Jet Propulsion Lab
E-mail: martin.s.feather@jpl.nasa.gov
Connie Heitmeyer
Naval Research Labs
E-mail: heitmeyer@itd.nrl.navy.mil
Nancy Mead
Software Engineering Institute
Carnegie Mellon University
E-mail: nrm@sei.cmu.edu
Allen Nikora
Jet Propulsion Lab
E-mail: anikora@mail1.jpl.nasa.gov
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 Critical Systems, Ltd., U.K.
Peter In, Texas A&M University, U.S.
Paola Inverardi, University of Aquila, Italy
Rick Linger, Software Engineering Institute, 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.
return to top
|
SEI Home Page
The Software
Engineering Institute (SEI) is a federally funded research and
development center sponsored by the U.S. Department of Defense
and operated by Carnegie Mellon University.
Copyright
2007
by Carnegie Mellon University
Terms of Use
URL: http://www.sei.cmu.edu/sehas-workshop/conf.html
Last Modified: 1 March 2007
|
