I. Introduction
Future avionics systems will face challenges in meeting in-creasing performance demands while complying with stringent safety and reliability requirements. Modern system concepts such as Integrated Modular Avionics (IMA) require a paradigm shift from distributed and function-driven avionics systems to modular and generic avionics architectures. Regardless, avionics systems must be designed and developed so that they cannot cause a catastrophic event due to a single failure [1]. In addition, safety and mission-critical components must be able to tolerate a certain number of failure events before they fail. The key is to detect and contain faults at runtime while maintaining system functionality. This approach is referred to as fault tolerance.