This material is being posted by Carnegie Mellon University's Software Engineering Institute (SEI) on this Web site as a community service.
Call for Papers
Description | Goals | Topics of Interest | Paper Submission | Proceedings
Workshop Program CommitteeImportant Dates
October 7, 2005 - Submission deadline
October 21, 2005 - Notification of acceptance
November 1, 2005 - Camera-ready copy due
November 8, 2005 - Workshop heldreturn to top
Workshop Description
The Fifth International Requirements Engineering for High-Assurance Systems Workshop (RHAS’05 - Chicago) is a one day workshop that addresses the special challenges of engineering the requirements of software-intensive systems, the performance and dependability of which are both mission critical. For such systems, it is thus critically important that requirements engineers collaborate with specialty engineers to proper engineer both:
- Performance requirements (e.g., jitter, latency, response time, schedulability, and throughput)
- Dependability requirements (e.g., defensibility, operational availability, predictability, reliability, robustness, safety, security, stability, and survivability)
Position papers will be submitted and reviewed prior to the conference, and published for the conference if accepted. During the morning of the workshops, authors of accepted position papers will present a brief summary of their papers. During the afternoon of the workshop, the attendees will work in a collaborative setting to:
- Identify and explore important challenges and risks
- Propose, formulate, and evaluate promising solutions
return to top
Workshop Goals
To bring together in a small focused working group practitioners, consultants, and researchers to:
- Exchange ideas and their experiences concerning the engineering of performance and dependability requirements
- Identify and explore important challenges and risks
- Propose, formulate, and evaluate promising solutions
- Identify open research problems
return to top
Topics of Interest
Requested topics for position papers include but are not restricted to:
- Practical ways to quantify, verify, and validate performance and dependability requirements
- Turning soft goals into hard requirements
- Relationships between reliability and other quality requirements
- Making engineering trade-offs between competing quality requirements
- Appropriate tools and techniques for the elicitation, analysis, specification, evaluation, reuse, and management of these critical requirements for high-assurance systems
- The role of formal requirements specification when engineering high-assurance systems
- The relationship between system and software requirements including how to properly derive critical software quality requirements when engineering high-assurance requirements
return to top
Position Paper Submission
To speak at the workshop, participants should send brief position papers relevant to one or more of the preceding topics of interest by e-mail to Donald G. Firesmith dgf@sei.cmu.edu
Submissions will be evaluated by the members of the program committee according to their relevance and their ability to generate discussion among the workshop participants. Papers should not exceed six pages and must be formatted in PDF, following the IEEE Computer Society Press guidelines (except that no copyright notice is required).
return to top
Proceedings
The position papers and working group summaries will be published by the Software Engineering Institute (SEI) in the form of workshop proceedings and can be cited in future publications. Authors of accepted papers are expected to take part in the workshop.
The following papers are presented in portable document format (PDF):
Requirements and Design Approach for a High-Reliability System, Christopher Byrnes, The MITRE Corporation
Fault-Based Analysis: How History Can Help Improve Performance and Dependability Requirements for High Assurance Systems, Jane Huffman Hayes; Elizabeth Ashlee Holbrook; and Inies Raphael, University of Kentucky Department of Computer Science; and Pruett, David M., Geocontrol Systems, Inc.
Toward More Available Software-Intensive Systems, Antonio Mendes da Silva Filho, Recife Center for Advanced Studies and Systems
Autonomy and Interoperability in System of Systems Requirements Development, Ira Monarch and Jim Wessel, Software Engineering Institute, Carnegie Mellon University
Previous Conference Proceedings
Note: the RHAS 2005 Paris Workshop Proceedings, the RHAS 2004 Workshop Proceedings,
and the RHAS 2003 Workshop Proceedings are also available in portable document format (PDF).return to top
Workshop Program Committee
Chair
Donald G. Firesmith
Software Engineering Institute
Carnegie Mellon University
E-mail: dgf@sei.cmu.edu
Program Committee Members
Dr. Kevin Daimi, University of Detroit - U.S.A.
Dr. Mats Heimdahl, University of Minnesota - U.S.A.
Dr. Seok-Won Lee, University of North Carolina - U.S.A.
Dr. Frank Moisiadis, Macquarie University - Australia
Siva Moorthy, Siemens - India
Dr. Andreas Opdahl
Dr. Steve Riddle, University of Newcastle upon Tyne - U.K.
Dr. Ricardo Valerdi, MIT - U.S.A.