{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:35:25Z","timestamp":1742380525498},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1986,11,1]],"date-time":"1986-11-01T00:00:00Z","timestamp":531187200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1986,11]]},"DOI":"10.1007\/bf00264310","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T06:07:21Z","timestamp":1096438041000},"page":"621-642","source":"Crossref","is-referenced-by-count":22,"title":["The reliability of life-critical computer systems"],"prefix":"10.1007","volume":"23","author":[{"given":"Robert","family":"Geist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Smotherman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kishor","family":"Trivedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joanne Bechta","family":"Dugan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Agerwala, T., Flynn, M.: Comments on Capabilities, Limitations and ?Correctness? of Petri Nets, Gainesville, FL, pp. 81?86. Proc. First Ann. ACM Symp. Comp. Arch. 1973","DOI":"10.1145\/633642.803973"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MSPEC.1980.6368384","volume":"17","author":"R. Bernhard","year":"1980","unstructured":"Bernhard, R.: The ?No Downtime? Computer. IEEE Spectrum 17, 33?37 (1980)","journal-title":"IEEE Spectrum"},{"key":"CR3","unstructured":"Conn, R., Merryman, P., Whitelaw, P.: CAST ? A Complementary Analytic-Simulative Technique for Modeling Complex Fault-Tolerant Computer Systems, pp. 6.1?6.27. Proc. AIAA-\/NASA\/IEEE\/ACM Computers in Aerospace Conf., Los Angeles 1977"},{"key":"CR4","unstructured":"Costes, A., Doucet, J., Landrault, C., Laprie, J.: SURF ? A Program for Dependability Evaluation of Complex Fault-Tolerant Computing Systems, pp. 72?78. Proc. 11th IEEE FaultTolerant Computing Symp., Portland, ME 1981"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Dugan, J.B.: Extended Stochastic Petri Nets: Applications and Analysis. Dept. Elect. Eng., Duke University, Ph.D. Diss. 1984","DOI":"10.21236\/ADA148439"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"507","DOI":"10.21236\/ADA148439","volume-title":"Extended Stochastic Petri Nets: Applications and Analysis","author":"J.B. Dugan","year":"1984","unstructured":"Dugan, J.B., Trivedi, K., Geist, R., Nicola, V.: Extended Stochastic Petri Nets: Applications and Analysis. Proc. 10th Intl. Symp. Comput. Perf. (PERFORMANCE '84), Paris, pp. 507?519. Amsterdam: North-Holland 1984"},{"key":"CR7","volume-title":"Computer Methods for Mathematical Computations","author":"G. Forsythe","year":"1977","unstructured":"Forsythe, G., Malcolm, M., Moler, C.: Computer Methods for Mathematical Computations. Englewood Cliffs, NJ: Prentice-Hall 1977"},{"key":"CR8","volume-title":"Introduction to System Sensitivity","author":"P. Frank","year":"1978","unstructured":"Frank, P.: Introduction to System Sensitivity. New York: Academic Press 1978"},{"key":"CR9","volume-title":"Introduction to Numerical Analysis","author":"C.-E. Froberg","year":"1969","unstructured":"Froberg, C.-E.: Introduction to Numerical Analysis. Reading, MA: Addison-Wesley 1969"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"1118","DOI":"10.1109\/TC.1983.1676172","volume":"32","author":"R. Geist","year":"1983","unstructured":"Geist, R., Trivedi, K.: Ultra-High Reliability Prediction for Fault-Tolerant Computer Systems. IEEE Trans. Comput. 32, 1118?1127 (1983)","journal-title":"IEEE Trans. Comput."},{"key":"CR11","unstructured":"Geist, R., Trivedi, K., Dugan, J.B., Smotherman, M.: Design of the Hybrid Automated Reliability Predictor, pp. 16.5.1?16.5.8. Proc. 5th IEEE\/AIAA Digital Avionics Systems Conf., Seattle, WA, 1983"},{"key":"CR12","unstructured":"Geist, R., Trivedi, K., Dugan, J.B., Smotherman, M.: Modeling Imperfect Coverage in FaultTolerant Systems, pp. 77?82. Proc. 14th IEEE Intl. Symp. Fault-Tolerant Computing, Orlando, FL 1984"},{"key":"CR13","volume-title":"Mathematical Methods of Reliability Theory","author":"B. Gnedenko","year":"1969","unstructured":"Gnedenko, B., Belyayev, Y., Solovyev, A.: Mathematical Methods of Reliability Theory. New York: Academic Press 1969"},{"key":"CR14","volume-title":"Introduction to Numerical Analysis","author":"F. Hildebrand","year":"1956","unstructured":"Hildebrand, F.: Introduction to Numerical Analysis. New York, NY: McGraw-Hill 1956"},{"key":"CR15","volume-title":"Lectures on Ordinary Differential Equations","author":"E. Hille","year":"1969","unstructured":"Hille, E.: Lectures on Ordinary Differential Equations. Reading, MA: Addison-Wesley 1969"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"1221","DOI":"10.1109\/PROC.1978.11113","volume":"66","author":"A. Hopkins","year":"1978","unstructured":"Hopkins, A., Smith, T., Lala, J.: FTMP ? A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft. Proc. IEEE 66, 1221?1239 (1978)","journal-title":"Proc. IEEE"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1109\/TC.1984.1676412","volume":"33","author":"R. Iyer","year":"1984","unstructured":"Iyer, R.: Reliability Evaluation of Fault-Tolerant Systems ? Effect of Variability in Failure Rates. IEEE Trans. Comput. 33, 197?200 (1984)","journal-title":"IEEE Trans. Comput."},{"key":"CR18","first-page":"341","volume-title":"Mathematical Comp. Perf. and Reliability","author":"J. Laprie","year":"1984","unstructured":"Laprie, J.: Trustable Evaluation of Computer System Dependability. In: Mathematical Comp. Perf. and Reliability (G. Iazeolla, P. Courtois, A. Hordijk, eds.), pp. 341?360. Amsterdam: North-Holland 1984"},{"key":"CR19","unstructured":"Macam, S., Avizienis, A.: ARIES 81: A Reliability and Life-Cycle Evaluation Tool for FaultTolerant Systems, pp. 267?274. Proc. 12th IEEE Symp. Fault-Tolerant Computing, Los Angeles 1982"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Marsan","year":"1984","unstructured":"Marsan, M., Conte, G., Balbo, G.: A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Trans. Comput. Syst. 2, 93?122 (1984)","journal-title":"ACM Trans. Comput. Syst."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1109\/TC.1985.1676599","volume":"34","author":"J. McGough","year":"1985","unstructured":"McGough, J., Smotherman, M., Trivedi, K.: The Conservativeness of Reliability Estimates Based on Instantaneous Coverage. IEEE Trans. Comput. 34, 602?609 (1985)","journal-title":"IEEE Trans. Comput."},{"key":"CR22","volume-title":"The Theory and Practice of Reliable System Design","author":"D. Siewiorek","year":"1982","unstructured":"Siewiorek, D., Swarz, R.: The Theory and Practice of Reliable System Design. Bedford, MA: Digital Press 1982"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1109\/TC.1986.1676766","volume":"35","author":"M. Smotherman","year":"1986","unstructured":"Smotherman, M., Geist, R., Trivedi, K.: Provably Conservative Approximations to Complex Reliability Models. IEEE Trans. Comput. 35, 333?338 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"CR24","series-title":"Contractor Report 3566","volume-title":"CARE III Phase III Report ? Mathematical Description","author":"J. Stiffler","year":"1982","unstructured":"Stiffler, J., Bryant, L.: CARE III Phase III Report ? Mathematical Description. NASA Langley Res. Ctr., Langley, VA, Contractor Report 3566, 1982"},{"key":"CR25","first-page":"79","volume-title":"Proc. Pathways to System Integrity Symp.","author":"K. Trivedi","year":"1980","unstructured":"Trivedi, K., Gault, J., Clary, J.: A Validation Prototype of System Reliability in Life Critical Applications, pp. 79?86. Proc. Pathways to System Integrity Symp., National Bureau of Standards, Washington, DC 1980"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0045-7906(84)90004-1","volume":"11","author":"K. Trivedi","year":"1985","unstructured":"Trivedi, K., Geist, R., Smotherman, M., Dugan, J.B.: Hybrid Reliability Modeling of Fault-Tolerant Computer Systems. Comput. Electr. Eng. 11, 87?108 (1985)","journal-title":"Comput. Electr. Eng."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1109\/TR.1983.5221731","volume":"32","author":"K. Trivedi","year":"1983","unstructured":"Trivedi, K., Geist, R.: Decomposition in Reliability Analysis of Fault-Tolerant Systems. IEEE Trans. Reliab. 32, 463?468 (1983)","journal-title":"IEEE Trans. Reliab."},{"key":"CR28","first-page":"403","volume-title":"Mathematical Comp. Perf. and Reliability","author":"K. Trivedi","year":"1984","unstructured":"Trivedi, K.: Reliability Evaluation for Fault-Tolerant Systems. In: Mathematical Comp. Perf. and Reliability (G. Iazeolla, P. Courtois, A. Hordijk, eds.), pp. 403?414. Amsterdam: NorthHolland 1984"},{"key":"CR29","volume-title":"Probability and Statistics with Reliability, Queueing, and Computer Science Applications","author":"K. Trivedi","year":"1982","unstructured":"Trivedi, K.: Probability and Statistics with Reliability, Queueing, and Computer Science Applications. Englewood Cliffs, NJ: Prentice-Hall 1982"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"1240","DOI":"10.1109\/PROC.1978.11114","volume":"66","author":"J. Wensley","year":"1978","unstructured":"Wensley, J., Lamport, L., Goldberg, J., Green, M., Levitt, K., Melliar-Smith, P., Shostak, R., Weinstock, C.: SIFT: The Design and Analysis of a Fault-Tolerant Computer for Aircraft Control. Proc. IEEE 66, 1240?1255 (1978)","journal-title":"Proc. IEEE"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264310.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00264310\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264310","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T17:14:46Z","timestamp":1554311686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00264310"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,11]]},"references-count":30,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1986,11]]}},"alternative-id":["BF00264310"],"URL":"https:\/\/doi.org\/10.1007\/bf00264310","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,11]]}}}