{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:40:11Z","timestamp":1742589611058,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":63,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540087557"},{"type":"electronic","value":"9783540358800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08755-9_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:33:11Z","timestamp":1330187591000},"page":"282-391","source":"Crossref","is-referenced-by-count":11,"title":["Reliable computing systems"],"prefix":"10.1007","author":[{"given":"B.","family":"Randell","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"8_CR1","unstructured":"Anderson, T., R. Kerr. Recovery Blocks in Action: a system supporting high reliability. Proc. Int. Conf. on Software Engineering San Francisco (Oct. 1976)."},{"key":"8_CR2","unstructured":"Anderson, T., P.A. Lee, S.K. Shrivastava. A Conceptual Model of Recoverability in Multi-Level Systems. Technical Report 115, Computing Laboratory, The University, Newcastle upon Tyne (Nov. 1977)."},{"issue":"11","key":"8_CR3","doi-asserted-by":"crossref","first-page":"1312","DOI":"10.1109\/T-C.1971.223133","volume":"C-20","author":"A. Avizienis","year":"1971","unstructured":"Avizienis, A. et al. The STAR (Self Testing and Repairing Computer): An Investigation of the Theory and Practice of Fault Tolerant Computer Design. IEEE Trans. on Computers, C-20, 11 (Nov. 1971), 1312\u20131321.","journal-title":"IEEE Trans. on Computers"},{"key":"8_CR4","first-page":"321","volume":"72","author":"A. Avizienis","year":"1972","unstructured":"Avizienis, A., D.A. Rennels. Fault Tolerance Experiments With the JPL-STAR Computer. IEEE Compcon 72, (1972), 321\u2013324.","journal-title":"IEEE Compcon"},{"issue":"12","key":"8_CR5","doi-asserted-by":"crossref","first-page":"1304","DOI":"10.1109\/TC.1976.1674598","volume":"C-25","author":"A. Avizienis","year":"1976","unstructured":"Avizienis, A. Fault-Tolerant Systems. IEEE Trans. on Computers C-25, 12 (Dec. 1976), 1304\u20131312.","journal-title":"IEEE Trans. on Computers"},{"key":"8_CR6","unstructured":"Banatre, J.-P., S.K. Shrivastava. Reliable Resource Allocation Between Unreliable Processes. Technical Report 99, Computing Laboratory, The University, Newcastle upon Tyne (June 1977)."},{"key":"8_CR7","first-page":"431","volume":"40","author":"H. B. Baskin","year":"1972","unstructured":"Baskin, H.B., B.R. Borgerson, R. Roberts. PRIME-A Modular Architecture for Terminal-Orientated Systems. Proc. AFIPS 1972 SJCC 40 (1972), 431\u2013437.","journal-title":"Proc. AFIPS 1972 SJCC"},{"key":"8_CR8","unstructured":"Bell System Technical Journal. (Sept. 1964)."},{"key":"8_CR9","unstructured":"Bell System Technical Journal. (Feb. 1977)."},{"key":"8_CR10","volume-title":"The Semantics of the Preservation and Recovery of Integrity in a Data System. Report TR 02.540","author":"L. A. Bjork","year":"1972","unstructured":"Bjork, L.A., C.T. Davies. The Semantics of the Preservation and Recovery of Integrity in a Data System. Report TR 02.540, IBM, San Jose, Calif. (Dec. 1972)."},{"key":"8_CR11","volume-title":"Generalised Audit Trail (Ledger) Concepts for Data Base Applications. Report TR 02.641","author":"L. A. Bjork","year":"1974","unstructured":"Bjork, L.A. Generalised Audit Trail (Ledger) Concepts for Data Base Applications. Report TR 02.641, IBM, San Jose, Calif. (Sept. 1974)."},{"key":"8_CR12","unstructured":"Borgerson, B.R. A Fail-Softly System For Timesharing Use. Digest of papers FTC-2. (1972), 89\u201393."},{"key":"8_CR13","unstructured":"Borgerson, B.R. Spontaneous Reconfiguration in a Fail-Softly Computer Utility. Datafair (1973), 326\u2013331."},{"key":"8_CR14","unstructured":"Borgerson, B.R., R.F. Freitas. An Analysis of PRIME Using a New Reliability Model. Digest of papers FTC-4, (1974), 2.26\u20132.31."},{"key":"8_CR15","volume-title":"Operating System Principles","author":"P. Brinch Hansen","year":"1973","unstructured":"Brinch Hansen, P. Operating System Principles. Prentice-Hall, Englewood Cliffs, N.J. (1973)."},{"issue":"2","key":"8_CR16","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","volume":"SE-1","author":"P. Brinch Hansen","year":"1975","unstructured":"Brinch Hansen, P. The Programming Language Concurrent Pascal. IEEE Trans. On Software Engineering. SE-1, 2 (June 1975), 199\u2013207.","journal-title":"IEEE Trans. On Software Engineering"},{"key":"8_CR17","unstructured":"Clement, C.F., R.D. Toyer. Recovery From Faults in the No. 1A Processor. FTC-4 (1974), 5.2\u20135.7."},{"key":"8_CR18","series-title":"Technical Report","volume-title":"Strong Dependency: a formalism for describing information transmission in computation systems","author":"E. S. Cohen","year":"1976","unstructured":"Cohen, E.S. Strong Dependency: a formalism for describing information transmission in computation systems. Technical Report, Computer Science Dept, Carnegie-Mellon Univ., Pittsburgh, PA (Aug. 1976)."},{"key":"8_CR19","unstructured":"Cohen, E.S. On Mechanisms for Solving Problems in Computational Systems. (In preparation.)"},{"key":"8_CR20","unstructured":"Cosserat, D.C. A Capability Oriented Multi-processor System for Real-Time Applications. Int. Conf. On Computer Communications. Washington, D.C. (Oct. 1972), 287\u2013289."},{"issue":"6","key":"8_CR21","first-page":"207","volume":"186","author":"K. S. Darton","year":"1970","unstructured":"Darton, K.S. The Dependable Process Computer. Electrical Review 186, 6 (Feb. 1970), 207\u2013209.","journal-title":"Electrical Review"},{"key":"8_CR22","volume-title":"A Recovery\/Integrity Architecture for a Data System. Report TR 02.528","author":"C. T. Davies","year":"1972","unstructured":"Davies, C.T. A Recovery\/Integrity Architecture for a Data System. Report TR 02.528, IBM, San Jose, Calif. (May 1972)."},{"key":"8_CR23","first-page":"205","volume-title":"Proc. Conf. On Computer Systems and Technology","author":"P. G. Depledge","year":"1977","unstructured":"Depledge, P.G., M.G. Hartley. Fault-Tolerant Microcomputer Systems for Aircraft. Proc. Conf. On Computer Systems and Technology, University of Sussex, Institute of Electronic and Radio Engineers, London (1977), 205\u2013220."},{"issue":"5","key":"8_CR24","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/363095.363143","volume":"11","author":"E. W. Dijkstra","year":"1968","unstructured":"Dijkstra E.W. The Structure of the THE Multiprogramming System. Comm. ACM 11, 5 (1968), 341\u2013346.","journal-title":"Comm. ACM"},{"key":"8_CR25","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, N.J. (1976)."},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Edelberg, M. Data Base Contamination and Recovery. Proc. ACM SIGMOD Workshop on Data Description, Access and Control (May 1974), 419\u2013430.","DOI":"10.1145\/800296.811523"},{"issue":"11","key":"8_CR27","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1145\/360363.360369","volume":"19","author":"K. P. Eswaran","year":"1976","unstructured":"Eswaran, K.P., J.N. Gray, R.A. Lorie, I.L. Traiger. The Notions of Consistency and Predicate Locks in a Database System. Comm. ACM 19, 11 (Nov. 1976), 624\u2013633.","journal-title":"Comm. ACM"},{"issue":"11","key":"8_CR28","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1145\/355611.362535","volume":"16","author":"R. S. Fabry","year":"1973","unstructured":"Fabry, R.S. Dynamic Verification of Operating System Decisions. Comm. ACM 16, 11 (1973), 659\u2013668.","journal-title":"Comm. ACM"},{"issue":"12","key":"8_CR29","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"J. B. Goodenough","year":"1975","unstructured":"Goodenough, J.B. Exception Handling: Issues and a Proposed Notation. Comm. ACM 18, 12 (1975), 683\u2013696.","journal-title":"Comm. ACM"},{"key":"8_CR30","unstructured":"Gray, J.N., R.A. Lorie, G.R. Putzolu, L.L. Traiger. Granularity of Locks and Degrees of Consistency in a Shared Database. IBM Research Report RJ1654 (Sept. 1975)."},{"key":"8_CR31","unstructured":"Gray, J.N. (Private Communication)."},{"key":"8_CR32","unstructured":"Hamer-Hodges, K. Fault Resistance and Recovery within System 250. Int. Conf. On Computer Communications. Washington (Oct. 1972), 290\u2013296."},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Heart, F.E., S.M. Ornstein, W.R. Crowther, W.B. Barker. A new minicomputer\/multiprocessor for the ARPA network. Proc. Of the Nat. Computer Conf. New York, N.Y. (June 1973), 529\u2013537.","DOI":"10.1145\/1499586.1499721"},{"key":"8_CR34","unstructured":"Hecht, H. Fault Tolerant Software for a Fault Tolerant Computer. Software Systems Engineering. Online, Uxbridge (1976), 235\u2013348."},{"issue":"10","key":"8_CR35","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. R. Hoare","year":"1974","unstructured":"Hoare, C.A.R. Monitors: an operating system structuring concept. Comm. ACM 17, 10 (Oct. 1974), 549\u2013537.","journal-title":"Comm. ACM"},{"issue":"1","key":"8_CR36","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/356612.356614","volume":"5","author":"J. J. Horning","year":"1973","unstructured":"Horning, J.J., B. Randell. Process Structuring. Comp. Surveys 5, 1 (1973), 5\u201330.","journal-title":"Comp. Surveys"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Horning, J.J., H.C. Lauer, P.M. Melliar-Smith, B. Randell. A Program Structure for Error Detection and Recovery. Proc. Conf. On Operating Systems: Theoretical and Practical Aspects. IRIA (1974), 177\u2013193. (Reprinted in Lecture Notes in Computer Science, Vol. 16, Springer-Verlag).","DOI":"10.1007\/BFb0029359"},{"key":"8_CR38","volume-title":"Crash Recovery in a Distributed Data Storage System","author":"B. Lampson","year":"1976","unstructured":"Lampson, B., H. Sturgis. Crash Recovery in a Distributed Data Storage System. Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, Calif, (1976)."},{"issue":"4","key":"8_CR39","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1145\/356678.356682","volume":"8","author":"T. A. Linden","year":"1976","unstructured":"Linden, T.A. Operating System Structures to Support Security and Reliable Software. Comp. Surveys 8, 4 (Dec. 1976), 409\u2013445.","journal-title":"Comp. Surveys"},{"issue":"3","key":"8_CR40","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/390017.808319","volume":"12","author":"D. B. Lomet","year":"1977","unstructured":"Lomet, D.B. Process Structuring, Synchronisation and Recovery using Atomic Actions. Proc. ACM Conf. On Language Design for Reliable Software. Sigplan Notices 12, 3 (March 1977), 128\u2013137.","journal-title":"Proc. ACM Conf. On Language Design for Reliable Software. Sigplan Notices"},{"issue":"3","key":"8_CR41","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1147\/sj.133.0230","volume":"13","author":"W. S. McPhee","year":"1974","unstructured":"McPhee, W.S. Operating System Integrity in OS\/VS2. IBM System J. 13, 3 (1974), 230\u2013252.","journal-title":"IBM System J."},{"key":"8_CR42","unstructured":"Melliar-Smith, P.M. Error Detection and Recovery in Data Base Systems. (Unpublished, 1975)."},{"issue":"3","key":"8_CR43","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/390017.808315","volume":"12","author":"P. M. Melliar-Smith","year":"1977","unstructured":"Melliar-Smith, P.M., B. Randell. Software Reliability: the role of programmed exception handling. Proc. ACM Conf. on Language Design for Reliable Software. Sigplan Notices 12, 3 (March 1977), 95\u2013100.","journal-title":"Proc. ACM Conf. on Language Design for Reliable Software. Sigplan Notices"},{"key":"8_CR44","unstructured":"Naur, P. Software Reliability. Infotech State of the Art Conference on Reliable Software, London (1977), 7\u201313."},{"key":"8_CR45","doi-asserted-by":"crossref","DOI":"10.21236\/AD0766974","volume-title":"A Study of Fault-Tolerant Computing","author":"P. G. Neumann","year":"1973","unstructured":"Neumann, P.G., J. Goldberg, K.N. Levitt, J.H. Wensley. A Study of Fault-Tolerant Computing. Stanford Research Institute, Menlo Park, California (July 1973)."},{"key":"8_CR46","doi-asserted-by":"crossref","unstructured":"Ornstein, S.M., W.R. Crowther, M.F. Kraley, R.D. Bressler, A. Michael, F.E. Heart. Pluribus \u2014 a reliable multi-processor. Proc. Of the Nat. Computer Conf. New York, N.Y. (June 1975), 551\u2013559.","DOI":"10.1145\/1499949.1500061"},{"key":"8_CR47","unstructured":"Parnas, D.L. Information Distribution Aspects of Design Methodology. Proc. IFIP Congress (1971), TA256-30."},{"key":"8_CR48","unstructured":"Parnas, D.L., H. Wurges. Response to Undesired Events in Software Systems. Proc. Conf. On Software Engineering. San Francisco, Calif. (1976), 437\u2013446."},{"key":"8_CR49","first-page":"221","volume-title":"Proc. Conf. On Computer Systems and Technology, University of Sussex","author":"B. J. Parsons","year":"1977","unstructured":"Parsons, B.J. Reliability Considerations and Design Aspects of the Hawker Siddeley Space Computer. Proc. Conf. On Computer Systems and Technology, University of Sussex. Inst. Of Electronic and Radio Engineers, London (March 1977), 221\u2013222."},{"issue":"2","key":"8_CR50","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B. Randell","year":"1975","unstructured":"Randell, B. System Structure for Software Fault Tolerance. IEEE Trans. On Software Engineering. SE-1, 2 (June 1975), 220\u2013232.","journal-title":"IEEE Trans. On Software Engineering."},{"key":"8_CR51","unstructured":"Repton, C.S. Reliability Assurance for System 250, a Reliable Real-Time Control System. Int. Conf. On Computer Communications. Washington (Oct. 1972), 297\u2013305."},{"key":"8_CR52","unstructured":"Rohr, J.A. Starex Self-Repair Routines: Software Recovery in the JPL-STAR Computer. Digest of papers FTC-3, (1973), 11\u201316."},{"key":"8_CR53","volume-title":"Plex1: Sameness and the Need for Rigor. Report 9031-1.1","author":"D. T. Ross","year":"1975","unstructured":"Ross, D.T. Plex1: Sameness and the Need for Rigor. Report 9031-1.1, Softech, Inc., Waltham, Mass. (Nov. 1975)."},{"key":"8_CR54","volume-title":"State Restoration Amongst Communicating Processes. TR 112","author":"D. L. Russell","year":"1976","unstructured":"Russell, D.L. State Restoration Amongst Communicating Processes. TR 112, Digital Systems Laboratory, Stanford University, Calif. (June 1976)."},{"key":"8_CR55","volume-title":"Probabilistic Reliability: An Engineering Approach","author":"M. L. Shooman","year":"1968","unstructured":"Shooman, M.L. Probabilistic Reliability: An Engineering Approach. McGraw-Hill, New York (1968)."},{"key":"8_CR56","volume-title":"A Study in the Design of High Integrity Systems","author":"R. M. Simpson","year":"1974","unstructured":"Simpson, R.M. A Study in the Design of High Integrity Systems. INFO Software, London (1974)."},{"key":"8_CR57","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1093\/comjnl\/15.2.117","volume":"15","author":"J. E. Stoy","year":"1972","unstructured":"Stoy, J.E., C. Strachey. OS6 \u2014 An Experimental Operating System for a Small Computer. Comp. J. 15 (1972), 117\u2013124, 195\u2013201.","journal-title":"Comp. J."},{"key":"8_CR58","unstructured":"Taylor, J.M. Redundancy and Recovery in the HIVE Virtual Machine. Proc. European Conf. on Software System Engineering, London (Sept. 1976), 263\u2013293."},{"key":"8_CR59","series-title":"Technical Report","volume-title":"Recovery for Multi-Level Data Structures","author":"J. S. M. M. Verhofstad","year":"1976","unstructured":"Verhofstad, J.S.M. Recovery for Multi-Level Data Structures. Technical Report No. 96. Computing Laboratory, The University, Newcastle upon Tyne (Dec. 1976)."},{"key":"8_CR60","doi-asserted-by":"crossref","unstructured":"Verhofstad, J.S.M. Recovery and Crash Resistance in a Filing System. Proc. SIGMOD Conference, Toronto (Aug. 1977).","DOI":"10.1145\/509404.509430"},{"key":"8_CR61","volume-title":"Procedure-Oriented Exception Handling","author":"A. I. Wasserman","year":"1976","unstructured":"Wasserman, A.I. Procedure-Oriented Exception Handling Medical Information Science, University of California, San Francisco, Calif. (1976)."},{"key":"8_CR62","doi-asserted-by":"crossref","unstructured":"Wensley, J.H. SIFT \u2014 Software implemented fault tolerance. Proc. Nat. Computer Conf., New York (June 1972), 243\u2013253.","DOI":"10.1145\/1479992.1480025"},{"issue":"6","key":"8_CR63","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/390016.808432","volume":"10","author":"W. A. Wulf","year":"1975","unstructured":"Wulf, W.A. Reliable Hardware-Software Architecture. Proc. Int. Conf. On Reliable Software. SigPlan Notices 10, 6 (June 1975), 122\u2013130.","journal-title":"Proc. Int. Conf. On Reliable Software. SigPlan Notices"}],"container-title":["Lecture Notes in Computer Science","Operating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08755-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:04:01Z","timestamp":1742587441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08755-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540087557","9783540358800"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/3-540-08755-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}