Fault-tolerant programming by transformations

  title={Fault-tolerant programming by transformations},
  author={Zhiming Liu},
It has been usual to consider that the steps of program refinement start with a program specification and end with the production of the text of an executable program. But for fault-tolerance, the program must be capable of taking account of the failure modes of the particular architecture on which it is to be executed. In this thesis we shall develop a formal framework which shows how a program constructed for a fault-free system can be transformed into a fault-tolerant program for execution… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 37 references

00-56 / Issue 1

  • Ministry of Defence, Glasgow, U. K. Hazard Analysis, Safety Classification of the Computer, Programmable Electronic System Elements of Defence Equipment
  • April
  • 1991

Defence Standard: The Procurement of Safety Critical Software in Defence Equipment

  • Ministry of Defence, Glasgow, U.K
  • PART 2: Guidance. 00-55(PART 2)/ Issue 1, April
  • 1991

Similar Papers

Loading similar papers…