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

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

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

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

嵌入式OSEK/VDX操作系统的优化与应用

为了解决嵌入式OSEK/VDX操作系统在高负载、抢占模式下低优先级任务长时间得不到执行的问题,利用OSEK/VDX标准中的报警机制提出了一种优化的最小空闲时间优先调度算法来完善嵌入式OSEK/VDX操作系统的调度策略。给出了该算法的具体实现方案,在理论上分析了该算法的可行性,最后将该算法应用于汽车简单和复杂的电控系统。测试结果表明:在高负载、抢占模式下,使用该算法能够明显改善低优先级任务的执行。

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

随着汽车上电控单元的增加及其功能的不断增强,车用软件的设计及开发变的越来越复杂,因此需要一个车用操作系统来减少软件开发的复杂性及提高对电控单元管理的高效性。而操作系统的核心就是任务管理机制的设计。基于此目的,设计了一种符合OSEK/VDX操作系统规范的任务管理机制,并在freescale公司的DP256上调试成功。实验结果证明,此管理机制能够很好的满足车用嵌入式操作系统强时性和高安全性要求。

OSEK/VDX操作系统在EPS上的应用

简单介绍了汽车电子助力转向器(EPS)的基本结构和工作原理,分析了EPS的发展趋势和发展需求。在此基础上,引入了汽车级操作系统OSEK/VDx标准,介绍了标准中任务管理的相关算法。并使用ETAS公司的RTA-OSEK操作系统来构建EPS控制器的软件架构,实现控制程序中各任务的调度。此外,考虑到功能安全的需求,还详细介绍了基于模块化的数据保护机制。

一种嵌入式实时操作系统——OSEK/VDX OS

OSEK/VDX操作系统是一种嵌入式实时操作系统(RTOS),具有可裁剪性。本文着重描述了操作系统的内核,包括任务管理机制、一致类、事件机制、调度机制、中断管理、资源管理机制和报警器机制。

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

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

OSEK/VDX的混合动力汽车实时操作系统

OSEK/VDX是目前通用的汽车电子开放式软件接口。为了实现对混合动力汽车系统的实时控制,在控制策略的实现上有必要加入实时操作系统,以提高系统的响应速度,实现系统的模块化设计。阐述了混合动力系统的结构、系统的硬件构成以及嵌入式软件设计方法。以S12X为主芯片的硬件平台为RTOS的实现提供了硬件保证。软件设计方面阐述了实时内核的设计、基于数据流和主工况状态机的任务划分方法、CAN通信程序的设计等实时操作系统的构建方法。

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

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

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

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

基于OSEK/VDX的嵌入式车用操作系统研究

为了提供一个开放、自主、实用的汽车电子软件开发平台,介绍了当前在国际汽车工业界日益占据主导地位的汽车电子开放式平台系统(OSEK/VDX)规范;其中着重分析了关于操作系统内核的定义,并且在免费的嵌入式实时操作系统μC/OS-Ⅱ的基础上,分析两者技术特点之间的差异;通过修改μC/OS-Ⅱ内核的部分功能使之符合OSEK/VDX规范,并提出了车用实时操作系统的设计思想。

基于OSEK／VDX标准的嵌入式实时操作系统的研究

介绍了当前在国际汽车工业界日益占据主导地位的汽车电子开放系统及其接口的软件标准(OSEK/VDX)体系的由来和最新的发展动向,以及该体系中实时操作系统规范的特点,同时,详细分析了OSEK/VDX OS运行机制,并讨论了系统实现和优化方法。

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

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

基于μCosⅡ的OSEK/VDX实时操作系统任务管理实现

提出了一种满足OSEK/VDX操作系统规范的任务管理机制,通过修改μCosⅡ的任务调度算法,在Freescale的MC9S12系列芯片上成功进行了移植,实现了同优先级多任务的调度。

基于OSEK/VDX标准的嵌入式实时操作系统

介绍了OSEK/VDX标准的历史及发展,并且详细介绍了OSEK/VDX操作系统、通信、网络管理和实现语言的概念及特点。

OSEK/VDX标准的车载嵌入式操作系统内核的结构与设计方法

OSEK/VDX标准在汽车电子领域有着广泛的应用。该标准仅仅规定了OSEK操作系统的系统行为以及相关接口功能,并未涉及其具体实现,因此研究基于OSEK标准的嵌入式操作系统结构与设计方法有着重要意义。在深入分析OSEK操作系统标准的基础上,给出了基于OSEK操作系统标准的车载嵌入式操作系统内核OSEKernel的结构。介绍OSEKernel中ECC2和BCC2一致类的任务调度、警报与计数器、第二类中断的设计方法,以及降低RAM消耗的任务堆栈优化方法,最终在x86平台下实现了OS-EKernel的原型。

基于OSEK/VDX标准的操作系统设计与实现

OSEK/VDX OS规范是一种广泛应用于汽车电子系统的OS设计规范,但该标准仅包含了功能描述和相关接口要求,并未涉及具体实现。据此提出了一种满足OSEK/VDX OS标准的实验性操作系统xOSEK,并在X86体系结构下进行了设计和实现。对其功能和性能进行了评估和简单测试,经检验基本符合规范和嵌入式实时系统的要求。

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

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

基于OSEK/VDX的操作系统任务调度算法的优化及实现

OSEK/VDX是用于汽车电子的开放式平台系统规范。基于此规范,提出了一种任务管理机制和任务调度算法,该算法要求在建立任务时确定任务的时限,当任务的时限达到时提高其优先级,保证该任务得以运行,使系统在保证高优先级任务得以运行的同时保证低优先级任务和同优先级下的多个任务也得以运行,从而保证了系统的实时性。

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

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