基于确定随机Petri网的AFDX航电系统建模研究

通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而为分析航空电子系统的性能提供了有力的参考。     

基于UML语言的航空电子系统快速原型设计

航空电子系统中的快速原型设计主要涉及航空电子系统的快速原型设计,作战飞行软件的快速原型设计和座舱显示系统的快速原型设计等,主要提出用UML语言描述航空电子系统设计的方法以及航空电子系统、作战飞行软件和座舱显示系统一体化设计开发过程,并以一个典型的综合航空电子系统为例进行了分析、设计、建模、仿真和演示验证。     

基于分区的安全关键软件体系及其时间分析研究

以综合模块化航空电子系统为研究对象,针对分时分区体系提出了其时间分析模型,结合IPET和不变量分析设计并实现了时间可分析工具IMATime.采用SNU Benchmark对IMATime进行了时间评估.并采用IMATime对分时分区软件平台FCOS进行了三级分析,分析结果除了能够指导系统通用设计外,还能提供综合模块化航空电子系统的专用参数分区周期和分区容限.最后针对某综合了飞行控制系统,导航系统和数传系统的综合航空电子系统进行了实例分析.     

基于原型仿真的航空电子系统螺旋式开发方法

针对未来航空电子系统面临的挑战和航空电子系统设计的特点,提出基于原型仿真的航空电子系统螺旋式开发方法,克服了瀑布式系统开发方法在航空电子系统开发中的缺陷。该方法强调概念和需求的验证,克服因系统设计早期发生错误而引起系统研制后期更大的更改;强调图形化设计和原型仿真,克服错误的需求理解导致错误设计;强调系统建模,一方面可以在模型上进行各种验证和试验工作,另一方面可以重复迭代和重复利用。航空电子系统座舱综合显示设计的应用实例,显示了该设计方法的有效性。     

攻防战术模式研究

本文探讨了美国和北大西洋公约组织发展的攻防战术模式,其中涉及护航机对攻击机群的防卫模式和歼击机拦截攻击机群的进攻模式,并对飞机性能、航空电子系统特性和武器系统性能进行了综合考虑,最后得出了防御敌方歼击机拦截攻击机群编队的恰当防卫模式所需的护航机数目及航空电子系统特性。     

总线型卫星电子系统T-时延离散PETRI网建模

小卫星综合电子系统是整个卫星的管理中心,能够完成参数采集,数据处理,信息提取和各种控制模式的实施等任务,综合电子系统设计方案直接决定小卫星的性能和可靠性等指标.给出小卫星基于总线的综合电子系统方案,针对以总线为核心的电子系统方案,建立了T-时延离散Petri网(TTDPN)模型,并对该模型进行了性能分析与评价,数学仿真结果表明,基于总线的电子系统方案能够有效满足系统实时性要求.     

综合模块化航电系统性能退化Lévy模型

综合模块化航空电子系统(integrated modular avionics, IMA)是现代航空的核心系统之一, 其性能状态对飞机的安全性有着重要的影响。针对IMA性能退化特性分析问题, 首先依据IMA运行管理机制, 在现有测点的基础上, 遴选了间歇故障发生频次和功能完成时间作为表征IMA性能状态的健康特征参数。然后, 根据IMA自身运行特点证明了IMA功能完成时间历程是一个Lévy过程。提出了IMA性能退化Lévy模型, 构建了单因素影响和多因素综合影响的IMA性能退化模型。最后, 搭建了IMA仿真平台, 获取了IMA性能退化Lévy模型参数, 仿真了IMA性能退化历程, 验证了模型的有效性。     

航空电子系统动态模拟综合环境研究

通过与传统航空电子系统仿真/测试环境相比较，本文提出了一种新型分布式实时协同仿真环境（DRCSE）体系结构，并描述了利用DRCSE体系结构开发的航空电子系统动态系统综合（DSI）应用系统的原理和组成，其中重点介绍了实时网络技术的原理，组成，应用和时间延迟指标，最后展望了DRCSE体系结构的发展方向。     

航空电子分区调度研究

在模块化航空电子系统中,通过分区管理实现不同分组的航空软件互不影响的执行.分区管理采用两层任务调度策略,在操作系统层采用周期调度的方式激活每一个分区,在具体每一个分区,系统根据分区内航空应用软件的固定优先级进行调度.在航空电子软件的分区调度问题研究过程中,通过对分区处理任务系统建模,对任务关键时刻进行分析,利用分区访问时间和任务执行系数,计算系统空闲时间,给出了分区成功调度的条件,最后给出实例进行具体说明.     

航空电子分区层次调度模型及其优化设计

在模块化航空电子系统中,采用分层结构构建系统,通过分区管理实现不同分组的航空软件互不影响的执行.在任务最大响应时间函数的基础上,利用加权轮转时间和任务执行系数,得到了分区调度成功的判决条件;通过对系统剩余时间的计算,提出了分区快速设计模型;通过对任务时间遍历,得出分区最优化设计模型.开发仿真工具对这两种模型进行对比,结果表明:快速设计模型较好的解决了航空电子分区设计问题.