Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems, craves for more powerful tools, which are now becoming available to engineers.

翻译：了解缺陷类型可能导致新颖的调试和运行时间核查方法。 处理复杂的缺陷,特别是在内嵌系统这个具有挑战性的领域,需要更强大的工具,而工程师现在可以使用这些工具。