A study on compiler selection in safety-critical redundant system based on airworthiness requirement

The dependability of compiler would directly affect the quality of software because it can directly produce object code. At the same time, compiler diversity is an important part of software diversity design in a redundant system, which could not only help avoid common defects from compilers but also to find defects in source code. This paper proposes a method for compiler selection in safety-critical embedded redundant system based on airworthiness requirement and the principle of software diversity. A case on compiler selection in tri-redundancy FCS (flight control system) is given in the end.