OSEK/VDX嵌入式实时操作系统在汽车稳定性控制器中的应用

根据OSEK/VDX标准设计嵌入式实时操作系统,侧重于任务管理,资源管理部分的实现。并在自主开发的汽车稳定性控制器硬件在环仿真平台上进行验证。实验结果表明,在该操作系统上开发系统可以有效地提高实时性和稳定性,能够满足汽车稳定性控制器的要求。     

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

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

基于OSEK/VDX操作系统的任务管理机制设计

在汽车电子仿真控制平台开发领域,通常需要遵循OSEK／VDX规范集,而该规范集的核心之一便是OSEK／VDX操作系统规范。要设计一个符合该规范的微实时操作系统,任务管理机制是保证其实时性的重要方面。该史提出一种符合OSEK／VDX操作系统规范的任务管理机制,以满足OSEK／VDX操作系统的需要。     

基于OSEK/VDX规范的实时操作系统移植研究

AutoOSEK是基于OSEK/VDX规范的在MC9S12DP256硬件平台上开发的嵌入式实时操作系统;为扩展AutoOSEK在汽车电子领域的应用,需将其移植到不同的硬件平台;文章研究了嵌入式操作系统在不同平台移植的理论与技术,提出一种采用层次化和模块化的思想对AutoOSEK进行移植的通用方法;采用该方法实现了AutoOSEK在基于PowerPC架构32位处理器MPC5634上的移植;为验证移植方法的合理性,对移植后的AutoOSEK进行了功能和性能测试,测试结果显示任务切换时间达到2.90μs,能够很好满足汽车电子领域实时性的需要;经验证该操作系统移植方法简单高效,可有效加快开发进程。     

OSEK／VDX实时操作系统的研究与应用

OSEK操作系统对其不同版本提供的应用程序接口进行了标准化,并在嵌入式实时操作系统的基础上,分析OSEKOS及两者技术特点之间的差异;通过修改内核的部分功能,使之符合OSEKjVDX规范,并将其应用到CAN网络申的节点通信。本文着重描述了操作系统的任务管理机制、符合类、同步机制和中断管理。     

Alpha OSEK:一个基于OSEK/VDX标准实现的嵌入式实时操作系统

文章介绍了基于OSEK标准实现的嵌入式实时操作系统-AlphaOSEK。该操作系统适于深嵌入、小内存、有强实时需求的环境。介绍了操作系统的各组成模块及相关特征,还分析了AlphaOSEK对OSEK标准的优化。     

符合OSEK的uC/OS任务调度策略

根据OSEK OS规范,对实时操作系统uC/OS II的任务调度策略进行改进。提出一种符合OSEK OS规范的任务管理机制,修改uC/OS II的优先级判定方法,以使数值0代表优先级最低,数值越大优先级越高。测试结果表明,修改uC/OS II后的操作系统支持同优先级多任务,同优先级队列中的任务按FIFO顺序调度。     

OSEK实时操作系统任务调度的优化

分析OSEK/VDX规范所定义的实时操作系统的任务状态及其调度过程;采用最早时限优先调度(EDF)算法对基于优先级的占先调度算法进行改进,得到改进算法--优先级时限优化调度法;运用差分时限链对优化算法进行实现,并对其有效性进行了对比分析.     

基于OSEK／VDX标准的Trampoline操作系统研究

介绍了基于0SEK／VDX标准的开源嵌入式实时操作系统Trampoline,详细分析了该操作系统内核调度、任务管理和中断管理的实现机制,并指出了Trampoline为实现高可移植性、小内存的设计目标时对OSEK任务管理和中断管理所作的优化。最后,给出了在Linux／x86平台上使用Trampoline开发应用程序的方法。     

基于OSEK/VDX的RTOS设计与实现

在分析OSEK/VDX规范的基础上,从任务调度、事件机制和资源管理等方面出发,研究8位嵌入式实时操作系统FDOSEK的设计,并在Freescale的MC9S08DZ60芯片上实现其内核。对FDOSEK的任务切换时间和存储需求进行测试,结果表明,FDOSEK具有较强的实时性和较低的存储需求,适用于汽车电子领域。     

OSEK/VDX操作系统功能测试研究

传统OSEK/VDX操作系统测试采用分类树的测试方法,导致测试路径不完全和冗余性高。为此,提出以系统服务接口为目标的面向符合类的流框图测试方法。通过评估接口重要度,准确判断接口的各种调用组合方式,提高测试覆盖率,实现测试代码的复用,其测试工作量比原方法减少三分之一。     

符合OSEK/VDX规范的操作系统逻辑仿真研究

通过设计规则, 搭建OSEK操作系统逻辑仿真系统平台, 克服了静态代码检测的不完备性, 实现动态检测逻辑错误。通过测试, 证明了基于规则的动态逻辑检测相对于传统静态分析的优越性。为结合标定技术实现系统逻辑监控提供了基础。     

基于分类树的OSEK/VDX操作系统一致性测试研究

在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。     

嵌入式系统中的实时操作系统

简要介绍了实时操作系统的实现方法,例举了基于Ｌｉｎｕｘ核心的实时操作系统。