B. Randell
- ANDE76 ANDERSON, T.; AND KERR, R. "Recovery blocks in actmn: a system supporting high rehability," m Proc. Int Conf. Software Engineering. 1976. Google Scholar
- ANDE77 ANDERSON, T.; LEE, P. A.; AND SHRI- VASTAVA, S. K. A model of recoverabd~ty m multi.level systems, Tech. Rep 115, Computing Laboratory, Umv. Newcastle upon Tyne, UK, Nov. 1977. To appear in IEE Trans. Soflw EngGoogle Scholar
- AVIZ71 AVIZIENIS, A. et al. "The STAR (self testing and repah~ing) computer' an investigation of the theory and practice of fault tolerant computer design," IEEE Trans. Comput. C-20, 11 (Nov. 1971), 1312-1321.Google ScholarDigital Library
- AVIZ72 AVIZIENIS, A.; AND RENNEI~, D. A. "Fault tolerance experiments with the JPL-STAR computer," IEEE COMP- CON 72, IEEE, New York, 1972, pp. 321-324.Google Scholar
- AVIZ76 AVIZIENIS, A "Fault-tolerant systerns." IEEE Trans. Comput C-25, 12 (Dec. 1976), 1304-1312.Google ScholarDigital Library
- BASK72 BASKIN, H. B.; BORGERSON, B. R.; AND ROBERTS, R. "PRIME--a modular architecture for terminal-orientated systems," in Proc. 1972 AFIPS Spring Jr. Computer Conf, Vol. 40, AFIPS Press, Montvale, N.J., pp. 431-437.Google Scholar
- BELL64 Bell Syst. Tech. J., (Sept. 1964).Google Scholar
- BELL77 Bell Syst. Tech. J., (Feb. 1977).Google Scholar
- BJOR72 BJORK, L. A.; AND DAVIES, C.T. The semantws of the preservat~on and recovery of integrity tna data system, Rep. TR 02.540, IBM, San Jose, Calif., Dec. 1972.Google Scholar
- BJOR74 BJORK, L.A. Generahsed audtt trad (ledger) concepts for data base apphcatmns, Rep. TR 02.641, IBM, San Jose, Cahf., Sept. 1974Google Scholar
- BORG72 BORGERSON, B. R. "A fail-softly system for timesharing use," Dtgest of papers FTC-2, 1972, pp. 89-93.Google Scholar
- BORG73 BORGERSON, B. R "Spontaneous reconfiguration in a fail-softly computer utility," Datafa~r (1973), 326-331Google Scholar
- CLEM74 CLEMENT, C. F., AND TOYER, R. D. "Recovery from faults m the No. 1A processor," FTC-4, 1974, pp 5.2-5 7Google Scholar
- DAVI72 DAVIES, C. T. A recovery~integrity archttecture for a data system, Rep. TR 02.528, IBM, San Jose, Calif., May 1972.Google Scholar
- DENN76 DENNING, P. J. "Fault-tolerant operating systems," Comput. Surv. 8, 4 (Dec. 1976), 359-389. Google ScholarDigital Library
- DIJK68 DIJKSTRA, E. W. "The structure of the 'THE'-multiprogramming system," Commun. ACM 11, 5 (May 1968), 341-346. Google ScholarDigital Library
- DIJK76 DIJKSTRA, E. W A dtsctphne of programmmg, Prentice-Hall, Inc., Eng|ewood Cliffs, N.J., 1976.Google Scholar
- EDEL74 EDELBERG, M. "'Data base contamlna- Uon and recovery," in Proc. A CM SIG- MOD Workshop Data Descr~ptmn, Access and Control, 1974, ACM, New York, pp. 419-430. Google Scholar
- ELSP72 ELSPAS, B.; LEVITT, K. N ; WALDINGER, R J.; AND WAKSMAN, A "An assessment of techniques for proving program correctness," Comput. Surv. 4, 2 (June 1972), 97-147 Google ScholarDigital Library
- ESWA76 ESWARAN, K P.; GRAY, J. N, LORIE, R. A, AND TRAIGER, I.L. "The notions of consistency and predicate locks in a database system," Commun. ACM 19, 11 (Nov. 1976), 624-633. Google ScholarDigital Library
- FABR73 FABRY, R S "Dynamm venficatmn of operating system decisions," Commun. ACM 16, 11 (Nov 1973), 659-668. Google ScholarDigital Library
- FOSD76 FOSDICK, L. D., AND OSTERWEIL, I#. J "Data flow analysis in software reliability," Comput. Surv. 8, 3 (Sept. 1976), 305-330. Google ScholarDigital Library
- GOOD75 GOODENOUGH, J. B. "Exception handling" issues and a proposed notation," Commun. ACM 18, 12 (Dec. 1975), 683-696. Google ScholarDigital Library
- GRAY75 GRAY, J. N.; LORIE, R. A.; PUTZOLU, G. R.; AND TRAINER, L.L. Granularity of locks and degrees of consistency ~n a shared database, IBM Research Rep. RJ1654, Sept. 1975Google Scholar
- GRAY77 GRAY, J.N. Private commumcation.Google Scholar
- HANT76 HANTLER, S. L., AND KING, J.C. "An introduction to proving the correctness of programs," Comput. Surv. 8, 3 (Sept. 1976), 331-353. Google ScholarDigital Library
- HEAR73 HEART, F. E.; ORNSTEIN, S. M., CROWTHER, W. R; AND BARKER, W. B "A new minlcomputer/multiprocessor for the ARPA network," in Proc. 1973 AFIPS Natl. Computer Conf, Vol 42, AFIPS Press, Montvale, N.J., pp. 529-537Google Scholar
- HORN74 HORNING, J.; LAUER, H C.; MELLIAR- SMITH, P. M.; AND RANDELL, B. "A program structure for error detection and recovery," in Proc. Conf. Operating Systems; Theoretical and Practical Aspects. IRIA, 1974, pp. 177-193. (Reprinted in Lecture notes m computer science, Vol. 16, Sprmger-Verlag, New York.) Google Scholar
- LAMP76 LAMPSON, B.; AND STURGIS, H. Crash recovery m a dtstr~buted data storage system, Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, Calif., 1976.Google Scholar
- LEVI77 LEVIN, R. "Program structures for exception condition handling," PhD Thesis, Carnegie-Mellon Univ., Pittsburgh, Pa, June 1977. Google Scholar
- LOME77 LOMET, D. B. "Process structuring, synchromsatlon and recovery using atomic actions," m Proc. A CM Conf. Language Design for Reliable Software, SIGPLAN Notices 12, 3 (March 1977), 128-137. Google ScholarDigital Library
- LOND75 LONDON, R.L. "A view of program verification," in Proc. Int. Conf. Relmble Software, 1975, ACM, New York, pp. 534-545. Google ScholarCross Ref
- MCPH74 MCPHEE, W S "Operating system integrity in OS/VS2," IBM Syst. J. 13, 3 (1974), 230-252.Google ScholarDigital Library
- MELL77 MELLIAR-SMITH, P. M.; AND RANDELL, B. "Software rehability: the role of programmed exception handling," in Proc. A CM Conf. Language Design for Rehable Software, SIGPLAN Notices 12, 3 (March 1977), 95-100. Google Scholar
- MERL77 MERLIN, P. M.; AND RANDELL, B. Consistent state restoratmn m d~str~buted systems, Tech. Rep. 113, Computing Laboratory, Umv. Newcastle upon Tyne, UK, Oct. 1977.Google Scholar
- NAUR77 NAUR, P. "Software reliability," in Infotech State of the Art Conf. Rehable Software, 1977, Infotech International Ltd., Maidenhead, UK, pp. 7-13.Google Scholar
- NEUM73 NEUMANN, P. G.; GOLDBERG, J.; LEV- ITT, K. N.; AND WENSLEY, J. H. A study of fault-tolerant computmg, Stanford Research Inst., Menlo Park, Calif., July 1973.Google Scholar
- ORNS75 ORNSTEIN, S. M.; CROWTHER, W. R.; KRALEY, M. F.; BRESSLER, R D.; MI- CHAEL, A., AND HEART, F.E. "Plurlbus--a reliable multi-processor," in Proc 1975 AFIPS Natl. Computer Conf., Vol. 44, AFIPS Press, Montvale, N.J., pp. 551-559.Google Scholar
- PARN76 PARNAS, D. L.; AND WURGES, H. "Response to undesired events in software systems," in Proc. Int. Conf. Software Engineering, 1976, pp. 437-446. Google Scholar
- RAND75 RANDELL, B. "System structure for software fault tolerance," IEEE Trans. Softw Eng. SE-1, 2 (June 1975), 220-232.Google ScholarDigital Library
- RAND78 RANDELL, B., LEE, P. A.; AND TRE- LEAVEN, P. C "Reliable computing systems," to appear in Lecture notes m computer science, Springer-Verlag, New York. Google Scholar
- ROHR73 ROHR, J. A. "Starex self-repatr routines software recovery m the JPL- STAR computer", D~gest of papers FTC-3, 1973, pp. 11-16.Google Scholar
- RUSS76 RUSSEL, D. L. State restoratmn amongst commumcatmg processes, Tech. Rep. 112, Digital Systems Laboratory, Stanford Umv., Stanford, Calif., June 1976Google Scholar
- SHOO68 SHOOMAN, M. L. Probabd~st~c rehabihty; an engineering approach, Mc- Graw-Hill, Inc, New York, 1968Google Scholar
- SHRI78 SHRIVASTAVA, S. K.; AND BANATRE, J- P. "Reliable resource allocation between unreliable processes," to appear in IEEE Trans. Soflw Eng. (Also published as Tech. Rep. 99, Computing Laboratory, Univ Newcastle upon Tyne, UK, June 1977.Google Scholar
- VERH77a VERHOFSTAD, j. S.M. "Recovery and crash resistance m a filing system," m Proc. SIGMOD Conf., 1977, ACM, New York, pp. 158-167. Google Scholar
- VERH77b VERHOFSTAD J. S.M. "The construction of recoverable multi-level systems," PhD Thesm, Univ. Newcastle upon Tyne, UK, Aug. 1977Google Scholar
- WASS76 WASSERMAN, A.I. Procedure-oriented exceptmn handhng, Medical Information Science, Univ. California, San Francisco, Calif., 1976.Google Scholar
- WENS72 WENSLEY, J.H. "SIFT--software nnplemented fault tolerance," in Proc. 1972 AFIPS Fall Jt. Computer Conf., Vol. 41, Part I, AFIPS Press, Montvale, N.J., pp. 243-253.Google Scholar
- WULF75 WULF, W.A. "Reliable hardware-software architecture." in Proc. Int. Conf. Rehable Software; SIGPLAN Notices 10, 6 (June 1975), 122-130. Google Scholar
Index Terms
- Reliability Issues in Computing System Design
Recommendations
Management Issues with Cloud Computing
ICCC '13: Proceedings of the Second International Conference on Innovative Computing and Cloud ComputingCloud computing is becoming popular and many organizations are considering the adoption of cloud computing because of its promise of convenient, on demand network access to a shared pool of configurable computing resources such as networks, servers, ...
Security, Privacy Issues and challenges In Cloud Computing: A Survey
ICTCS '16: Proceedings of the Second International Conference on Information and Communication Technology for Competitive StrategiesCloud computing is a rising paradigm for large scale infrastructures. Cloud computing is a technology that being hugely adopted by many organizations like Google, Microsoft, Facebook, Amazon so that the resources are available to multiple users at a ...
Comments