A. Romanovsky
L. Strigini
University of Newcastle upon Tyne. 1994
The purpose of this paper is to give an approach for using backward error recovery in Ada. We are not going to consider the shortcomings of Ada or to propose new language constructions and new run-time algorithms for Ada but we shall try to offer an approach to how software diversity could be used within this language. To use our approach, application programmers are to develop all redundant software in accordance with our recommendations. We believe that Ada has enough facilities to allow using software diversity while developing fault-tolerant systems. Two of the main advantages of this scheme are its functioning within the widely used conventional industrial language and its suitability for real time systems of an iterative type and with time constraints. We hope these will allow to use our ideas in real practice in the near future.