VxWorks嵌入式实时操作系统的结构研究

本文介绍了VxWorks的组成结构及各个组成结构的作用。VxWorks是美国WindRiver公司于1983年设计开发的一种嵌入式实时操作系（RTOS），它为程序员提供了高效的实时任务调度、中断管理，实时的系统资源以及实时的任务间通信。其核心功能主要有：微内核wind，任务间通信，网络支持以及文件系统和I／O管理等。     

VxWorks嵌入式实时操作系统的结构研究

本文介绍了VxWorks的组成结构及各个组成结构的作用。VxWorks是美国WindRiver公司于1983年设计开发的一种嵌入式实时操作系统(RTOS),它为程序员提供了高效的实时任务调度、中断管理,实时的系统资源以及实时的任务间通信,其核心功能主要有:微内核wind,任务间通信,网络支持以及文件系统和I/O管理等。     

嵌入式实时操作系统的现状和未来

从RTOS（嵌入式实时操作系统）发展的历史、RTOS市场和技术发展的变化、RTOS的未来及RTOS在中国几个方面,给出RTOS的现状、未来发展方向及RTOS的应用领域：系统级、板极、SOC级。     

QNX Neutrino实时操作系统性能分析

操作系统是实时嵌入式系统的核心,其性能是决定系统实时性的关键因素之一.介绍了微内核实时操作系统-QNXNeutrino,并以标准检查程序对内核进行性能测试和分析.     

面向关键任务嵌入式实时操作系统设计技术

与通用的实时操作系统相比,面向关键任务的嵌入式实时操作系统具有自身的一系列技术难点,包括陷阱机制,有限内核重入及时MMU的利用等。文中即对面向关键任务的嵌入式实时操作系统中的这些关键性技术问题进行了详细的分析并提出相应解决方案。     

基于嵌入式实时操作系统的弹载计算机软件设计

嵌入式实时操作系统的引入改变了传统弹载计算机软件开发模式;通过对我国自主研发的一款嵌入式实时操作系统进行研究,分析当前战术导弹弹载计算机系统的特征,对实时操作系统实施裁减定制,形成了满足弹载软件系统的微内核系统;围绕着基于该内核系统的应用,某型弹载计算机软件的设计从系统需求分析、任务划分、任务实现以及最终系统运行结果四方面综合给出了设计方法,试验证明,使用操作系统的弹载软件功能、性能满足弹载计算机系统指标要求,对提高软件的可重用性、可靠性等方面起到重要的作用。     

基于混合架构的嵌入式实时操作系统设计

在嵌入式实时操作系统中,单独使用合作式调度或抢占式调度难以同时完全满足时间触发任务和事件触发任务调度的性能要求。针对该问题,结合不同调度方式和触发方式的优点,设计一个基于混合架构的嵌入式实时操作系统SinewOS。该系统支持时间/事件触发、合作式/抢占式的混合调度以及同等优先级任务的调度。实验结果证明,该系统具有良好的可预测性和时间确定性,事件响应速度快,代码空间要求低,适用范围广。     

通过任务分割提高嵌入式系统的实时性

分析长任务对嵌入式系统实时性的影响，在此基础上提出任务分割是提高嵌入式系统实时性的一种有效途径；总结长任务分割的方法，给出一个通过任务分割提高嵌入式系统实时性的实例。     

嵌入式实时操作系统AutoOSEK的设计

OSEK/VDX规范是一个用于汽车电子、并带有接口的开放式软件规范。基于OSEK/VDX规范,该文介绍了嵌入式实时操作系统AutoOSEK的内核结构,AutoOSEK采用了与“硬件无关”、“硬件相关”部分完全独立的设计架构,讨论了这2个部分的实现方法,分析了系统性能。系统在基于Motorola HCS12系列芯片和ARM内核的多硬件平台中得以实现,并在汽车电子控制系统开发中得到了较好的 应用。     

嵌入式Linux操作系统的实时性研究

随着嵌入式系统在实时领域的广泛应用,对嵌入式操作系统在实时性方面提出了新的要求。作为构建嵌入式操作系统宠儿的Linux系统在实时性方面的缺陷成为了亟需解决的问题,研究者们对Linux的实时性改进提出了很多好的方法。其中既有从以前的实时系统继承下来的,也有为Linux专门设计的。文中对其中的主要方法进行了概括总结,最后提出运用AOP提高Linux系统实时性的设想。     

