Nowadays, the avionics software has been becoming more and more critical for both civil and military aircraft. However, the software may become crazy sometimes and may cause the catastrophic result if any failure in software. ...