OSEK规范的实时操作系统设计

OSEK/VDX规范是一个用于汽车电子、带有接口的开放式软件规范.本文首先介绍了OSEK标准,阐述了一种基于OSEK标准的嵌入式实时操作系统AutoOSEK的设计与实现,并对AutoOSEK的功能和性能进行了测试.系统已在基于Motorola HCS12系列芯片和基于ARM内核的多硬件平台中实现,并在汽车电子控制系统开发中得到较好的应用.     

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

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

基于XML的OSEK OS配置工具的设计与实现

本文介绍了广泛应用于汽车电子实时操作系统的OSEK/VDX规范.在分析了现有OSEK/VDX实现语言(OIL)规范和XML技术的基础上,设计了基于XML的OSEK/VDX操作系统配置语言和操作系统配置工具.     

汽车电子OSEK配置器的设计与实现

介绍在集成开发环境中,通过OIL语言配置OSEK实时操作系统及应用程序的过程,包括使用图形化的用户界面进行读取、编辑、保存OIL文件以及自动生成代码等功能的实现;利用XML技术和OIL语言解析器保证了OIL文件的可移植性、可扩展性和可重用性.     

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

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

清华OSEK车用嵌入式实时操作系统设计

OSEK规范是一个汽车电子开放式系统及其接口的软件规范，MPC555是Motorola公司开发的高性能车用微控制器。结合这两者的技术特点，提出了在MPC555硬件平台上实现符合OSEK规范的车用嵌入式实时操作系统的设计思想，介绍了操作系统实现的集成交叉开发环境，详细分析了该操作系统的组成与实现，并对其实时性和存储要求进行了评估。     

基于OSEK的燃料电池客车控制器的研究

本文成功地将符合OSEK/VDX标准的嵌入式实时操作系统OSEK Turbo OS应用到燃料电池城市客车整车控制器中.将控制程序划分为合理的任务后,通过引入实时操作系统,采用基于优先级的抢占式调度方式构建控制软件系统.不但提高了软件的执行效率,保证了控制器的实时性要求,也提高了控制软件的开发效率.在该实时操作系统的基础上.成功地实现了对整车运行的管理与控制、基于CAN总线的各部件节点的协调控制、故障诊断和处理及数据监控记录等功能.顺利完成了燃料电池城市客车整车控制器的开发.     

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

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

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

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

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

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

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

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

基于服务体/执行流模型的MiniOSEK操作系统

为解决现有OSEK操作系统实时性不高、效率低等问题,提出了一种新的OSEK操作系统——MiniOSEK。MiniOSEK是建立在服务体／执行流模型的基础上,并符合OSEK／VDX标准规范的嵌入式操作系统。其设计思想是将消息驱动的思想引入到传统OSEK操作系统中,即当一个任务调用OSEK操作系统规范规定的应用程序编程接口（API）函数时,只需要向该接口函数发送一个消息。这样可以减少上下文切换所需的时间,提高嵌入式系统的实时性。     

OSEK操作系统一致性测试用例的生成

研究OSEK操作系统的一致性测试需求,提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分,分析分类子集之间的相互关系和制约条件,借助图形化工具精简测试用例的数目。以AutoOSEK的资源管理模块为例进行一致性测试,测试结果验证了该分类树方法的有效性。     

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

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

双重触发的嵌入式系统内核安全访问控制

随着外部事件的不可预知性和实时任务复杂性的增加,传统的仅采用基于事件触发机制的嵌入式实时操作系统的设计变得更加困难,在很多情况下,该系统难以保证实时运行过程中的安全性与可靠性。本文针对μC/OS-II在设计之初并没有考虑时间触发以及安全访问控制机制的特性,结合OSEK时间触发标准,设计并实现一种符合OSEK标准的、基于时间/事件双重触发的内核任务调度机制,并在该调度机制中,提出通过采用通用访问控制框架（GFAC）和安全属性映射表的方法,保证了不同角色对系统访问的安全访问控制。实验结果表明,所设计的调度机制和访问控制方法不仅满足了时间和事件双重触发特征,而且加强了对内核的安全访问控制操作并具有良好的使用效能。     

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

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