本课题中,研发通用飞机的自动驾驶仪的软件部分主要利用SIMULNK CODER自动代码生成工具实现自动生成。传统的软件开发过程主要依靠人工编程,编写的代码很容易产生程序缺陷,查找和解决这些问题不仅要花费大量的人力和时间,有时甚至会导致软件的重新开发。特别是在对安全系数要求较高产品上,出现的某些程序缺陷会直接关系到安全。自动生成代码这项技术虽然解决了开发周期和开发效率的问题,但是在软件可靠性方面并没有明确保障,DO-178B标准是对航空机载软件进行适航认证时的标准,是整个民航标准体系的重要标准之一,软件的可靠性能验证原则是通过DO-178B进行确定的。因为研究的最终目的是实现通用飞机自动驾驶仪基于自动代码生成的软件的可靠性提升,同时这里知道对于航空电子设备使用的软件的可靠性判定标准是通过DO-178B来进行评估的,本文首先对DO-178B进行研究,明确自动驾驶仪软件可靠性评估标准,在确定软件的设计原则的同时,根据可靠性内容规范要求确定研究思路。由Simulink Coder实现自动生成代码原理可知,生成代码环节是由机器完成,且自动生成代码是基于数学模型的建立进行,只有数学模型配合相应模块的TLC文件,才能实现代码的自动生成,所以明确对于软件可靠性的问题优化思路要从数学模型的描述和建立着手。本文的研究开发工作是基于通用飞机自动驾驶仪这一工程项目的开发,着重于解决自动生成代码的驾驶仪软件可靠性问题,即如何在数学模型建立时就考虑到将来自动生成代码的软件是具有高可靠性的,所以从驾驶仪这就涉及到的关键建立数学模型的模块选取原则、模型的形式化描述方法搭建结构、封装形式等方面进行研究,并分析在数学模型的描述改动与生成的软件代码的关系,然后依照研究结论确定自动驾驶仪数学模型优化思路,并且得到了出能够生成通过DO-178B验认证的、自动生成软件代码的数学模型的设计原则。最后根据所确定的数学模型设计原则,对自动驾驶仪的数学模型进行数据类型以及模块选用等方面的可靠性设计以及优化,利用模型验证工具,参照DO-178B标准进行评估,最终实现了自动驾驶仪自动生成的软件代码满足DO-178B可靠性要求。