C
Statement of Task

This project will convene a mixed group of experts to assess current practices for developing and evaluating mission-critical software, with an emphasis on dependability objectives. The goal of this study is to identify the kinds of system properties for which certification is desired, how that certification is obtained today, and, most important, what design and development methods, including methods for establishing evidence of trustworthiness, could lead to future systems structures that are more easily certified. Where these methods cannot be identified, the study will identify a research agenda that would lead to their discovery. The committee will address system certification, examining a few different application domains (e.g., medical devices and aviation systems) and their approaches to software evaluation and assurance. This should provide some understanding of what common ground and disparities exist.

The discussion will engage members of the fundamental research community, who have been scarce in this arena. It will consider approaches to systematically assessing systems’ user interfaces. It will examine potential benefits and costs of improvements in evaluation of dependability as performance dimensions. It will evaluate the extent to which current tools and techniques aid in ensuring and evaluating dependability in software and investigate technology that might support changes in the development and certification process. It will also use the information amassed to develop a research agenda for dependable software system development and certification, factoring in earlier High Confidence Software and



The National Academies | 500 Fifth St. N.W. | Washington, D.C. 20001
Copyright © National Academy of Sciences. All rights reserved.
Terms of Use and Privacy Statement



Below are the first 10 and last 10 pages of uncorrected machine-read text (when available) of this chapter, followed by the top 30 algorithmically extracted key phrases from the chapter as a whole.
Intended to provide our own search engines and external engines with highly rich, chapter-representative searchable text on the opening pages of each chapter. Because it is UNCORRECTED material, please consider the following text as a useful but insufficient proxy for the authoritative book pages.

Do not use for reproduction, copying, pasting, or reading; exclusively for search engines.

OCR for page 130
Software For Dependable Systems: Sufficient Evidence? C Statement of Task This project will convene a mixed group of experts to assess current practices for developing and evaluating mission-critical software, with an emphasis on dependability objectives. The goal of this study is to identify the kinds of system properties for which certification is desired, how that certification is obtained today, and, most important, what design and development methods, including methods for establishing evidence of trustworthiness, could lead to future systems structures that are more easily certified. Where these methods cannot be identified, the study will identify a research agenda that would lead to their discovery. The committee will address system certification, examining a few different application domains (e.g., medical devices and aviation systems) and their approaches to software evaluation and assurance. This should provide some understanding of what common ground and disparities exist. The discussion will engage members of the fundamental research community, who have been scarce in this arena. It will consider approaches to systematically assessing systems’ user interfaces. It will examine potential benefits and costs of improvements in evaluation of dependability as performance dimensions. It will evaluate the extent to which current tools and techniques aid in ensuring and evaluating dependability in software and investigate technology that might support changes in the development and certification process. It will also use the information amassed to develop a research agenda for dependable software system development and certification, factoring in earlier High Confidence Software and

OCR for page 130
Software For Dependable Systems: Sufficient Evidence? Systems research planning. It will also investigate ideas for improving the certification processes for dependability-critical software systems. The work of the expert committee will culminate in a written report with recommendations, which will be subject to National Research Council review processes.

OCR for page 130
Software For Dependable Systems: Sufficient Evidence? This page intentionally left blank.