VxWorks操作系统环境下一种周期任务管理方法

目前,实时嵌入式操作系统得到广泛应用.在以往机载嵌入式系统中,周期任务的管理几乎都是用户应用软件的一部分.在嵌入式操作系统中提供一种便利的机制,使得用户对周期任务的调度管理方便易行,是十分必要的.本文提出了一种机载计算机应用领域,VxWorks操作系统环境下周期任务管理的方法, 并给出了简单的C语言描述.     

机载嵌入式系统基准测试方法

性能评测是查找嵌入式计算机系统性能瓶颈、指导设备选型、平衡相关部件、优化系统结构以及提高系统实际性能的重要方法。在介绍了机载嵌入式计算机系统性能评测的指标和基本方法之后,重点分析了使用基准测试程序的测试方法和特点,以及基准测试方法的对比测试原理、不同测试环境的构建以及主要测试过程;选取了SPEC CPU 2000基准测试程序集针对机载嵌入式环境进行裁剪和移植,对某国产机载嵌入式实时操作系统分别以不同的嵌入式操作系统、嵌入式文件系统和编译选项为变量参数进行对比测试,得出了国产操作系统与国外同类商用操作系统运行实际应用程序的性能基本相当的结论,另外也得出文件系统对计算类基准程序的结果影响较小以及编译优化后能够大幅提高嵌入式系统性能等结论。     

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

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

DO-178B可验证的机载操作系统配置生成技术

针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计。基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机载嵌入式操作系统的适航验证成本。     

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

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

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

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

基于龙芯处理器的系统移植方法和应用可行性研究

提出了基于龙芯计算模块的嵌入式操作系统移植和实现方法,实现了龙芯计算模块的操作系统加载、 启动和驱动开发,并介绍了龙芯处理器的性能测试方法和测试结果,为龙芯国产处理器在航空电子领域的部署 和应用可行性提供了一定的依据。     

适用于机载飞控系统的操作系统选型研究

新型机载飞控软件综合了更多的应用功能,需配备合适的操作系统作为基础.根据新型机载飞控软件开发需求,对操作系统和配套开发工具的要求进行讨论,形成相应的评估表.同时对国内外在飞控上有应用的4个操作系统进行分析评估,选出最适合目标机载飞控软件的操作系统.     

模型驱动的IMA标准符合性测试自动化技术研究

随着现代航空电子系统的规模、复杂度不断提升,综合模块化航电系统(Integrated Modular Avionics,IMA)在新一代作战飞机中逐渐得到全面应用。IMA将预先定制的任务单元作为多样化任务的处理平台,并集成为综合处理机,实现数据的高速集中处理与融合。针对IMA开放式体系结构的模块化、标准化等特点,本文提出了一种基于接口语义模型的测试自动化技术。其中,标准接口的语义模型对接口数据、功能和行为进行抽象,测试模型内建测试策略与测试计划。从接口模型到测试模型,研究探讨了测试用例的自动生成、部署、和调度执行的方法。研究成果在国产机载操作系统ARINC653标准符合性测试中进行了初步应用,有效提高了测试的系统性、效率和工作质量。     

机载嵌入式计算机通用化BIT架构设计技术

设计开发了一种通用化BIT软件架构技术,可应用于机载嵌入式计算机。将BIT软件按照功能分为硬件驱动层、测试算法层、测试配置及控制层、应用接口层等,可极大程度实现不同硬件环境、操作系统环境下,BIT软件的可移植性,还定义了一种操作系统启动前实现硬件BIT检测的方法,可有效提高内存、CPU等硬件资源的故障检测率。     

分布式信任模型在嵌入式Internet中的应用研究

为了充分利用嵌入式设备的联合处理能力,嵌入式设备之间必须进行一系列的合作.信任是人们进行社会交往的基础,人们之间的信任关系在不断地更新和传递.依据这种原理,提出了一种基于社会信任关系的协同工作分布式网络模型.嵌入式Internet系统中的设备在协作过程中,互相之间逐步形成了一种相互信任的关系,这种关系以信任表的形式存在本地端点中,并通过不断地自学习来修改信任表.给出了信任模型的建立过程以及信任参数的更新和传递算法,应用实例表明了模型的有效性.     

