基于静态优先级的调度

应用实时系统,如航空电子系统,不仅要满足调度任务的强实时约束,而且要具有较强的系统功能,即需要较高的系统任务可调度利用率。本文首先给出实时任务调度算法的分类及基于优先级调度算法的性能分析;然后详细描述了静态优先级任务系统的调度算法,以及在诸如航空电子系统数据传输网络设计中调度方案的选择。     

基于时钟驱动的循环调度

实时系统,诸如航空电子系统、空中交通控制系统(Air Traffic Control: ATC)等,从本质上说都是一种分布式实时系统,从理论上说,它们由三种类型的处理器组成,包括数据控制处理器、数据传输处理器和数据处理器.无论是数据控制处理器和数据处理器的数据计算任务,还是数据传输处理器的数据传输任务,它们的执行都必须满足任务的时间约束要求,从而正确完成系统设计的各项应用任务.本文将描述基于时钟驱动的循环调度策略,它不仅适用于对数据计算任务的实时调度,也适用于对数据传输任务的实时调度,最后,分析了此调度策略应用中存在的优势与劣势.     

基于多活性代理的多星测控调度方法

多星测控调度问题是一个具有多时间窗口、多资源约束的优化问题,其中多星测控任务调度的建模和求解算法是关键。在多活性代理理论的基础上,引入任务调度活性度概念及多活性代理活性保持的协调协商机制,建立基于活性度的多星测控调度模型,并给出一种多活性代理协调协商遗传算法。最后给出实验示例对所提出的算法进行仿真验证。仿真实验表明,所提出的基于多活性代理协商协调的模型及算法能够更好地解决多星测控任务调度问题。     

嵌入式电子飞行仪表系统软件设计

设计了一种基于嵌入式操作系统的电子飞行仪表系统软件。介绍了电子飞行仪表系统的基本构成,在嵌入式操作系统上设计并实现了主飞行模式、导航模式、发动机信息模式等功能。分析了电子飞行仪表系统软件设计的原则和结构,介绍了软件的类和消息机制。此外,通过在嵌入式系统的有限资源和三维处理的复杂算法间进行合理的折衷,实现了空间变换、立体投影和曲线消隐等算法模块,构成了自行设计的三维地形引擎。软件已经在基于Intel,Motorola等多种嵌入式处理器的系统上下载成功并且能够稳定运行。     

ARM嵌入式处理器在智能仪器中的应用

介绍了一种基于ARM嵌入式处理器系统的智能仪器的硬件和软件设计方案,并结合uc/os-II嵌入式实时操作系统,给出了一套完整的任务调度和管理的方法,最后给出实例说明.     

实时嵌入式系统MIPS R3000和Intel 80960处理器的适用性评估

MIPSR30 0 0和Intel 80 96 0是实时嵌入式系统的两种候选处理器。本文描述了MIPSR30 0 0和Intel 80 96 0的结构特征。通过对流水线互锁、上下文转换、进程间通讯、同步及多进程支持、过程调用、容错和例外处理、中断处理、超越 /特殊功能、数据类型和调试支持等的分析 ,做出了两种结构的适用性评估     

嵌入式高可信架构中基于静态模型的调度研究

为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制。为了保障分区中任务的实时性和正确性,对分区中任务采用静态优先级和最早时限优先调度(EDF)动态优先级两种调度策略,分别就其任务调度条件和可调度性进行了理论研究,针对复杂的动态优先级任务提出了一种可调度条件,并通过仿真实验进一步验证了此调度条件的正确性。     

基于图禁忌的并行测试任务调度算法

现有算法处理强约束关系的并行测试任务调度问题具有运算时间长、寻优概率低、收敛性差等缺陷,针对这些问题提出了一种基于图禁忌的调度算法.该算法从测试任务间的约束关系人手,利用图论建立测试任务间的关系图,并结合禁忌算法实现并行测试任务的多目标优化调度.算法中将强约束关系的测试任务调度问题与无约束关系的资源配置问题进行分离,提...     

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

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

一种新的并行测试任务调度算法

 并行测试的任务优化调度是并行测试技术的核心问题。为了解决现有调度方法耗时、实际应用范围有限以及缺少对资源冲突和系统死锁的形式化分析等问题,采用赋时有色Petri网(TCPN)建立并行测试任务调度的TCPN模型,基于TCPN模型的可达标识图利用改进蚁群算法求解最优任务调度序列。算法搜索过程中,采用多目标优化,目标函数综合了测试时间、仪器成本和负载平衡度,使得算法更符合工程应用。采用动态标注方法在搜索过程中加大可行解间的信息素差别,避免算法早熟。仿真实例证明该算法是有效的。     

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

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

风险驱动的安全关键实时任务调度

