飞控系统的功能日益复杂,因此在保证飞控软件的高可靠性的情况下,仅依赖软件测试所带来的资源消耗也越来越多。为提高飞控软件可靠性并减少资源消耗,本文结合一些研究学者的研究提出了一种结合故障树的失效度分配方法,并设计了基于AADL(architecture analysis&design language)的可靠性验证方案。本方案主要针对软件非功能属性的验证,不涉及具体功能实现、算法研究以及相应的模块模型功能描述。本文首先根据通用需求设计飞控软件,再以AADL建模规范描述软件结构及特性,对飞控软件进行AADL建模。在建模过程中主要考虑建模对象的系统架构、模块端口特性、功能项输入输出需求特性以及数据链路这些容易被AADL具现的属性,同时根据仿真部分的需求,模型中将使用软件内部执行时间、时限、非抢占优先级等属性描述。在完成建模之后,以逻辑关系分析和Petri网理论验证AADL模型的正确性。随后,为验证软件设计的合理性,保障按设计开发软件的可靠度,本文借助OSATE平台,对飞控软件进行数据端对端连接一致性验证、数据流延迟验证、调度表分析时域调度性,并辅以AADLInspector进行调度仿真测试,以确保规避设计中的部分人为错误;同时,为进一步节省开发资源,本文借助OSATE平台中AADL错误模型自动生成故障树,缩短已知故障的排查时间,并结合可靠度分配方法,为开发人员作出合理的开发时长安排,避免不必要的开发时间浪费。鉴于已有的经典可靠度分配方法的优缺点和实现难易程度,本文将简捷的快速分配法与可靠的基于失效率的故障分配方法结合,改进了基于故障树的可靠度快速分配法,使其在基于失效率的可靠度分配方法难以实施的情况下,分配效果又能优于可靠度快速分配法。最后,在工程实例中应用了本文提出的可靠性验证方案,依照建模、可靠性验证、可靠性重设计这一流程进行实验。本方案意在以简单可行的方式提升飞控软件的可靠性,并减少其开发过程中的资源消耗,最终结果表明了方案达到了提高软件可靠度,减少一定资源消耗的目的,也论证了本文提出的可靠性验证方案简单、便捷、实用。