软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

飞机俯仰角位移控制系统积分式控制规律的改进及仿真

为使飞机以足够高的准确度保持在预定飞行轨迹上,飞机俯仰角位移(9)的控制性能及稳态精度至关重要.为改进飞机俯仰角位移控制系统的控制性能,运用根轨迹法对飞机俯仰角位移控制系统的积分式控制规律进行了分析和设计,为提高(9)的稳态精度,基于SISO Design Tool设计工具,对俯仰角位移控制系统的零极点进行校正配置,实...     

软件FMEA实例研究

软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类,给出了对该软件实施SFMEA的过程和结果。结果表明了SFMEA的有效性和实用性。     

基于一次性突发原则的TTE网络实时性能优化

确定性通信的发展，促进了时间触发概念的引入。时间触发以太网（TTE）通过提供3种流量类别来支持混合安全性的实时应用:时间触发（TT）流量，具有完全的时间确定性；速率约束（RC）流量，具有确界的端到端延迟；尽力传（BE）流量。如何实现时间触发机制下RC流量实时性能的紧性分析，仍然是决定TTE网络顺利应用的开放式问题。在FIFO服务策略的假设下，将“一次性突发原则”的分析方法引入到TTE网络中，以观察该原则在时间触发网络性能分析中的影响。不同于航空电子全双工以太网（AFDX），具有更高优先级的TT流量会对RC流量的延迟分析产生关键影响，从而导致一次性突发分析的复杂性。通过建立聚合TT流量在及时阻断模式下的到达曲线模型，从而获得单条RC流量端到端的服务曲线模型，基于此实现了RC流量的最坏情况端到端延迟（WCD）评估，进一步完成了一次性突发原则下的分析对比。相较于已有工作，一次性突发原则可以得到RC流量更精确的最坏端到端延迟上界评估结果，有助于改善TTE网络性能评价紧性。通过A380拓扑组网案例的对比分析，相比于传统方法，所提方法RC流量平均延迟减少了12.05%。      

基于强化学习的时间触发通信调度方法

未来航空电子系统中将会更广泛地选择基于时间触发的通信机制进行信息传输,以保证信息交互的确定性。如何合理地进行时间触发通信调度设计是时间触发应用于航空电子互连系统的关键。针对时间触发调度的周期性任务,提出了一种基于强化学习的周期调度时刻表生成方法。首先,将流量调度任务转换为树搜索问题,使之具有强化学习所需要的马尔可夫特性;随后,利用基于神经网络的强化学习算法对调度表进行探索,不断缩短延迟时间以优化调度表,且在训练完成后,可以直接使用到消息分布相近的任务中。与使用Yices等可满足模理论（SMT）形式化求解时间触发调度表方法相比,所提方法不会出现无法判定的问题,能够保证时间触发调度设计结果的正确性和优化性。对于包含1 000条消息的大型网络,所提方法的计算速度为SMT方法的数十倍以上,并且调度生成消息的端到端延迟在SMT方法的1%以下,大大提高了消息传输的及时性。      

考虑避免碰撞的编队卫星自适应协同控制

基于势函数法研究具有模型不确定性的编队飞行卫星避免碰撞的自适应协同控制.势函数法的思想为设计碰撞区域势函数值较大,所设计的控制律使得系统势函数具有减小的趋势,从而实现避免碰撞的编队飞行任务.首先,在无外部参考轨迹的情况下,通过引入避免碰撞势函数,提出一种自适应协同控制器,编队卫星最终实现速度一致和避免碰撞.进一步,考虑已知外部参考轨迹的情形,基于新的势函数方法,设计新的自适应协同控制器,能够同时实现避免碰撞、速度一致、卫星跟踪参考轨迹的目的.对于所提出的两种控制方法,均通过合理地应用Lyapunov稳定性理论分析了闭环系统的稳定性.仿真结果表明了所设计控制方法的有效性.     

基于贪婪随机自适应搜索法的TTE通信调度算法

时间触发以太网（TTE）采用全局时间触发机制，使通信任务传输具有严格的时间确定性和无冲突性，适用于航空电子等混合关键应用领域。TTE网络提供3种不同的流量类型:具有低抖动和有界端到端延迟的时间触发（TT）流量，有限制端到端延迟的速率约束（RC）流量和无实时性保证"尽力传"（BE）流量。针对可满足性模理论（SMT）等调度算法在生成TT流量离线时刻调度表的过程中，未综合考虑TT流量路由和时刻调度表对RC流量延迟产生影响的问题，为了优化TTE网络实时性能，提出了一种基于贪婪随机自适应搜索算法的TTE通信任务调度算法。在TT流量离线调度表的生成过程中考虑了RC流量的最坏端到端延迟（WCD），在保证TT流量满足可调度性的前提下，通过路由规划和调度时刻表规划降低了RC流量的WCD。对比实验结果表明:所提算法可以有效的提升整网的实时性能，通过A380拓扑组网案例的对比分析，RC流量的平均延迟减少了14.34%。网络中流量规模越大，所提算法的收益越大。      

星载设备FPGA可靠性设计探讨

可编程逻辑器件(FPGA)在星载设备中的应用越来越广泛,其可靠性面临越来越大的挑战。本文针对星载设备FPGA可靠性设计存在的问题,从整体设计、可靠性编码、状态机操作和SRAM接口设计4个方面进行深入分析,并就状态机操作进行了重点讨论,供相关设计人员参考。     

通天路上真如铁 而今迈步从头越——民航贵阳空管中心建设发展五年纪实

5年前的今天，顺应民航体制改革，中国民用航空贵阳空中交通管理中心应运而生。时光飞逝，物换星移，在贵州民用航空发展的长河中，5年不过是短暂的一瞬间。然而，这却是一个特殊的瞬间：2001年12月至2006年12月的这5年间，贵州航空运输发生了巨大的变化，开创了贵州民航的一个新纪元，在贵州的改革发展大潮中肩负着进一步构架空中通道的重任，为贵州走向全国，走向世界增添了璀璨夺目的光彩15年风雨，同舟共济；5年拼搏，负重前行15年问，贵阳空管始终坚持“安全第一”的方针不动摇，贯彻落实科学发展观，夯实基础，苦练内功，贵阳空管中心飞行保障起降架次和飞越架次分别以年均14％和20％的速度增长，截止到2006年11月30日，共安全保障各类飞行561285万架次，