Switchover software reliability estimate for Paducah Freezer/Sublimer computer systems
K-25 Engineering Division purchased a series of redundant computer systems and developed software for the purpose of providing continuous process monitoring and control for the Freezer/Sublimer equipment in the gaseous diffusion process at the Paducah Gaseous Diffusion Plant. The application software is loaded on two central processing units (CPU) so that in the event of a failure of the primary unit, the processing can switch to the backup unit and continue processing without error. It is the purpose of this document to demonstrate the reliability of this system with respect to its ability to switch properly between redundant CPU. The total reliability estimation problem -- which considers the computer hardware, the operating system software, and the application software -- has been reduced to one that considers only the application software directly involved in the switchover process. Estimates are provided for software reliability and the testing coverage. Software and hardware reliability models and reliability growth models are considered in addition to Bayesian approaches.
- Research Organization:
- Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States)
- Sponsoring Organization:
- USDOE, Washington, DC (United States)
- DOE Contract Number:
- AC05-84OR21400
- OSTI ID:
- 10160490
- Report Number(s):
- ORNL/TM-12234; ON: DE93013844
- Resource Relation:
- Other Information: PBD: Apr 1993
- Country of Publication:
- United States
- Language:
- English
Similar Records
Uranium hexaflouride freezer/sublimer process simulator/trainer
Recommendations for a Kalman filter to estimate and control freeze and sublime rates of gaseous diffusion plant freezer/sublimer systems
Related Subjects
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
PADUCAH PLANT
REFRIGERATING MACHINERY
COMPUTERIZED CONTROL SYSTEMS
RELIABILITY
GASEOUS DIFFUSION PROCESS
COMPUTERIZED SIMULATION
STATISTICS
PROCESS CONTROL
050500
990200
URANIUM ENRICHMENT
MATHEMATICS AND COMPUTERS