Toward a resourceful method of software fault tolerance

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Toward a resourceful method of software fault tolerance

Full text

Pdf (49 KB)

Source

ACM Southeast Regional Conference archive
Proceedings of the 37th annual Southeast regional conference (CD-ROM) table of contents

Article No. 1

Year of Publication: 1999

ISBN:1-58113-128-3

Authors

Ray Giguette	Computer Science Department, Nicholls State University, Thibodaux, Louisiana
Johnette Hassell	Computer Science Department, Tulane University, New Orleans, Louisiana

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 41, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/306363.306366 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Russell J. Abbott, Resourceful systems for fault tolerance, reliability, and safety, ACM Computing Surveys (CSUR), v.22 n.1, p.35-68, March 1990 [doi>10.1145/78949.78951]
	2	[2] Avizienis, A., and Chen, L., "On the Implementation of N-Version Programming for Software Fault Tolerance During Execution", Proceedings 1st IEEE International Computer Science Applications Conference, Chicago, Illinois, November 1977, pp. 149-155.
	3	[3] Avizienis, A., and Kelly, J. P. J., "Fault Tolerance by Design Diversity: Concepts and Experiments", IEEE Computer, 17, 8, August 1984, pp. 67-80.
	4	Susan S. Brilliant , John C. Knight , Nancy G. Leveson, Analysis of Faults in an N-Version Software Experiment, IEEE Transactions on Software Engineering, v.16 n.2, p.238-247, February 1990 [doi>10.1109/32.44387]
	5	Dave E. Eckhardt , Larry D. Lee, Fundamental differences in the reliability of n-modular redundancy and redundancy and N-version programming, Journal of Systems and Software, v.8 n.4, p.313-318, September 1988 [doi>10.1016/0164-1212(88)90014-3]
	6	Dave E. Eckhardt , Alper K. Caglayan , John C. Knight , Larry D. Lee , David F. McAllister , Mladen A. Vouk , John J. P. Kelly, An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability, IEEE Transactions on Software Engineering, v.17 n.7, p.692-702, July 1991 [doi>10.1109/32.83905]
	7	John B. Johnston, The contour model of block structured processes, ACM SIGPLAN Notices, v.6 n.2, February 1971 [doi>10.1145/1115880.1115883]
	8	John P. J. Kelly , Thomas I. McVittie , Wayne I. Yamamoto, Implementing Design Diversity to Achieve Fault Tolerance, IEEE Software, v.8 n.4, p.61-71, July 1991 [doi>10.1109/52.300038]
	9	J. C. Knight , N. G. Leveson, An experimental evaluation of the assumption of independence in multiversion programming, IEEE Transactions on Software Engineering, v.12 n.1, p.96-109, Jan. 1986
	10	Jean-Claude Laprie , Christian Béounes , Karama Kanoun, Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures, Computer, v.23 n.7, p.39-51, July 1990 [doi>10.1109/2.56851]
	11	Nancy G. Leveson , Stephen S. Cha , John C. Knight , Timothy J. Shimeall, The Use of Self Checks and Voting in Software Error Detection: An Empirical Study, IEEE Transactions on Software Engineering, v.16 n.4, p.432-443, April 1990 [doi>10.1109/32.54295]
	12	Victor P. Nelson, Fault-Tolerant Computing: Fundamental Concepts, Computer, v.23 n.7, p.19-25, July 1990 [doi>10.1109/2.56849]
	13	Sam Owre , John Rushby , Natarajan Shankar , Friedrich von Henke, Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS, IEEE Transactions on Software Engineering, v.21 n.2, p.107-125, February 1995 [doi>10.1109/32.345827]
	14	[14] Randell, B., "Software Structure for Software Fault Tolerance", IEEE Transactions on Software Engineering, 1, 2, June 1975, pp. 220-232.
	15	[15] Rushby, J., Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems, Computer Science Laboratory, Technical Report SRI-CSL- 91-03, June 1991.
	16	Kuo-Chung Tai, Theory of Fault-Based Predicate Testing for Computer Programs, IEEE Transactions on Software Engineering, v.22 n.8, p.552-562, August 1996 [doi>10.1109/32.536956]
	17	[17] Taylor, D. J., Morgan, D. E., and Black, J. P., "Redundancy in Data Structures: Improving Software Fault Tolerance", IEEE Transactions on Software Engineering, 6, 6, November 1980, pp. 585-594.

CITED BY 2

	Ray Giguette , Johnette Hassell, Designing a resourceful fault-tolerance system, Journal of Systems and Software, v.62 n.1, p.47-57, 1 May 2002
	Ray Giguette , Johnette Hassell, A relational database model of program execution and software components, Proceedings of the 38th annual on Southeast regional conference, April 07-08, 2000, Clemson, South Carolina