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

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

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

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

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

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

OSEK/VDX标准与车控电子产品开发

汽车产业是我国国民经济的支柱产业;汽车电子产品是汽车的重要组成部分。将汽车电子产品分为车载电子产品和车控电子产品,并分析车控电子产品的嵌入式技术基础。通过对当前国际上主流车控软件标准OSEK/VDX的分析,提出我国自主发展车控电子的基于OSEK/VDX的产品开发流程;总结车控电子产品发展的趋势。     

OSEK/VDX直接网络管理一致测试方法设计

在深入研究OSEK/VDX网络管理规范的基础上,提出一种针对OSEK直接网络管理的测试方法。根据OSEK NM规范设计直接网络管理测试架构以及测试方案,定义测试报文的数据结构。最后以CANoe总线分析测试软件为基础搭建测试平台,以OSEK直接网络管理的睡眠过程为例进行一致性测试。测试结果表明,该方法能有效地检测OSEK直接网络管理功能与OSEK NM规范的一致性。     

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

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

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

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

基于μC/OS-Ⅱ的车载操作系统设计

根据OSEK/VDX规范,以及μC/OS-Ⅱ内核的特点,分析二者的差异,通过修改μC/OS-Ⅱ内核,设计出一种符合OSEK/VDX规范的车载嵌入式操作系统.并从任务管理与调度、资源管理、警报与计数器管理、事件管理和中断管理等多方面,详细地介绍了该系统的主要设计思想.     

OSEK COM通信规范的通信系统研究

OSEK/VDX规范在汽车电子控制系统开发中具有重要地位,其中OSEK/VDX通信规范（OSEK COM）为汽车电子通信系统的构建提供了依据和参考。本文介绍了OSEK COM3.03规范基于消息的通信机制,设计并实现了一种基于CAN总线的通信系统,并对该系统的功能进行了测试。测试表明,该通信系统可以很好地实现消息的发送和接收功能。     

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

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

基于OSEK/VDX的电动助力系统设计

详细分析电动助力转向系统（EPS）的原理及其工作流程,采用PIC18F458单片机作为控制器,通过其增强型的PWM脉宽调制模块ECCP控制助力电机,实现EPS系统的助力控制、回正控制、阻尼控制等方式。应用软件采用OSEK OS嵌入式操作系统为平台,将EPS系统进行多任务划分,通过优先级调度达到系统协调运行的目的。     

OSEK车用嵌入式系统报警器模块的设计与实现

OSEK是欧洲汽车行业提出的用于汽车电子行业的实时操作系统的国际标准,基于该规范的汽车应用软件具有良好的可靠性和可移植性,能满足汽车仪表、汽车控制系统等多种开发的需求;对OSEK标准中的报警器模块实现的难点给出了详细说明,采取提高时间响应特性算法保证了系统的实时性,在此基础上开发出了符合OSEK标准的报警器模块,最后使用基于飞恩卡尔MC9S12DP256B的16位芯片的电控单元开发板的硬件测试平台对开发出的报警器模块进行测试,测试表明设计的报警器模块完全达到了OSEK标准中对报警器模块的设计要求.     

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

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