直升机旋翼多层层压黏弹阻尼器多参数动力学建模与分析

针对基于柔性多体系统动力学的直升机旋翼系统动力学建模方法的要求,结合嵌入式多层层压黏弹阻尼器结构特点,建立了基于内变量理论的嵌入式多层层压黏弹阻尼器时域模型.通过引入多层内变量场,改善模型在较宽应变幅值范围和激振频率范围内计算阻尼器动特性及双频激振下动特性的能力.在阻尼器建模过程中考虑了嵌入式多层层压黏弹阻尼器中金属隔片的影响,引入温度传递函数考虑了阻尼器在工作过程中温度上升对黏弹材料的影响,提高了阻尼器模型的精度.通过计算分析与实验结果相比较,验证了阻尼器模型在不同应变幅值、激振频率以及双频激振下的有效性,为直升机旋翼气弹分析计算提供了一种嵌入式多层层压黏弹阻尼器模型.      

基于嵌入式实时操作系统的文件系统的研究与设计

重点介绍了一种针对于导弹上嵌入式实时操作系统中文件系统的设计与实现,对于现有通用文件系统不能直接应用于嵌入式实时系统,提出了一种新的文件系统模型,叙述了文件系统的组织结构、文件系统的数据结构、目录项、i＿节点、存储器,以及如何使用这些技术来实现一个文件系统。     

利用Rhapsody进行UML串口通信的设计与实现

针对嵌入式系统下串口通信,引入I-Logix公司的Rhapsody开发工具和UML（统一建模语言）,采用流行的软件开发模式,设计并实现了嵌入式系统下的串口通信。通过嵌入式串口实例的实现,阐述了UML的建模、设计和验证的可视化的开发方法,解决了嵌入式系统下基于UML模式的串口开发问题,对于UML模式的嵌入式系统开发具有重要的参考价值。     

高速串行总线RapidIO与PCI Express协议分析比较

随着新一代嵌入式系统对数据传输能力要求的提高,高速串行总线有着越来越广泛的应用,RapidIO和PCI Express(亦称PCIe)是常见的选择。通过对这两种协议在整体工作机制及其特点、分层模型、拓扑结构、服务质量等方面的分析比较,为嵌入式系统设计中高速串行总线的选择提供参考。     

嵌入式控制在教育应用中的实现

从嵌入式系统概述、嵌入式控制系统与PC控制系统在教育应用上的比较、嵌入式控制系统在教育应用中需要的技术基础、嵌入式控制系统在教育上的应用实现等几个方面对在教育应用中的嵌入式控制系统作了一定的阐述;文章主要针对我国现在计算机的普及情况,对嵌入式系统给教育带来的影响作了一些分析和探讨.     

无人机编队协调控制算法的设计及3D仿真实现

介绍了无人机编队队形保持的协调控制算法设计、3D模型地面处理、基于三维地图的3D模型绘制显示模块的设计,并进行了嵌入式下的仿真实验。基于智能体编队的一致性算法提出了队形保持的全状态反馈协调控制算法,可以实现在机动过程中的队形保持。采用三维建模软件3DMax构建3D模型原型,设计了3D模型读取绘制的流程,实现了3D模型显示。将3D模型绘制显示模块融合在三维地图软件中进行嵌入式测试,绘制效率、读取速度对三维地图软件影响很小。3D模型绘制显示模块丰富了三维地图软件的显示内容,增强了立体效果,提高了用户体验。     

基于Linux军用TCP/IP协议栈设计与实现

提出一种在嵌入式Linux操作系统上运行TCP/IP协议的解决方案。介绍了Linux内核,在此基础上结合嵌入式系统特点,对TCP/IP协议栈进行简化,提出总协议栈的体设计。根据军用通讯要求着重讨论了网络协议的安全问题,参考现在通用的网络安全模式PGP,对TCP/IP协议栈进行修改,主要是在应用层中加入了加密、认证以及密钥分配过程。加密过程采用DES和RSA组合算法,保证其安全性、可行性以及时效性。