Avionics systems are becoming indispensable on both military and civil aircraft. As more and more of their vital functions are controlled by electronic devices, their system qualities such as safety, reliability, and ...