Embedded software verification and debugging

摘要

Speaking about embedded software and hardware is related to speaking about critical systems, which by definition must be reliable systems with no failures at all. Or, in case of failures, systems must have enough intelligence to operate under certain safety conditions for a short period of time (fail-safe or recovery mode).