Dynamic replacement of software in hard real-time systems

software system may threaten the mission success. The usual maantenance technaques are not useful when dealang wzth non-stop software systems. It as not 0 Typical telecommunication systems require conpossable to stop the system executaon to update some tinuous operation, in order to provide an adeof zts components. Dynamac software replacement as quate service. The fault-rate of these systems a mechanasm that allows components iipdataiig waihout should be few hours in a year. stopping the wh,ole system. Several systems architectures and protocols for dyn,amically replacing software components have been developed. However, none of them takes inlo acc0un.t the specific requirements of embedded hard real-time system,s. In particular, there is no provision to en.sure that the timing requirem,ents will be met during and after a replacement operation. In, this paper, a protocol for dynamic replacement of software components in embedded hard real-time is described. This protocol does not disturb the real-time processes, so they can meet iheir deadliiies. The replncem,eiji operation. is m,an.aged by a Replacement. Supervisor that is implemented as a sporadic semer ,with a limited time budget. The protocol as divided into four p h, ases : loa ding, creation,, rep1 a ce in en, d a ii. d clea, n. in g .

[1]  Juan Antonio de la Puente,et al.  IMPLEMENTING MODE CHANGES AND FAULT RECOVERY FOR HARD REAL-TIME SYSTEMS IN ADA , 1992 .

[2]  Alan Burns,et al.  Mode changes in priority preemptively scheduled systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[3]  Morris Sloman,et al.  Constructing Distributed Systems in Conic , 1989, IEEE Trans. Software Eng..

[4]  Alejandro Alonso,et al.  Dynamic software replacement model and its Ada implementation , 1991, TRI-Ada '91.

[5]  Ken Tindell Dynamic code replacement and Ada , 1990, ALET.

[6]  Alan Burns,et al.  Deadline Monotonic Scheduling Theory , 1992 .

[7]  Lui Sha,et al.  Rate Monotonic Analysis for Real-Time Systems , 1991 .

[8]  Alejandro Alonso,et al.  Dynamically Replaceable Software: A Design Method , 1991, ESEC.

[9]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[10]  I. G. BONNER CLAPPISON Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[11]  Alan Burns,et al.  Dynamic change management and Ada , 1989, J. Softw. Maintenance Res. Pract..