Empirical Evaluation of Techniques and Methods Used for Achieving and Assessing Software High Dependability
暂无分享,去创建一个
For achieving high dependability of software intensive systems, not only product dependability benchmarking is needed but also benchmarking of technologies and processes for achieving and assessing software dependability. Dependability engineering, and more specifically technology management and assessment of effectiveness and efficiency of different technology interventions, is the objective of the work we introduce here. This work is performed as part of the High Dependability Computing Project (HDCP) that is an incremental, five-year, cooperative agreement, part of a broad strategy for dependable computing, that links NASA, corporate partners and universities and research centers such as Carnegie Mellon, University of Maryland, Fraunhofer Center Maryland, University of Southern California, Massachusetts Institute of Technology, University of Washington and University of Wisconsin. For now the focus is on NASA projects, but the results will be captured and organized in an experience base, so that they could be disseminated and applied to other organizations. For example, the first step would be to extend the results to organizations that are members of the High Dependability Computing Consortium (HCC) and the Sustainable Computing Consortium (SCC). As part of our activities we are looking at a series of steps to evaluate such interventions. Developing high dependability software requires specifying the dependability requirements, using development techniques and methods (that we will call “technologies”) to build-in high-dependability as the product is developed, and also technologies to verify that the required dependability has been achieved. Our research focuses on evaluating the effectiveness of these technologies with respect to achieving and assessing the desired dependability, and also the cost of