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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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