@conference {12131, title = {Empirical-based estimation of the effect on software dependability of a technique for architecture conformance verification}, booktitle = {Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, UK}, year = {2004}, month = {2004///}, 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. }, author = {Asgari, S. and Basili, Victor R. and Costa,P. and Donzelli,P. and Hochstein, L. and Lindvall,M. and Rus,I. and Shull, F. and Tvedt,R. and Zelkowitz, Marvin V} }