一种基于AADL的航空电子系统仿真和验证技术

飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航空电子系统建模框架下,提出基于AADL的航空电子系统仿真评估和验证方法,利用结构化分析和设计语言AADL构建航空电子系统典型子系统的正常模型和错误模型,并以此建立系统的扩展模型。在此基础上,利用形式化方法对系统模型进行描述并转化为Kripke结构。最后对系统模型进行模型仿真和特性验证,验证所构建的系统架构和设计逻辑是否符合系统设计特性需求。     

基于TDMA的联合自适应B-ACK与ACM的MAC协议

采用自适应块确认（B-ACK）减轻频繁握手造成的长延时,通过自适应编码和调制（ACM）来克服 吞吐量下降的问题,提出了基于时分多址（TDMA）的联合自适应B-ACK 和ACM 的MAC 协议,根据误包率 变化,自适应地调整节点接入网络的策略,从而解决现阶段航空无线协同网络存在的吞吐量低和延迟大的问题。