Empirical-based estimation of the effect on software dependability of a technique for architecture conformance verification

TitleEmpirical-based estimation of the effect on software dependability of a technique for architecture conformance verification
Publication TypeConference Papers
Year of Publication2004
AuthorsAsgari S, Basili VR, Costa P, Donzelli P, Hochstein L, Lindvall M, Rus I, Shull F, Tvedt R, Zelkowitz MV
Conference NameProceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, UK
Date Published2004///
Abstract

The High Dependability Computing Program (HDCP)project is a NASA initiative for increasing dependability
of software-based systems. It researches achieving high
dependability by introducing new technologies. We focus
on the evaluation of the effectiveness of technologies with
respect to dependability. We employ empirical evaluation
methods along with evaluation testbeds. In this paper,
our technology evaluation approach is described. A
testbed representative of air traffic control applications is
used. An experiment to evaluate a technology to for
identification of architectural violations is presented.