Sixth International Workshop on Requirements for High Assurance Systems (RHAS-6) - Delhi, India
Held in conjunction with the 15th IEEE International Requirements Engineering Conference
The Sixth International Requirements Engineering for High-Assurance Systems Workshop (RHAS 2007 - Delhi) is a one-day workshop that addresses the special challenges of engineering the requirements of software-intensive systems, the performance and dependability (i.e., defensibility and soundness) of which are mission critical. For such systems, it is thus critically important that requirements engineers collaborate with specialty engineers to properly engineer both:
- Performance Requirements
(e.g., hard real-time requirements for jitter, latency, response time, schedulability, and throughput) - Dependability Requirements
(e.g., availability, correctness, predictability, reliability, robustness, safety, security, stability, and survivability requirements)
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
Call for Papers
Goals | Topics of Interest | Paper Submission | Proceedings | Workshop Program Committee
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
Topics of Interest
Requested topics for position papers include but are not restricted to:
- Turning soft goals into hard requirements
- Practical ways to quantify, verify, and validate performance and dependability requirements
- Relationships between high assurance requirements and other kinds of 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 proper 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
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).
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):
- The Requirement Engineering Challenges of High Availability Online Charging Systems [41 KB], Dr. Dieter Barnard, Nokia Siemens Networks
- A Systematic Method for Acquiring Regulatory Requirements: A Frame-Based Approach [96 KB], Travis D. Breaux and Annie I. Antón, North Carolina State University
Previous Workshop Proceedings
- RHAS-5 at ISSRE 2005 (Chicago, Illinois)
- RHAS-4 at RE 2005 (Paris, France)
- RHAS-3 at RE 2004 (Kyoto, Japan)
- RHAS-2 at RE 2003 (Monterey Bay, California)
Workshop Program Committee
Co-Chairs
Donald G. Firesmith
Software Engineering Institute
Carnegie Mellon University
E-mail: dgf (at) sei dot cmu dot edu
Siva Moorthy
Nokia Siemens Networks, India
E-mail:
Siva dot Moorthy (at) siemens dot
com
Program Committee Members
- Daniel M. Berry, University of Waterloo, Canada
- Ramesh Bharadwaj, Naval Research Laboratory
- David L. Bush, NATS Ltd., UK
- Kevin Daimi, University of Detroit, USA
- Charles Haley, The Open University, UK
- Anthony Hall, Independent Consultant, UK
- Scott A. Hissam, SEI, USA
- Seok-Won Lee, University of North Carolina, USA
- Andreas Opdahl, University of Bergen, Norway
- Steve Riddle, University of Newcastle, UK
- Sharon Simmons, University of West Florida, USA
- Guttorm Sindre, Norwegian University of Science and Technology, Norway
- Ricardo Valerdi, MIT, USA
- Carol Woody, CERT, USA