Toggle Main Menu Toggle Search

Open Access padlockePrints

Implementation of Conversations in the Conventional Ada

Lookup NU author(s): Professor Alexander RomanovskyORCiD

Downloads


Abstract

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.


Publication metadata

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


Share