An Optimal Approach to Fault Tolerant Software Systems Design
作者： T.F. Gannon , S.D. Shapiro
关键词: Computer science 、 Reliability engineering 、 Software system 、 Stuck-at fault 、 Fault (power engineering) 、 Fault model 、 Software fault tolerance 、 Knapsack problem 、 Fault coverage 、 Systems design 、 General protection fault 、 Software
摘要: A systematic method of providing software system fault recovery with maximal coverage subject to resource constraints overall cost and additional rate is presented. This based on a model for systems which provides measure the properties in presence computer hardware faults. Techniques parameter measurements are given. An optimization problem results doubly-constrained 0,1 Knapsack problem. Quantitative presented demonstrating effectiveness approach.
sci-hub.se 参考文章(8)
Irvin H Yetter, High-speed fault simulation for UNIVAC 1107 computer system Proceedings of the 1968 23rd ACM national conference on -. pp. 265- 277 ,(1968) , 10.1145/800186.810587
P. C. Gilmore, R. E. Gomory, The Theory and Computation of Knapsack Functions Operations Research. ,vol. 14, pp. 1045- 1074 ,(1966) , 10.1287/OPRE.14.6.1045
John D. Gannon, J. J. Horning, Language design for programming reliability IEEE Transactions on Software Engineering. ,vol. 1, pp. 179- 191 ,(1975) , 10.1109/TSE.1975.6312838
I. D. Hill, Faults in functions, in ALGOL and FORTRAN The Computer Journal. ,vol. 14, pp. 315- 316 ,(1971) , 10.1093/COMJNL/14.3.315
Jonathan S Yormark, Accelerating Greenberg's metho̧d for the computation of knapsack functions Journal of Mathematical Analysis and Applications. ,vol. 49, pp. 629- 637 ,(1975) , 10.1016/0022-247X(75)90202-4
John B. Goodenough, Exception handling Communications of the ACM. ,vol. 18, pp. 683- 696 ,(1975) , 10.1145/361227.361230
B. Randell, System structure for software fault tolerance ACM SIGPLAN Notices. ,vol. 10, pp. 437- 449 ,(1975) , 10.1145/390016.808467
A. Victor Cabot, An Enumeration Algorithm for Knapsack Problems Operations Research. ,vol. 18, pp. 306- 311 ,(1970) , 10.1287/OPRE.18.2.306