{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T13:02:31Z","timestamp":1773579751513,"version":"3.50.1"},"reference-count":62,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[2001,7,1]],"date-time":"2001-07-01T00:00:00Z","timestamp":993945600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Performance Evaluation"],"published-print":{"date-parts":[[2001,7]]},"DOI":"10.1016\/s0166-5316(01)00034-7","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T23:55:37Z","timestamp":1034639737000},"page":"179-204","source":"Crossref","is-referenced-by-count":294,"title":["Architecture-based approach to reliability assessment of software systems"],"prefix":"10.1016","volume":"45","author":[{"given":"Katerina","family":"Go\u0161eva-Popstojanova","sequence":"first","affiliation":[]},{"given":"Kishor S","family":"Trivedi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0166-5316(01)00034-7_BIB1","doi-asserted-by":"crossref","unstructured":"M. Barbacci, M. Klein, T. Longstaff, C. Weinstock, Quality attributes, CMU\/SEI-95-TR-021, Software Engineering Institute, Carnegie Mellon University, 1995.","DOI":"10.21236\/ADA307888"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB2","doi-asserted-by":"crossref","unstructured":"M. Barbacci, J. Carriere, P. Feiler, R. Kazman, M. Klein, H. Lipson, T. Lingstaff, C. Weinstock, Steps in an architecture tradeoff analysis method: quality attribute models and analysis, CMU\/SEI-97-TR-29, Software Engineering Institute, Carnegie Mellon University, 1997.","DOI":"10.21236\/ADA343692"},{"issue":"1","key":"10.1016\/S0166-5316(01)00034-7_BIB3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/32.210303","article-title":"The infeasibility of quantifying the reliability of life-critical real-time software","volume":"19","author":"Butler","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/S0166-5316(01)00034-7_BIB4","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/TSE.1980.234477","article-title":"A user-oriented software reliability model","volume":"6","author":"Cheung","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB5","doi-asserted-by":"crossref","unstructured":"V. Cortellessa, R. Mirandola, Deriving a queueing network based performance model from UML diagrams, in: Proceedings of the Second International Workshop on Software and Performance (WOSP\u20192000), 2000, pp. 58\u201370.","DOI":"10.1145\/350391.350406"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB6","unstructured":"D.R. Cox, H.D. Miller, The Theory of Stochastic Processes, Chapman & Hall, London, 1990."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB7","doi-asserted-by":"crossref","unstructured":"M. Delamaro, J. Maldonado, A.P. Mathur, Integration testing using interface mutations, in: Proceedings of the Seventh International Symposium on Software Reliability Engineering (ISSRE\u201996), 1996, pp. 112\u2013121.","DOI":"10.1109\/ISSRE.1996.558719"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB8","doi-asserted-by":"crossref","unstructured":"J.B. Dugan, A.A. Doyle, F.A. Patterson-Hine, Simple models of hardware and software fault tolerance, in: Proceedings of the Annual Reliability and Maintainability Symposium, 1994, pp. 124\u2013129.","DOI":"10.1109\/RAMS.1994.291094"},{"issue":"4","key":"10.1016\/S0166-5316(01)00034-7_BIB9","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1109\/24.370232","article-title":"System reliability analysis of N version programming application","volume":"43","author":"Dugan","year":"1994","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB10","doi-asserted-by":"crossref","unstructured":"W. Everett, Software component reliability analysis, in: Proceedings of the Symposium on Application-specific Systems and Software Engineering Technology (ASSET\u201999), 1999, pp. 204\u2013211.","DOI":"10.1109\/ASSET.1999.756770"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB11","unstructured":"W. Farr, Software reliability modeling survey, in: M.R. Lyu (Ed.), Handbook of Software Reliability Engineering, McGraw-Hill, New York, 1996, pp. 71\u2013117."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB12","doi-asserted-by":"crossref","unstructured":"S. Garg, Y. Huang, C.M.R. Kintala, K.S. Trivedi, S. Yajnik, Performance and reliability evaluation of passive replication schemes in application level fault tolerance, in: Proceedings of the 29th International Symposium on Fault-tolerant Computing (FTCS\u201929), 1999, pp. 322\u2013329.","DOI":"10.1109\/FTCS.1999.781067"},{"issue":"12","key":"10.1016\/S0166-5316(01)00034-7_BIB13","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1109\/TSE.1985.232177","article-title":"Software reliability models: assumptions, limitations, and applicability","volume":"11","author":"Goel","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB14","doi-asserted-by":"crossref","unstructured":"S. Gokhale, M. Lyu, K. Trivedi, Reliability simulation of component based software systems, in: Proceedings of the Ninth International Symposium on Software Reliability Engineering (ISSRE\u201998), 1998, pp. 192\u2013201.","DOI":"10.1109\/ISSRE.1998.730882"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB15","unstructured":"S. Gokhale, K. Trivedi, Structure-based software reliability prediction, in: Proceedings of the Fifth International Conference on Advanced Computing (ADCOMP\u201997), 1997, pp. 447\u2013452."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB16","doi-asserted-by":"crossref","unstructured":"S. Gokhale, K. Trivedi, Dependency characterization in path-based approaches to architecture based software reliability prediction, in: Proceedings of the Symposium on Application-specific Systems and Software Engineering Technology (ASSET\u201998), 1998, pp. 86\u201389.","DOI":"10.1109\/ASSET.1998.688239"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB17","doi-asserted-by":"crossref","unstructured":"S. Gokhale, W.E. Wong, K. Trivedi, J.R. Horgan, An analytical approach to architecture based software reliability prediction, in: Proceedings of the Third International Computer Performance and Dependability Symposium (IPDS\u201998), 1998, pp. 13\u201322.","DOI":"10.1109\/IPDS.1998.707705"},{"issue":"1","key":"10.1016\/S0166-5316(01)00034-7_BIB18","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/24.855535","article-title":"Failure correlation in software reliability models","volume":"49","author":"Go\u0161eva-Popstojanova","year":"2000","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB19","unstructured":"G. Haring, On stochastic models of interactive workloads, in: Performance\u201983, 1983, pp. 133\u2013152."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB20","doi-asserted-by":"crossref","unstructured":"J.R. Horgan, S. London, ATAC: a data flow coverage testing tool for C, in: Proceedings of the Second Symposium on Assessment of Quality Software Development Tools, 1992, pp. 2\u201310.","DOI":"10.1109\/AQSDT.1992.205829"},{"issue":"5","key":"10.1016\/S0166-5316(01)00034-7_BIB21","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/12.769435","article-title":"Availability of CAUTRA, a subset of the French air traffic control system","volume":"48","author":"Kanoun","year":"1999","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB22","unstructured":"K. Kanoun, T. Sabourin, Software dependability of a telephone switching system, in: Proceedings of the 17th International Symposium on Fault-tolerant Computing (FTCS\u201917), 1987, pp. 236\u2013241."},{"issue":"2","key":"10.1016\/S0166-5316(01)00034-7_BIB23","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1008781513258","article-title":"Playing detective: reconstructing software architecture from available evidence","volume":"6","author":"Kazman","year":"1999","journal-title":"J. Automated Software Eng."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB24","doi-asserted-by":"crossref","unstructured":"R. Kazman, M. Klein, M. Barbacci, T. Lingstaff, H. Lipson, J. Carriere, The architecture tradeoff analysis method, in: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS\u201998), 1998, pp. 68\u201378.","DOI":"10.21236\/ADA350761"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB25","doi-asserted-by":"crossref","unstructured":"P. King, R. Pooley, Derivation of Petri net performance models from UML specifications of communications software, in: Proceedings of the 11th International Conference on Tools and Techniques for Computer Performance Evaluation (TOOLS\u20192000), Lecture Notes in Computer Science, Vol. 1786, Springer, Berlin, 2000, pp. 262\u2013276.","DOI":"10.1007\/3-540-46429-8_19"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB26","doi-asserted-by":"crossref","unstructured":"S. Krishnamurthy, A.P. Mathur, On the estimation of reliability of a software system using reliabilities of its components, in: Proceedings of the Eighth International Symposium on Software Reliability Engineering (ISSRE\u201997), 1997, pp. 146\u2013155.","DOI":"10.1109\/ISSRE.1997.630860"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB27","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0167-6377(89)90031-X","article-title":"Assessing reliability of modular software","volume":"8","author":"Kubat","year":"1989","journal-title":"Oper. Res. Lett."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB28","unstructured":"V.G. Kulkarni, Modeling and Analysis of Stochastic Systems, Chapman & Hall, London, 1995."},{"issue":"6","key":"10.1016\/S0166-5316(01)00034-7_BIB29","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1109\/TSE.1984.5010299","article-title":"Dependability evaluation of software systems in operation","volume":"10","author":"Laprie","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB30","doi-asserted-by":"crossref","unstructured":"J.C. Laprie, Dependability of computer systems: concepts, limits, improvements, in: Proceedings of the Sixth International Symposium on Software Reliability Engineering (ISSRE\u201995), 1995, pp. 2\u201311.","DOI":"10.1109\/ISSRE.1995.497638"},{"issue":"2","key":"10.1016\/S0166-5316(01)00034-7_BIB31","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1109\/32.121755","article-title":"X-ware reliability and availability modeling","volume":"18","author":"Laprie","year":"1992","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/S0166-5316(01)00034-7_BIB32","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/24.784274","article-title":"Availability modeling of modular software","volume":"48","author":"Ledoux","year":"1999","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB33","doi-asserted-by":"crossref","unstructured":"C. Lindemann, A. Th\u00fcmmler, A. Klemm, M. Lohmann, O.P. Waldhordt, Quantitative system evaluation with DSPNexpress 2000, in: Proceedings of the Second International Workshop on Software and Performance (WOSP\u20192000), 2000, pp. 12\u201317.","DOI":"10.1145\/350391.350396"},{"issue":"2","key":"10.1016\/S0166-5316(01)00034-7_BIB34","doi-asserted-by":"crossref","first-page":"172","DOI":"10.2307\/2346564","article-title":"A reliability model for systems with Markov structure","volume":"24","author":"Littlewood","year":"1975","journal-title":"Appl. Statist."},{"issue":"3","key":"10.1016\/S0166-5316(01)00034-7_BIB35","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/TR.1979.5220576","article-title":"Software reliability model for modular program structure","volume":"28","author":"Littlewood","year":"1979","journal-title":"IEEE Trans. Reliability"},{"issue":"11","key":"10.1016\/S0166-5316(01)00034-7_BIB36","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1109\/32.637384","article-title":"Some conservative stopping rules for operational testing of safety-critical software","volume":"23","author":"Littlewood","year":"1997","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10.1016\/S0166-5316(01)00034-7_BIB37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/15326349108807174","article-title":"New results on the single server queue with a Batch Markovian Arrival Process","volume":"7","author":"Lucantoni","year":"1991","journal-title":"Stochastic Models"},{"issue":"1","key":"10.1016\/S0166-5316(01)00034-7_BIB38","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/32.120314","article-title":"Estimating the probability of failure when testing reveals no failures","volume":"18","author":"Miller","year":"1992","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB39","doi-asserted-by":"crossref","unstructured":"G. Murphy, D. Notkin, E. Lan, An empirical study of static call graph extractors, in: Proceedings of the 18th International Conference on Software Engineering (ICSE\u201918), 1996, pp. 90\u201399.","DOI":"10.1109\/ICSE.1996.493405"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB40","unstructured":"J.D. Musa, A. Iannino, K. Okumoto, Software Reliability: Measurement, Prediction, Application, McGraw-Hill, New York, 1987."},{"issue":"2","key":"10.1016\/S0166-5316(01)00034-7_BIB41","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/52.199724","article-title":"Operational profiles in software reliability engineering","volume":"10","author":"Musa","year":"1993","journal-title":"IEEE Software"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB42","unstructured":"E. Nelson, A statistical basis for software reliability, TRW-SS-73-02, TRW Software Series, 1973."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB43","doi-asserted-by":"crossref","first-page":"764","DOI":"10.2307\/3213143","article-title":"A versatile Markovian point process","volume":"16","author":"Neuts","year":"1979","journal-title":"J. Appl. Probab."},{"issue":"1","key":"10.1016\/S0166-5316(01)00034-7_BIB44","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1109\/52.207234","article-title":"Planning and certifying software system reliability","volume":"10","author":"Poore","year":"1993","journal-title":"IEEE Software"},{"issue":"4","key":"10.1016\/S0166-5316(01)00034-7_BIB45","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1109\/TSE.1982.235728","article-title":"Software reliability \u2014 status and perspectives","volume":"8","author":"Ramamoorthy","year":"1982","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB46","doi-asserted-by":"crossref","unstructured":"R.A. Sahner, K.S. Trivedi, A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package, Kluwer Academic Publishers, Dordrecht, 1996.","DOI":"10.1007\/978-1-4615-2367-3"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB47","unstructured":"M. Shaw, D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, Englewood Cliffs, NJ, 1996."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB48","unstructured":"M. Shooman, Structural models for software reliability prediction, in: Proceedings of the Second International Conference on Software Engineering, 1976, pp. 268\u2013280."},{"issue":"7","key":"10.1016\/S0166-5316(01)00034-7_BIB49","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/32.238572","article-title":"Software performance engineering: a case study including performance comparison with design alternatives","volume":"19","author":"Smith","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB50","unstructured":"K.S. Trivedi, Probability and Statistics with Reliability, Queuing and Computer Science Applications, Prentice-Hall, Englewood Cliffs, NJ, 1982."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB51","doi-asserted-by":"crossref","unstructured":"J. Voas, F. Charron, K. Miller, Robust software interfaces: can COTS-based systems be trusted without them? in: Proceedings of the 15th International Conference on Computer Safety, Reliability, and Security (SAFECOMP\u201996), 1996, pp. 126\u2013135.","DOI":"10.1007\/978-1-4471-0937-2_11"},{"issue":"3","key":"10.1016\/S0166-5316(01)00034-7_BIB52","first-page":"269","article-title":"Confidently assessing a zero probability of software failure","volume":"1","author":"Voas","year":"1995","journal-title":"High Integrity Syst."},{"issue":"6","key":"10.1016\/S0166-5316(01)00034-7_BIB53","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.683008","article-title":"Certifying off-the-shelf software components","volume":"31","author":"Voas","year":"1998","journal-title":"IEEE Comput."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB54","doi-asserted-by":"crossref","unstructured":"C. Wang, K.S. Trivedi, Integration of specification form modeling and specification for system design, in: Proceedings of the 14th International Conference Application and Theory of Petri Nets, Lecture Notes in Computer Science, Vol. 691, Springer, Berlin, 1993, pp. 473\u2013492.","DOI":"10.1007\/3-540-56863-8_62"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB55","doi-asserted-by":"crossref","unstructured":"W. Wang, Y. Wu, M. Chen, An architecture-based software reliability model, in: Proceedings of the Pacific Rim International Symposium on Dependable Computing, 1999, pp. 143\u2013150.","DOI":"10.1109\/PRDC.1999.816223"},{"issue":"6","key":"10.1016\/S0166-5316(01)00034-7_BIB56","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1109\/32.295896","article-title":"Certification of software components","volume":"20","author":"Wohlin","year":"1994","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB57","doi-asserted-by":"crossref","unstructured":"M. Xie, Software Reliability Modelling, World Scientific, Singapore, 1991.","DOI":"10.1142\/1390"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB58","doi-asserted-by":"crossref","unstructured":"M. Xie, C. Wohlin, An additive reliability model for the analysis of modular software failure data, in: Proceedings of the Sixth International Symposium on Software Reliability Engineering (ISSRE\u201995), 1995, pp. 188\u2013194.","DOI":"10.1109\/ISSRE.1995.497657"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB59","doi-asserted-by":"crossref","unstructured":"S. Yacoub, B. Cukic, H. Ammar, Scenario-based reliability analysis of component-based software, in: Proceedings of the 10th International Symposium on Software Reliability Engineering (ISSRE\u201999), 1999, pp. 22\u201331.","DOI":"10.1109\/ISSRE.1999.809307"},{"key":"10.1016\/S0166-5316(01)00034-7_BIB60","unstructured":"http:\/\/www.gnu.org\/manual\/gprof-2.9.1\/html_mono\/gprof.html."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB61","unstructured":"http:\/\/xsuds.argreenhouse.com."},{"key":"10.1016\/S0166-5316(01)00034-7_BIB62","unstructured":"http:\/\/www.unix.digital.com\/faqs\/publications\/base_doc\/DOCUMENTATION\/V40F_HTML\/APS30ETE\/TITLE.HTM."}],"container-title":["Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166531601000347?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166531601000347?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T20:10:23Z","timestamp":1580242223000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0166531601000347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,7]]},"references-count":62,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2001,7]]}},"alternative-id":["S0166531601000347"],"URL":"https:\/\/doi.org\/10.1016\/s0166-5316(01)00034-7","relation":{},"ISSN":["0166-5316"],"issn-type":[{"value":"0166-5316","type":"print"}],"subject":[],"published":{"date-parts":[[2001,7]]}}}