面向复杂航空电子系统的GSPN 任务可靠性建模研究

考虑资源备份与重构的动态特征,采用广义随机Petri 网对具有资源备份机制的典型航空电子系统架 构进行可靠性建模,通过在TimeNet 平台中开展模型仿真,基于功能模块的可用度指标对系统任务可靠性进行 了评估应用,得到的瞬态仿真结果有效预测了该系统可用度时域特性,稳态分析结果经数值验证具有较高的精 度,该建模方法为航空电子系统动态可靠性评估提供了参考。     

一种基于模型和原型系统仿真的综合模块化航空电子系统开发方法

针对综合模块化航空电子系统的复杂性和传统瀑布式开发方法存在的问题与挑战,在Ⅴ型开发模型的基础上提出了一种基于模型和原型仿真的综合模块化航空电子系统的开发方法.该方法通过在需求捕获、方案设计和工程开发阶段分别构建相应的原型系统进行仿真与验证,实现对系统需求进行早期需求确认与设计验证(V&V)、原型仿真与集成.采用该方法的好处是通过原型仿真,系统设计师可以在开发早期向用户展示他们的设计成果,以满足用户的需求;可以帮助系统开发人员以低成本实现连续的虚拟集成和迭代确认与验证,从而缩短系统研制周期,降低系统开发成本.飞行管理系统开发应用案例表明了该方法有效性.     

面向航电系统容错特征的任务可靠性建模方法研究

基于AADL语言和GSPN模型面向DIMA系统开展任务可靠性建模研究,考虑系统的容错特征及其模式转移逻辑,建立AADL系统建模语言与GSPN模型的转化规则,进行系统可靠性定量分析,并以典型航电产品为例进行了方法应用和仿真。本文提出的方法和规则可实施性强,为存在重构或备份等容错技术的航电产品进行多模式转移 的系统任务可靠性建模提供参考。     

机载嵌入式软件的系统测试

针对航空电子系统的功能特点,分析了某航电分系统控制管理计算机软件的特征和要求,结合机载嵌入式软件的系统测试需求,提出利用航电分系统设计开发试验平台,通过总线上的故障注入和数据采集方法,实现机载嵌入式软件的系统测试。     

基于模型的航空电子系统体系化需求分析与仿真

借鉴体系工程思想及体系结构设计方法,结合航空武器装备需求论证实践,提出基于模型的航空电子系统体系化需求分析与仿真方法,以及体系架构模型协同仿真环境设计方案,能够有效支撑航空电子体系化需求论证和顶层设计,具有重要的理论价值和实践意义。     

基于模型的航电系统集成验证技术研究

为了满足系统集成度高、交联关系复杂的航电系统集成验证需求,提出了基于模型的航电系统集成验证技术。详细介绍了基于模型的航电系统仿真和测试方法,航电系统仿真建模规范,以及基于模型运行的航电系统集成验证平台。通过在航电系统集成过程中的应用,基于模型的集成方法有效地提高了航电系统集成效率,保证了航电系统集成准确度。该方法可应用于航电系统全数字集成、半物理集成和全实物动态集成,保证各阶段试验的衔接,持续提升航电系统集成工作的技术水平。     

模型驱动的软件构件研制保证水平验证方法

在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。     

航电系统开发过程中的权衡研究

航电系统的开发既要满足系统需求、保证系统完整性、达到系统安全性目标,同时还要满足相关条例、公务要求和商业要求。而这些要求往往相互制约、相互冲突,这就使得权衡研究在航电系统的开发过程中成为一项必不可少的工作。阐明了权衡研究在航电系统开发过程中的必要性和重要性;然后说明了权衡研究在航电系统开发过程各阶段中的作用;接着分析了权衡研究应遵循的过程;最后,将权衡研究分析方法中的效用曲线法应用到了航电系统的网络权衡中,并提出航电系统开发过程中如何进行权衡研究的一些建议。     

面向风险均衡的AFDX虚拟链路路径寻优算法

为确保综合模块化航空电子系统的安全性需求能够在全双工交换式以太网中得到一致性保证,提出了一种面向风险均衡的路径规化（RBPP）算法,以满足各航电功能间的安全隔离要求,同时分散风险,避免局部物理链路的风险集中,提高系统安全性。以民机失效状态类别划分为基础,建立了航电功能、分区、端系统、虚拟链路（VL）风险模型;RBPP以均衡各物理链路风险为目标,同时综合考虑网络实时性、链路负载能力等因素,采用粒子群算法进行优化目标求解。利用仿真优化方法对RBPP算法进行了实现,在典型工业航空电子全双工交换式以太网（AFDX）网络架构及A380AFDX网络架构下进行仿真分析,结果显示多播VL的简化处理的会使网络风险增加;在1 000条VL配置下与负载均衡（LB）算法和最短路径（SP）算法进行了分析对比,结果显示RBPP算法在满足各航电功能间的隔离需求的同时,链路风险均衡能力在两种网络拓扑下分别比负载均衡算法提高了10.7%和23.4%,比最短路径算法分别提高了35.4%和47.9%。     

Design and Stability of Operating Mechanism for a Spacecraft Hatch

This article introduces the working principles of a spacecraft hatch including its operating process and moving trajectory. On this basis, an operating mechanism is designed to execute automatic open and close action of the hatch and measure the operating torques. Analysis on the mechanism's configuration and topological structure of each phase of movement proves that it is a typical variable freedom mechanism. The mechanism manipulates the hatch in accordance with the moving trajectory requirements through configuration transformation. Kinematic analysis and simulation of some typical configurations show that the velocity differences among mechanism components themselves and the components and their abutting components could exert influences on its working stability during configuration transformation. To solve the problem, stability conditions of configuration transformation are proposed. Appropriate control models are established for the output velocity curves of the driving servo motor and solved based on the stability conditions and rules of movement. Results from another simulation demonstrate that the proposed control models ensure smooth configuration transform and stable operation.