航电设备的功能验证和新功能航电系统的升级改装方案验证是民航维修领域的关键问题之一。目前,为了解决上述问题,需要针对不同机型,在系统级层面更改硬件的电气线路,这种方法不仅工作效率极低,而且成本较高、故障频发。因此,对航电构型控制系统的研究,即系统级维修平台根据航电系统的不同构型实现可靠转换成为一个非常重要的研究课题。为保证航电构型控制系统在航电设备仿真验证过程中能够稳定可靠的运行,必须保证系统具有良好的测试性。测试性是系统的一种设计特性,基于模型的测试性分析可以定性与定量的评估一个系统的测试性设计。AADL(Architecture Analysis and Design Language,结构化分析设计语言)建模语言,既可以形式化的描述系统架构,同时可满足航电系统的实时性要求,对系统的非功能属性有较强的描述能力。因此本文基于AADL语言重点研究航电构型控制系统的测试性建模方法。主要研究内容如下:首先,研究了航电构型控制系统的架构组成,剖析了航电构型控制系统的工作原理,对组成系统架构的各部件功能进行了研究。其次,对AADL语言的语意及其建模方法进行了研究,将航电构型控制系统的架构设置为软件与硬件,并将其映射为相应的AADL组件,利用AADL的语意描述组件之间的交互,建立航电构型控制系统的测试性模型。最后,基于航电构型控制系统的AADL模型中的系统流理论,分析系统中的故障传播状态,并根据系统中的故障特征设置相应的测试。在此基础上,对故障与测试之间相关关系进行分析,生成系统的故障-测试相关矩阵。并利用生成的相关矩阵分析航电构型控制系统的测试性。由分析验证结果可知,本文所提出的方法可行性好,能够满足航电构型控制系统功能与非功能属性的测试及验证要求。
暂无评论