Dynamic code replacement and Ada
Ken Tindell · ACM SIGAda Ada Letters · 1990
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.