Fault diagnosis in embedded software

Examines and categorises the various failure mechanisms (e.g. queue overflow and resource lock-up) that are commonly experienced in typical embedded real-time systems. These failure mechanisms are listed together with the type of information that must be recorded in order to assist fault detection and rectification. The impact of this approach on the initial design of software is discussed, with an aim to producing an approach to the design of embedded systems that ensures that systems can remain in operation and survive erroneous events or resource limiting situations. At the same time this assists with the diagnosis of software design faults