No abstract

Embedded software maintenance is increasingly recognized to be one of the most serious limitations of industrial equipments, especially under emergency conditions. The paper proposes a systematic software maintenance framework, which employs three policies including the built-in, on-site, and remote maintenance, a combination of which can effectively handle the specific requirements of emergency software maintenance for individual industrial equipments. An emergency maintenance solution can significantly mitigate the catastrophic effects of equipment malfunctions caused by software errors, though it may be immature in nature and replaced by an integrated maintenance solution afterwards.

No abstract

The paper proposes a framework for on-the-fly repairing critical embedded software which is developed using formal derivation techniques. When a failure occurs during runtime, recorded information about software derivation history helps to identify and locate the original error in early phases of the development process quickly and precisely; afterwards we can tentatively correct the error and reconstruct the software until the failure is removed. An implementation of a semiautomatic tool demonstrates the feasibility and leads to a general comprehension of the framework.