Browse by author
Lookup NU author(s): Emeritus Professor Alexander RomanovskyORCiD
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.
Author(s): Romanovsky A, Strigini L
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1994
Pages: 13
Print publication date: 01/06/1994
Source Publication Date: June 1994
Report Number: 475
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/475.pdf
