基于多分区操作系统的多核确定性调度方法设计

为提高多分区操作系统环境下多核处理器的应用带来的操作系统任务调度的确定性,研究了多分环境下多核操作系统结构,从处理器核心和分区的资源分配和分区调度表的时间同步角度出发,采用了静态配置、处理器绑定和时间窗口调度方法,实现了处理器资源的确定性分配,解决了调度表之间的时间同步问题。测试结果表明,方法有效提高了分区环境下多核操作系统任务调度的确定性。     

航空电子系统中应用多核处理器的挑战分析

作为嵌入式计算的一种,航空电子系统中的处理器具有强实时性、高确定性、高安全性的特征。因此,同其他嵌入式系统相比,在航空电子系统中应用多核处理器面临更多的挑战。针对多核处理器基本的软硬件架构,对挑战产生的原因进行了简要的分析,指出了在航空电子系统中应用多核处理器需要解决的问题。     

支持多核的嵌入式操作系统关键技术研究

以分析当前支持多核的操作系统需实现的关键技术为基础,从多核操作系统的引导和初始化、多核操作系统任务管理、多核中断、核间通信以及核间同步与互斥等方面具体分析、研究支持多核的嵌入式操作系统的实现机制,提出了一种多核领域操作系统关键技术的解决思路.     

机载嵌入式系统中的多核处理架构研究与分析

与单核处理器相比较，多核处理器在性能、功耗、体积以及重量各方面都有绝对的优势，这使得多核处理器在机载嵌入式系统中的应用成为必然趋势。在分析了航空电子系统的任务特点之后，介绍了两种最常见的多核处理器系统架构：对称多处理（SMP）和非对称多处理（AMP），对这两种系统架构在机载嵌入式系统的应用进行了研究分析，并分析了其关键技术对实时性、安全性和确定性的影响。     

一种多核分区操作系统的绑定组调度方法

伴随机载计算平台对算力提升的显著需求,综合化模块化航空电子系统(IMA)采用多核处理器和相应的多核分区操作系统成为必然趋势,从而对目前仅适用于单核处理模式的多分区调度算法产生了进一步的能力扩展需求。面向多核处理的多分区调度算法需要在发挥多核处理效能的同时,继续维持机载安全关键系统的实时性和确定性特征。为此,提出一种基于...     

嵌入式实时多分区操作系统两态访问的研究

为了保证不同程序的特权,嵌入式实时多分区操作系统使用系统态和用户态来解决这一问题。在介绍系统态和用户态的基础上,重点研究了嵌入式实时多分区操作系统中系统态和用户态互访,提出了系统调用、虚中断和共享数据区三种可行的访问方式,并针对三种访问方式给出了实现方法。这三种访问方式使用方便、灵活,能够有效地解决多分区操作系统两态互访问题。     

基于多项式混沌法的翼型不确定性分析及梯度优化设计

耦合伴随方法和非嵌入式多项式混沌法，发展了高效、可靠的不确定性梯度优化设计方法。利用伴随方程法求解目标函数对不确定性变量的导数，发展了一种梯度增强型多项式混沌法。通过亚声速和跨声速下等多种算例可以证明该方法可以提高不确定性分析的效率和精度。同时，利用基于方差分解的全局敏感性分析方法对不确定性变量的敏感性进行了量化。建立了多项式混沌耦合伴随方程的统计矩梯度求解方法，并结合梯度增强型多项式混沌法搭建不确定性梯度优化设计系统。基于该优化设计系统对二维低亚声速和跨声速翼型开展确定性及不确定性优化设计研究。优化结果显示，相比于确定性优化设计，不确定性优化设计通过合理权衡确定性性能和不确定性性能，可提高抵抗马赫数和迎角不确定性扰动的能力，同时优化性能均值和标准差。其中阻力系数均值最大可降低17%，阻力系数标准差最大可降低80%。而确定性优化设计可能导致性能鲁棒性的降低。     

航空发动机套齿动态装配间隙非概率优化设计

为解决航空发动机套齿动态装配间隙的响应问题,在考虑动态变形和参数不确定性的情况下,将1种非概率区间分析方法与Kriging响应面模型及响应面优化方法相结合,对套齿初始装配间隙进行了可靠性优化设计。以某刚性套齿联轴器作为数值算例,在确定性设计的基础上,考虑机械载荷、热载荷、材料参数的分散性,运用区间分析方法得到了动态装配间隙的响应范围,利用非概率可靠性指标对初始装配间隙进行了优化设计。与确定性设计相比,优化设计提高了结构的可靠性;与概率设计相比,优化设计降低了对不确定参数的信息要求。验证了非概率方法解决装配对象不确定性结构响应问题的可行性与适用性。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

嵌入式计算机系统技术述评

嵌入式计算机系统技术,是目前微电子产品设计领域最为热门的技术之一。本文阐述了嵌入式计算机系统技术的特点,并从嵌入式系统的结构、处理器性能特点、外部接口、操作系统等几方面进行了较详细的探讨。     

