Software fault tolerance using hierarchical N-version programming

An extension to N-version programming is proposed, where a problem is viewed as a set of objects which can be hierarchically organized into several levels. N-version programming is then applied to objects at different levels. The concept of recovery metaprogram (RMP) is used to provide the needed support and the Ada language is used to make this scheme more concrete.<<ETX>>

[1]  Nancy G. Leveson,et al.  An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.

[2]  John C. Knight,et al.  On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems , 1987, IEEE Trans. Software Eng..

[3]  Liba Svobodova.  Resilient Distributed Computing , 1984, IEEE Transactions on Software Engineering.

[4]  Eduardo B. Fernandez,et al.  Using different language levels for implementing fault-tolerant programs , 1987 .

[5]  Brian Randell.  System structure for software fault tolerance , 1975 .

[6]  James P. Black,et al.  Redundancy in Data Structures: Improving Software Fault Tolerance , 1980, IEEE Transactions on Software Engineering.

[7]  Rakesh Jha,et al.  Ada Program Partitioning Language: A Notation for Distributing Ada Programs , 1989, IEEE Trans. Software Eng..

[8]  James M. Purtilo,et al.  A system for supporting multi-language versions for software fault tolerance , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[9]  K. H. Kim,et al.  Approaches to Mechanization of the Conversation Scheme Based on Monitors , 1982, IEEE Transactions on Software Engineering.

[10]  Andrea Clematis,et al.  A system architecture for fault tolerance in concurrent software , 1990, Computer.

[11]  Algirdas Avizienis,et al.  The N-Version Approach to Fault-Tolerant Software , 1985, IEEE Transactions on Software Engineering.