Dynamic code replacement and Ada

  • Authors:
  • Ken Tindell

  • Affiliations:
  • Computer Science Department, University of York,, Y0l 5DD, England

  • Venue:
  • ACM SIGAda Ada Letters
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

There is a problem in trying to maintain highly reliable software which must continue executing over a long period of time. This problem is characterised by the international space station Freedom. The space station has a long planned lifetime and requires that the computer system remain running for this period. Updates to software normally require reloading. This paper reports on a study into eliminating the need for reloading by providing mechanisms whereby Ada programs can be changed in a consistent manner, permitting the execution of the system to continue.