Publication | Closed Access
Logic Design for Dynamic and Interactive Recovery
23
Citations
11
References
1971
Year
EngineeringVerificationComputer ArchitectureSoftware EngineeringFault ToleranceFault-tolerant MessagingSoftware AnalysisFormal VerificationRecovery Control UnitError DetectionReliability EngineeringData RecoverySystems EngineeringFault RecoveryComputer EngineeringComputer ScienceLogic DesignAutomated ReasoningProgram AnalysisSoftware TestingDynamic LogicFormal MethodsDynamic Interactive RecoveryFault InjectionSystem Software
Recovery in a fault-tolerant computer means the continuation of system operation with data integrity after an error occurs. This paper delineates two parallel concepts embodied in the hardware and software functions required for recovery; detection, diagnosis, and reconfiguration for hardware, data integrity, checkpointing, and restart for the software. The hardware relies on the recovery variable set, checking circuits, and diagnostics, and the software relies on the recovery information set, audit, and reconstruct routines, to characterize the system state and assist in recovery when required. Of particular utility is a handware unit, the recovery control unit, which serves as an interface between error detection and software recovery programs in the supervisor and provides dynamic interactive recovery.
| Year | Citations | |
|---|---|---|
Page 1
Page 1