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

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

多核操作系统自旋锁技术研究

多核操作系统通常采用自旋锁技术保证多核之间互斥.处理器核属于硬件设备,需要硬件锁机制实现核间互斥,各类处理器都提供相应的硬件指令实现自旋锁,如锁总线.处理器核在获取自旋不成功时,一直自旋,直到获取锁成功.自旋锁持有时间非常短,不引起睡眠,效率很高.     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

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

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

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

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

确定性抛光综述

对确定性抛光中的磁流变抛光、磁射流抛光、离子束抛光、气囊抛光技术进行综述,重点介绍各种方法的工作原理以及如何实现确定性抛光,指出确定性抛光的发展趋势。     

飞机确定性装配技术及应用

确定性装配采用零件间特征自定位的方式,减少专用型架和夹具的使用,避免加垫、修配和配钻工作,逐渐被应用于飞机装配中。随着飞机复合材料整体构件的广泛应用,全尺寸确定性装配技术得到进一步发展和试验应用。本文综述了飞机确定性装配技术的国外应用发展和国内研究应用现状;总结了飞机确定性装配所需的关键技术,包括基于模型定义（Model-based definition,MBD）的智能加工技术、基于数字孪生的装配工艺优化、偏差估计与统计分析及智能化柔性工装技术;最后,针对型号飞机复合材料壁板装配,提出了全尺寸确定性装配的技术方案。     

机载嵌入式实时操作系统时间性能测试

在机载嵌入式实时操作系统中,时间性能是一个非常重要的参数.为了评估机载嵌入式实时操作系统的实时性,同时为用户提供操作系统的时间性能参数,本文介绍了支持分区的机载嵌入式实时操作系统中特有的影响时间性能的关键因素--错误响应时间,分区间数据交换时间,进程上下文切换时间,分区上下文切换时间;给出了操作系统时间性能测试的方法,着重分析了计时工具,测试用例的设计,测试点的选取,以及排除影响测试准确行的因素.     

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

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

多核DSP实时图像处理平台设计与实现

为了实现对高帧率、高分辨率图像的智能化实时处理,要求图像处理系统具有较高的数据传输带宽和数据处理能力。采用多核DSP作为核心处理器来解决目前图像采集平台面临的数据传输瓶颈和处理瓶颈,利用FPGA硬件化并行处理的特性完成多路视频的预处理,设计了高速串口RapidIo通信接口实现视频的实时传输,对DSP的多核调度特性进行分析,保证处理的实时性,并采用相关算法验证系统的性能。     

一种双余度非相似容错计算机软件设计

非相似余度设计是容错技术的重要设计方法,在很多领域都有广泛应用,在航空领域主要应用于飞行控制系统.在非相似双机架构下分析现有且适宜的操作系统,并在此基础上构建适合机载飞控系统的底层运行框架和任务调度算法,在此框架下研究双机余度管理的关键技术.研究结果表明,所设计的软件框架与算法满足飞控系统要求.     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

嵌入式分区操作系统可靠性技术的研究与应用

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。     

在嵌入式Linux系统上对无线接入点AP的实现

首先对嵌入式系统的基本概念做了简要介绍 ,然后具体阐述如何在嵌入式Linux系统上实现无线接入点AP这一应用的方法 ,最后对实现的AP的转发速率进行了测试和简单的性能分析。     

机载嵌入式软件可靠性设计研究

机载航电系统的可靠性问题越来越受到关注,软件可靠性设计要抓住两个方面,软件开发过程和软件开发方法。本文根据机载嵌入式系统软件的特点,讨论了软件开发过程在可靠性方面的考虑,还有在需求、设计、编码阶段使用的相关设计方法和技术。