嵌入式应用系统的可靠性设计初探

嵌入式应用系统是一个有计算机内核的智能化电子系统。集成电路的超长寿命、计算机的软件介入与智能化的控制能力,决定了嵌入式应用系统全新的可靠性设计观念。这些新观念是：基于出错概率的多值可靠性、确定应用系统的可靠性等级、建立应用系统的可靠性模型、应用系统的本质可靠性设计与可靠性控制设计。     

嵌入式系统的系统测试和可靠性评估

引入多种嵌入式系统的系统测试方法；根据ISO 9000国际质量标准，提出一种切实可行的可靠性评估方案，并将它们应用于嵌入式产品测试中，测试效果良好。最后，通过两个测试实例说明嵌入式系统的系统测试过程和分析。     

嵌入式软件的可靠性测试及评估

软件可靠性是衡量软件质量的重要指标之一,软件可靠性测试和评估是提高软件可靠性的有效手段。针对嵌入式软件,研究了软件可靠性测试关键技术及统计方案,并将软件可靠性测试评估技术首次应用在某产品的嵌入式软件中,通过验证软件是否满足可靠性指标要求,为评价软件可靠性提供依据。     

嵌入式系统开发的实时性能和可靠性探讨

为了理解RTOS如何通过系统调度策略实现实时性要求,通过描述嵌入式系统和实时系统的关键特性,探讨在硬件和软件组件的基础上开发嵌入式系统的解决方案,介绍抢占式调度、可抢占的内核、优先级继承和中断处理等概念.     

一种嵌入式系统的可靠性测试与评价方法

使用Markov模型进行嵌入式系统的可靠性测评,能够明显地节约计算时间,并保证可靠性测评的准确性,因而越来越受到人们的关注。在Markov模型中,可以使用敏感性因子描述嵌入式系统可靠性,建立敏感性因子和测试资源的关联,为系统模块分配可靠性指标,把嵌入式系统的可靠性测试,转化为相应的优化问题。文中介绍了一种基于Markov模型的嵌入式系统可靠性测试与评价方法,包括测评框架、设计指标分配和敏感性分析等内容,说明如何依照可靠性测评框架对嵌入式系统进行可靠性测评。     

提高嵌入式系统可靠性的探讨与实践

阐述在嵌入式微处理器控制系统中软件与硬件的辩证关系；提出在充分掌握和利用硬件的基础上，通过软硬结合、加强监控、总体优化等措施，提高系统运行的可靠性；同时给出编程过程中提高可靠性的一些具体方法。     

嵌入式控制系统的可靠性设计

主要对嵌入式控制系统在抗干扰方面提出了各种措施,包括电源、接地、隔离输入、输出通道,以及在电路设计上采取了措施,以求提高系统的抗干扰能力。对其它环境的适应性和软件可靠性提出了看法。     

Formal Memory Models for the Verification of Low-Level Operating-System Code

This article contributes to the field of operating-systems verification. It presents a formalization of virtual memory that extends to memory-mapped devices. Our formalization consists of a stack of three detailed formal memory models: physical memory (i.e., RAM), physically-addressable memory-mapped devices (including their respective side effects, access and alignment requirements), and page-table based virtual memory. Each model is formally shown to satisfy the plain-memory specification, a memory abstraction that enables efficient reasoning for type-correct programs. This stack of memory models was developed in an attempt to verify Nova, the Robin micro-hypervisor. It is a key component of our verification environment for operating-system kernels based on the interactive theorem prover PVS.     

面向流水线型模式的MANET嵌入式可靠性分析研究

随着大型离散制造业的竞争日益激烈,提高生产效率变得越来越重要。实施MES(Manufacturing Execution System)是提高竞争力的一个比较好的解决方案,而网络通信畅通是实施MES的关键基础。针对大型离散制造业车间的行业特点和实际环境,引入了移动自组织网络(MANET,Mobile Ad hoc Network)作为通信的网络。由于MANET是不依赖固定基础设施、无中心控制、动态拓扑的动态无线通讯网络,研究基于实际环境的MANET的可靠性对于网络的部署和调整就显得非常有现实意义。基于实际制造业车间环境,给出了面向作业型制造业生产模式的MANAET可靠性分析模型(ERMWT,Embedded Reliability Model on Working Table)。