安全关键系统面临着日趋严峻的安全威胁,如何降低安全关键实时应用的风险成为挑战。通过结合风险评估与实时调度,给出一种风险驱动的任务调度方案。在分析非周期实时任务可调度性的基础上,提出一种基于处理器瞬态利用率、系统安全风险最小的在线调度近似算法。在不违背关键任务的时间约束和安全约束的前提下,该算法能够在低时间复杂度内得到安全性能确保的次优解。实验结果显示所提算法能明显降低安全关键实时应用的风险。具体来讲,最大安全风险可降低22.2%,并且在安全风险近似率上界为110%情况下,真实近似率最小为102.4%。     

NRS4000取指单元的设计

NRS4000是一种采用全正向设计思路的嵌入式32位RISC微处理器，它与Intel80960二进制兼容。本文在对NRS4000体系结构分析研究的基础上，对NRS4000的取指部件的设计作了较详细阐述。     

一种基于FPGA的ISA航空总线设计方法

Nios Ⅱ处理器是Altera公司推出的基于SOPC系统的嵌入式软核处理器。在Quartus Ⅱ软件的SOPC Builder工具中,用户可以利用Nios Ⅱ处理器、标准配套外围设备以及用户自定义的逻辑接口IP核来创建适用的Nios Ⅱ嵌入式系统,再将设计下载到Altera公司的FPGA中进行实现。本文在Quartus Ⅱ软件中使用Verilog硬件描述语言创建了基于Avalon总线的ISA总线接口逻辑,并在SOPC Builder中实现对此元件的封装,使之成为可供Nios Ⅱ系统使用IP核。     

基于PowerPC处理器的嵌入式系统电源设计与实现

PowerPC处理器以其多样化功能和优异的性能得到各领域广泛应用。基于此类处理器的嵌入式系统设计将会涉及到许多特殊问题,嵌入式处理系统的电源电路设计就是其中之一。以MPC755为例分析了PowerPC处理器的供电要求和单板计算机的整体电路功能,开展了基于多种电源转换芯片的供电设计,解决了PowerPC处理器嵌入式单板计算机的供电问题。     

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

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

嵌入式无线VOD系统方案设计

通过一个嵌入式无线视频点播方案的设计与实现,展示了远程教育中移动学习的一个典型应用.通过支持IEEE802.11b无线网络协议和MMS协议,在带CF无线网卡的Intel PXA270硬件平台上,采用支持多种编码格式的Mplayer播放器,并对Konqueror浏览器加入MMS协议支持.通过对整个方案中若干关键技术的设计与实现,建立了原型系统,为以后进一步的推广和应用打下了良好基础.     

基于全数字AC伺服驱动的微处理机

微处理机AC伺服驱动恒磁同步电动机本文介绍了伺服应用的全数字AC驱动，该设计基于32位嵌入式微处理机（Intel80960KB）.出于其的高性能，硬件被大大减少，转化为软件功能。这是一个复杂的设计，并是一个很灵活的系统，此外，它还可轻易地实现最新控制算法。在这一实现中，具备快速运作现行向量控制器的可变构造伺服控制器被设计进软件中。实验结果证明电动机驱动具有良好的动态性能。基于全数字AC伺服驱动的微处理机@刘娟     

敏捷成像卫星多星密集任务调度方法

 面向应急观测需求,对敏捷成像卫星多星密集点目标观测任务调度问题进行研究。针对敏捷成像卫星观测特点,综合考虑卫星可观测时间窗口、任务间卫星姿态调整时间、卫星最长连续工作时间、星上存储容量、卫星能量等约束,建立多星任务调度模型。提出了一种改进的蚁群优化(ACO)算法对调度模型进行求解。该算法借鉴了蚁群系统(ACS)和最大最小蚂蚁系统(MMAS)的思想,结合调度相关约束设计寻优策略和信息素更新策略。引入任务优先级、最早及最晚可观测时间等因素来控制转移概率。仿真结果验证了模型和算法的有效性。     

综合模块化航空电子系统节能分层调度的设计(英文)

近年来,综合模块化航空电子(Integrated Modular Avionics,IMA)构架逐渐流行,并通过引入资源分区的概念取代了传统的联合式系统构架。研究了IMA构架下分层调度的设计问题。调度模型通过强时间分区,使多个强实时应用方便地集成在一个单处理器平台。推导出分区周期、分区系数以及可调度性在实时条件下的数学关系,并提出了分区参数的优化算法。考虑具有任意时限的实时任务模型,提高了算法的通用性。在分层调度的基础上,通过有效利用松弛时间,提出一种能量优化方法,进一步减少了飞行器上嵌入式系统的能耗。实验结果表明,本文提出的系统设计方法在保证硬实时需求的基础上,有效的降低能耗达 14%。