A Model of Recoverability in Multilevel Systems
- 1 November 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-4 (6) , 486-494
- https://doi.org/10.1109/tse.1978.233872
Abstract
Backward error recovery (that is, resetting an erroneous state of a system to a previous error-free state) is an important general technique for recovery from faults in a system, especially those faults which were not foreseen. However, the provision of backward error recovery can be complex, particularly if the implementation of the system is "multilever" and recovery is to be provided at a number of these levels. This paper discusses two distinct categories of multilevel system, and then examines in detail the issues involved in providing backward error recovery in both types of system.Keywords
This publication has 9 references indexed in Scilit:
- Reliability Issues in Computing System DesignACM Computing Surveys, 1978
- Reliable Resource Allocation Betvveen Unreliable ProcessesIEEE Transactions on Software Engineering, 1978
- Notes on data base operating systemsPublished by Springer Nature ,1978
- Process backup in producer-consumer systemsPublished by Association for Computing Machinery (ACM) ,1977
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- Generalized audit trail requirements and concepts for data base applicationsIBM Systems Journal, 1975
- Recovery semantics for a DB/DC systemPublished by Association for Computing Machinery (ACM) ,1973
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968