Automatic background verification of external interfaces in embedded systems
Original Publication Date: 2000-Apr-01
Included in the Prior Art Database: 2003-Jul-22
In practically all cases, embedded systems must interact with external interfaces such as ASICs or I/O-ports. Usually this interaction is controlled by software drivers, which control the writing of values to (or the reading from) the desired location. Problems may arise when internal or external errors lead to a invalidation of the driver configuration during runtime, leading to undefined behavior of the whole embedded system.