基于分区代理机制的FC通信虚拟化方案设计

随着航电系统的发展,处理平台的集成度逐步提高,多核处理器集成多个应用将是未来应用的趋势。 但在使用多核处理器的系统中,由于多个处理器核并行运行,需要解决通信资源在多个处理器核之间的共享问 题。本文提出了一种基于分区代理机制的FC 通信虚拟化方案设计,可以实现多核架构下多应用、多分区共享 FC 网络接口设备进行通信。     

基于多核DSP的多波形管理设计

在使用多核处理器进行航空电子系统综合化设计时,各波形供应商通常因为各种限制,难以进行波形功能深度综合,因此目前的综合化仅仅是处理资源集中放置,并未很好地发挥多核处理器的效能。本文基于TI 公司多核DSP,设计了一种多波形管理框架,可以将多个无线电波形集中在一个多核DSP 中灵活部署、运行并管理,充分发挥多核处理器运算能力,提高系统资源利用率。     

基于机载多核弱序存储模型的共享内存驱动软件设计方法研究

随着航空电子系统承载的应用日趋复杂，飞机对机载计算机的计算力和功耗比要求不断提升，这也推动了嵌入式多核处理器的加速应用和普及。多核处理器在航空电子设备的深入应用，随之而来的是运行其上的软件复杂度急剧上升，面向应用的航电系统设计面临挑战。多核处理器平台由于需要面对并行、指令乱序、资源共享冲突等问题，而目前国内大多数机载嵌入式软件和驱动仍然是基于单核处理器设计和实现的，影响最大的是在机载嵌入式实时操作系统环境下的驱动软件，因此需要充分考虑多核带来的各方面影响，尤其是需要兼顾共享内存等资源的使用冲突和实时高效要求。本文结合机载航电多核处理平台的特点，提出了一种基于机载多核弱序存储模型的共享内存驱动软件设计方法，并基于该方法设计了FC 总线驱动和MBI 总线驱动，项目应用结果表明，设计的驱动程序在多核处理器平台上数据传输正确，验证了方法的正确性和有效性。     

Switched Ethernet testing for avionics applications

Switched Ethernet is being implemented as an avionics communication architecture. A commercial standard (ARINC-664) and an aircraft vendor-specific implementation known as avionics full duplex switched Ethernet (AFDX) have been developed that defines the topology and use of switched Ethernet in an avionics application. In avionics applications, the movement of data between devices must take place in a deterministic fashion and must be delivered reliably. All aircraft flight hardware must be tested to be sure that it will communicate information properly in the switched Ethernet network. The airframe manufacture must test the integrated network to verify that all flight hardware is communicating properly. Testing and maintenance testing is required to perform data communication level testing of switched Ethernet architectures for avionics applications to insure that all communication is deterministic and reliable. This paper provides an overview of a switched Ethernet avionics network and identifies the testing challenges associated with a switched Ethernet avionics application. A practical implementation performing the required tests is discussed.     

Reconciling steady-state Kalman and alpha-beta filter design

The deterministic design of the alpha-beta filter and the stochastic design of its Kalman counterpart are placed on a common basis. The first step is to find the continuous-time filter architecture which transforms into the alpha-beta discrete filter via the method of impulse invariance. This yields relations between filter bandwidth and damping ratio and the coefficients, α and β. In the Kalman case, these same coefficients are related to a defined stochastic signal-to-noise ratio and to a defined normalized tracking error variance. These latter relations are obtained from a closed-form, unique, positive-definite solution to the matrix Riccati equation for the tracking error covariance. A nomograph is given that relates the stochastic and deterministic designs     

基于HMP 架构CPU 的民机多安全级别系统实现方法

提出了一种基于HMP 异构多核CPU 和资源域控制器的设计方案，可部署在同一物理CPU 上并满 足DO178C 标准的多安全级别软件运行要求。首先讨论了HMP 异构多核CPU 和资源域控制器的相关概念及作 用，接着介绍了多安全级别系统的实现方案，最后在NXP iMX6 系统平台上进行设计和实现。结果表明，该方 案可成功地实现在机载设备上将不同安全级别的软件部署在同一物理CPU 上的需求，方案具有灵活、成本低 廉和功能可靠的优点。     

基于多核处理器P2020的综合数据处理模块设计及应用

机载综合数据传输装置是现代航空电子系统的重要组成部分.它能够实现计划数据加载、总线数据记录、音视频压缩数据记录、分系统软件加载等功能.而综合数据传输装置中的综合数据处理模块则是设备的核心部分.Freescale PowerPC系列产品是一种广泛应用于工业、通信、军事领域的处理器.本文研究了FreescalePowerPC新多核处理器P2020的特点,主要介绍了基于此处理器平台的综合数据处理模块设计,研究其在实际中的应用.