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.

关键词： airworthiness requirement redundant system compiler dependability compiler diversity compiler selection

作者: CHANG Wei BAO Xiaohong ZHAO Tingdi

作者单位: School of Reliability and System Engineering,Beihang University,Beijing,P.R.China,100191

会议类型: 国际会议

会议名称: 航空器适航技术与管理国际会议 ISAA 2011

会议地点: 北京

会议语种:英文

页码: 497-504

在线出版日期: 2011-10-01（万方平台首次上网日期，不代表论文的发表时间）