{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T06:00:43Z","timestamp":1738216843793,"version":"3.34.0"},"publisher-location":"Boston, MA","reference-count":60,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_25","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"305-328","source":"Crossref","is-referenced-by-count":0,"title":["Experimental Research in Dependable Computing at Carnegie Mellon University"],"prefix":"10.1007","author":[{"given":"Daniel P.","family":"Siewiorek","sequence":"first","affiliation":[]},{"given":"Roy A.","family":"Maxion","sequence":"additional","affiliation":[]},{"given":"Priya","family":"Narasimhan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"25_CR1","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TC.1981.6312154","volume":"30","author":"M. Barbacci","year":"1981","unstructured":"Barbacci, M., Instruction Set Processor Specifications (ISPS): The notation and its application. In IEEE Transactions on Computers, vol. 30,no. 1, pp. 24\u201340, January 1981.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR2","unstructured":"Barbacci, M., Barnes, G., Cattell, R. and Siewiorek, D. P., The ISPS computer description language, Carnegie Mellon University, Department of Computer Science Technical Report, 1978."},{"key":"25_CR3","unstructured":"Bell, C. G., Chen, R. C., Fuller, S. H., Grason, J., Rege, S. and Siewiorek, D. P., The architecture and applications of computer modules: A set of components for digital systems design, In Proceedings of the COMPCON Conference, pp. 177\u2013180, San Francisco, CA, February 1973."},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Bell, C. G. and Freeman, P., C.ai \u2014 a computer architecture of AI research, In Fall Joint Computer Conference Proceedings, December 1972.","DOI":"10.1145\/1480083.1480099"},{"key":"25_CR5","unstructured":"Bhandarkar, D.P., Analytic Modelsfor Memory Interference in Multiprocess Computer Systems, PhD thesis, Carnegie Mellon University, Pittsburgh, Pennsylvania, September, 1972."},{"key":"25_CR6","unstructured":"Castillo, X., A Compatible Hardware\/Software Reliability Prediction Model, PhD thesis, Carnegie Mellon University, July 1981, Also Department of Computer Science Technical Report."},{"key":"25_CR7","unstructured":"Castillo, X. and Siewiorek, D. P., A workload dependent software reliability prediction model, In International Fault Tolerant Computing Symposium, pp. 279\u2013286, June 1982."},{"issue":"7","key":"25_CR8","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1109\/TC.1982.1676063","volume":"31","author":"X. Castillo","year":"1982","unstructured":"Castillo, X., McConnel, S. R. and Siewiorek, D. P., Derivation and calibration of a transient error reliability model, IEEE Transactions on Computers, vol. 31,no. 7, pp. 658\u2013671, July 1982.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Clune, F., Segall Z. and Siewiorek, D. P., Validation of fault-free behavior of a reliable multiprocessor system, FTMP: A case study, In International Conference on Automation and Computer Control, San Diego, CA, June 6\u20138, 1984","DOI":"10.23919\/ACC.1984.4788540"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Clune, E., Segall, Z., and Siewiorek, D. P., Fault-free behavior of reliable multiprocessor systems: FTMP experiments in AIR-LAB, NASA Contractor Report 177967, Grant NAG 1-190, Carnegie Mellon University, August 1985.","DOI":"10.23919\/ACC.1984.4788540"},{"key":"25_CR11","unstructured":"Czeck, E. W., Feather, F. E., Grizzaffi, A. M., Finelli, G. M., Segall, Z. and Siewiorek, D. P., Fault-free performance validation of avionic multiprocessors, In Digital Avionic Systems Conference, October 1986, Dallas, Texas."},{"key":"25_CR12","unstructured":"Czeck, E. W., Siewiorek, D. P. and Segall, Z., Validation of a fault-tolerant multiprocessor: Baseline and synthetic workload measurements, Technical Report CMU-CS-85-177, Carnegie Mellon University, November 1985."},{"key":"25_CR13","unstructured":"DeVale, J., Koopman, P. J. and Guttendorf, D., The Ballista software robustness testing service, In Testing Computer Software Conference, June 1999."},{"issue":"10","key":"25_CR14","doi-asserted-by":"publisher","first-page":"920","DOI":"10.1109\/TC.1980.1675475","volume":"29","author":"S. Elkind","year":"1980","unstructured":"Elkind, S. and Siewiorek, D. P., Reliability and performance of error-correcting memory and register arrays, In IEEE Transactions on Computers, vol. 29,no. 10, pp. 920\u2013927, October 1980.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR15","unstructured":"Feather, F., Siewiorek, D. P. and Segall, Z., Validation of a fault-tolerant multiprocessor: Baseline experiments and workload implementation, Technical Report CMU-CS-85-145, Carnegie Mellon University, July 1985."},{"issue":"5","key":"25_CR16","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1109\/TC.2004.1275293","volume":"53","author":"P. Felber","year":"2004","unstructured":"Felber, P. and Narasimhan, P., Experiences, strategies and challenges in building fault-tolerant CORBA systems, In IEEE Transactions on Computers, vol. 53,no. 5, pp. 497\u2013511, May 2004.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR17","volume-title":"Parallel Processing: The Cm*. Experience","author":"E. F. Gehringer","year":"1987","unstructured":"Gehringer, E. F., Siewiorek, D. P. and Segall, Z., Parallel Processing: The Cm*. Experience, Digital Press, Bedford MA, 1987."},{"key":"25_CR18","unstructured":"Guise, D., Siewiorek, D. P. and Birmingham, W. P., Demeter: A design methodology and environment, In IEEE International Conference on Computer Design\/VLSI in Computers, October 1983."},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Killourhy, K. S., Maxion, R. A. and Tan, K. M. C., A defense-centric taxonomy based on attack manifestations, In International Conference on Dependable Systems & Networks, Florence, Italy, June\u2013July 2004.","DOI":"10.1109\/DSN.2004.1311881"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Koopman, P. J. and DeVale, J., Comparing the robustness of POSIX operating systems, In International Conference on Dependable Systems & Networks, Madison, WI, June 1999, pp. 30\u201337.","DOI":"10.1109\/FTCS.1999.781031"},{"key":"25_CR21","unstructured":"Lai, K. W., Functional Testing of Digital Systems, PhD thesis, Carnegie Mellon University, Department of Computer Science, 1981."},{"key":"25_CR22","unstructured":"Lai, K. W. and Siewiorek, D. P., Functional testing of digital systems, In Design Automation Conference, Miami Beach, FL, June 1983."},{"key":"25_CR23","unstructured":"Lin, T.-T. Y. and Siewiorek, D. P., Architectural issues for on-line diagnostics in a distributed environment, In IEEE International Conference on Computer Design, Port Chester, NY, October 1986."},{"issue":"4","key":"25_CR24","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1109\/24.58720","volume":"39","author":"T.-T. Y. Lin","year":"1990","unstructured":"Lin, T.-T. Y. and Siewiorek, D. P., Error log analysis statistical modeling and heuristic trend analysis, IEEE Transactions on Reliability, vol.39,no.4, p.419\u201332, October 1990.","journal-title":"IEEE Transactions on Reliability"},{"key":"25_CR25","first-page":"350","volume-title":"Computer Structures: Principles and Examples","author":"H. H. Mashburn","year":"1982","unstructured":"Mashburn, H. H., The C.mmp\/Hydra project: An architectural overview, In Siewiorek. D. P., Bell, C. G. and Newell, A, Computer Structures: Principles and Examples, pp. 350\u2013370, McGraw-Hill. New York 1982."},{"key":"25_CR26","unstructured":"Maxion, R. A., Distributed diagnostic performance reporting and analysis. In IEEE International Conference on Computer Design. Port Chester NY, October 1986."},{"key":"25_CR27","volume-title":"IFAC International Conference on Achieving Safe Real-Time Computing Systems (SAFECOMP-86)","author":"R. A. Maxion","year":"1986","unstructured":"Maxion, R. A., Toward fault-tolerant user interfaces, In IFAC International Conference on Achieving Safe Real-Time Computing Systems (SAFECOMP-86), Sarlat, France, October 1986."},{"key":"25_CR28","unstructured":"Maxion, R. A., Human and machine diagnosis of computer hardware faults. IEEE Computer Society Workshop on Reliability of Local Area Networks, South Padre Island, Texas, February 1982."},{"issue":"2","key":"25_CR29","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/12.980003","volume":"51","author":"R. A. Maxion","year":"2002","unstructured":"Maxion, Roy A. and Tan, K. M. C., Anomaly detection in embedded systems, IEEE Transactions on Computers, vol. 51,no. 2, pp. 108\u2013120, February 2002.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR30","doi-asserted-by":"crossref","unstructured":"Maxion, Roy A. and Tan, K. M. C., Benchmarking anomaly-based detection systems.\u201c In International Conference on Dependable Systems and Networks, pp. 623\u2013630, New York, NY, June 2000.","DOI":"10.1109\/ICDSN.2000.857599"},{"key":"25_CR31","unstructured":"McConnel, S.R., Analysis and Modeling of Transient Errors in Digital Computers, PhD thesis, Carnegie Mellon University, Department of Electrical Engineering, June 1981, also Department of Computer Science Technical Report."},{"key":"25_CR32","unstructured":"McConnel S.R. and Siewiorek, D. P., The CMU voter chip, Technical Report, Carnegie Mellon University, Department of Computer Science, 1980."},{"issue":"2","key":"25_CR33","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/TC.1981.6312184","volume":"30","author":"S.R. McConnel","year":"1981","unstructured":"McConnel. S.R. and Siewiorek, D. P., Synchronization and voting. In IEEE Transactions on Computers, vol. 30,no. 2, pp. 161\u2013164, February 1981.","journal-title":"IEEE Transactions on Computers"},{"key":"25_CR34","unstructured":"McConnel. S.R., Siewiorek D. P. and Tsao, M. M., Transient error data analysis, Technical Report, Carnegie Mellon University. Department of Computer Science. May 1979."},{"key":"25_CR35","unstructured":"Narasimhan, P., Transparent Fault-Tolerance for CORBA, PhD thesis, Department of Electrical and Computer Engineering, University of California, Santa Barbara, December 1999."},{"key":"25_CR36","unstructured":"NASA-Langley Research Center, Validation Methods for Fault-Tolerant Avionics and Control Systems \u2014 Working Group Meeting I, NASA Conference Publication 2114, Research Triangle Institute, 1979."},{"key":"25_CR37","unstructured":"NASA-Langley Research Center, Validation Methods for Fault-Tolerant Avionics and Control Systems \u2014 Working Group Meeting 11, NASA Conference Publication 2130, Research Triangle Institute, 1979."},{"key":"25_CR38","unstructured":"Object Management Group, Fault-Tolerant CORBA Standard (Final Adopted Specification), OMG Technical Committee Document formal\/01-12-29, December 2001."},{"key":"25_CR39","doi-asserted-by":"crossref","unstructured":"Pertet, S. and Narasimhan, P., Proactive recovery for distributed CORBA applications, IEEE Conference on Dependable Systems and Networks, Florence, Italy, June 2004.","DOI":"10.1109\/DSN.2004.1311905"},{"key":"25_CR40","first-page":"229","volume-title":"Redundancy Techniques for Computing Systems","author":"W.H. Pierce","year":"1962","unstructured":"Pierce, W.H., Adaptive vote-takers improve the use of redundancy, In Wilcox R.H. and W.C. Mann, Redundancy Techniques for Computing Systems. pp. 229\u2013250, Spartan Books, Washington. D.C. 1962."},{"key":"25_CR41","volume-title":"Failure Tolerant Design","author":"W.H. Pierce","year":"1965","unstructured":"Pierce, W.H., Failure Tolerant Design, Academic Press, New York 1965."},{"key":"25_CR42","unstructured":"[42] Shi, Y., A portable, self hosting system dependability measurement and prediction module, Electrical and Computer Engineering Department, Carnegie Mellon University."},{"key":"25_CR43","unstructured":"Shombert. L., The C.vmp Statistics Board Experiment, Master\u2019s thesis, Carnegie Mellon University, Department of Electrical Engineering, 1981."},{"issue":"8","key":"25_CR44","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/MC.1984.1659213","volume":"17","author":"D.P. Sie wiorek","year":"1984","unstructured":"Sie wiorek, D.P., Architecture of fault-tolerant computers, In IEEE Computer, vol. 17,no. 8, pp. 9\u201318, August 1984.","journal-title":"IEEE Computer"},{"key":"25_CR45","first-page":"417","volume-title":"Fault-Tolerant Computing: Theory and Techniques","author":"D. P. Siewiorek","year":"1986","unstructured":"Siewiorek, D. P., Architecture of fault-tolerant computers, In D.K. Pradhan, Fault-Tolerant Computing: Theory and Techniques, Vol. II, pp. 417\u2013466, Prentice-Hall, Englewood Cliffs, N.J., 1986."},{"key":"25_CR46","doi-asserted-by":"crossref","unstructured":"Siewiorek, D.P. and Lai, K. W., Testing of digital systems, In Proceedings of the IEEE, pp. 1321\u20131333, October 1981.","DOI":"10.1109\/PROC.1981.12169"},{"key":"25_CR47","unstructured":"Siewiorek, D. P. and McConnel, S. R., C.vmp: The implementation, performance, and reliability of a fault-tolerant multiprocessor, In Third US-Japan Computer Conference, October 1978."},{"key":"25_CR48","volume-title":"The Theory and Practice of Reliable System Design","author":"D.P. Siewiorek","year":"1982","unstructured":"Siewiorek, D.P. and Swarz, R. S., The Theory and Practice of Reliable System Design, Digital Press, Bedford MA, 1982."},{"issue":"10","key":"25_CR49","doi-asserted-by":"publisher","first-page":"1178","DOI":"10.1109\/PROC.1978.11111","volume":"66","author":"D. P. Siewiorek","year":"1978","unstructured":"Siewiorek, D. P., Kini, V., Mashburn, H., McConnel, S. and Tsao, M., A case study of C.mmp, Cm*, and C.vmp, Part I: Experiences with fault tolerance in multiprocessor systems, In Proceedings of the IEEE, vol. 66,no. 10, pp. 1178\u20131199, October 1978.","journal-title":"Proceedings of the IEEE"},{"issue":"10","key":"25_CR50","doi-asserted-by":"crossref","first-page":"1200","DOI":"10.1109\/PROC.1978.11112","volume":"66","author":"D. P. Siewiorek","year":"1978","unstructured":"Siewiorek, D. P., Kini, V., Mashburn, H. and Joobbani, R., A case study of C.mmp, Cm*, and C.vmp, Part II: Predicting and calibrating reliability of multiprocessor systems, In Proceedings of the IEEE, vol. 66,no. 10, pp. 1200\u20131220, October 1978.","journal-title":"Proceedings of the IEEE"},{"key":"25_CR51","unstructured":"Siewiorek, D. P., Canepa, M. and Clark, S., C.vmp: The architecture and implementation of a fault-tolerant multiprocessor, In International Symposium on Fault-Tolerant Computing, Los Angeles CA, pp. 37\u201343, June 1977."},{"key":"25_CR52","doi-asserted-by":"crossref","unstructured":"Swan, R. J., Fuller, S. H., Siewiorek, D. P., Cm*: A modular, multi-microprocessor. In AFIPS: Proceedings of the National Computer Conference, pp. 637\u2013644, June 1977.","DOI":"10.1145\/1499402.1499515"},{"issue":"10","key":"25_CR53","doi-asserted-by":"crossref","first-page":"1126","DOI":"10.1109\/PROC.1978.11108","volume":"66","author":"W. N. Toy","year":"1978","unstructured":"Toy, W. N., Fault-tolerant design of local ESS processors, In Proceedings of the IEEE, vol. 66,no. 10, pp. 1126\u20131145, October 1978.","journal-title":"Proceedings of the IEEE"},{"key":"25_CR54","unstructured":"Tsao, M.M., Transient Error and Fault Prediction, PhD thesis, Carnegie Mellon University, Department of Electrical Engineering, January 1981."},{"key":"25_CR55","unstructured":"Tsao, M. M. and Siewiorek, D. P., Trend analysis on system error files, In International Fault Tolerant Computing Symposium, pp. 116\u2013119, June 1983, Milan, Italy."},{"key":"25_CR56","unstructured":"U.S. Department of Defense, Military Standardization Handbook: Reliability Prediction of Electronic Equipment, MIL-STD-HDBK-217B, Notice 1, 1976."},{"key":"25_CR57","volume-title":"Redundancy Techniques for Computer Systems","author":"R.C. Wilcox","year":"1962","unstructured":"Wilcox, R.C. and W.C. Mann, Redundancy Techniques for Computer Systems, Spartan Books, Washington, D.C., 1962"},{"key":"25_CR58","first-page":"765","volume":"41","author":"W.A. Wulf","year":"1972","unstructured":"Wulf, W.A. and Bell, C.G., C.mmp: A multi-mini-processor, In AFIPS Conference, vol. 41, pp. 765\u2013777, Montvale, NJ, 1972.","journal-title":"AFIPS Conference"},{"key":"25_CR59","volume-title":"Hydra\/C.mmp: An Experimental Computer System","author":"W.A. Wulf","year":"1980","unstructured":"Wulf, W.A., Levin, R. and Harbison, S., Hydra\/C.mmp: An Experimental Computer System, McGraw-Hill. New York, New York, 1980."},{"issue":"8","key":"25_CR60","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1109\/12.536231","volume":"45","author":"C. Yount","year":"1996","unstructured":"Yount, C. and Siewiorek, D. P., The automatic generation of instruction-level error manifestations of hardware faults, In IEEE Transactions on Computers, vol. 45,no. 8, pp. 881\u2013891, August 1996.","journal-title":"IEEE Transactions on Computers"}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T15:03:26Z","timestamp":1738163006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_25","relation":{},"subject":[]}}