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

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

OSEK操作系统抢占式调度策略改进

调度是操作系统的核心,调度策略的优劣直接影响到操作系统工作性能。基于OSEK的操作系统对实时性要求非常严格,通过分析OSEK抢占式调度策略和任务的属性,提出一种任务和函数之间的转换策略,使任务执行在一定条件下可以转换为函数调用,减少任务执行过程中的切换时间,从而提高任务响应速度和操作系统实时性。通过实验验证,该改进策略是有效的。

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

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

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

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

基于OSEKOS的发动机管理系统时间自动机模型的研究

针对OSEK操作系统的特点,提出了便于复用的时间自动机模型,通过不同参数的设置可灵活实现不同调度策略。对基于OSEK OS的发动机管理系统(EMS)进行抽象分析,以已建的OSEK OS的时间自动机模型作为模板,快速构建EMS的时间自动机模型并进行模拟、分析和验证。整个过程表明,该方法具有较好的复用性和灵活性,能为车控系统软件的设计提供较好的时间参考数据,有助于提高车控系统软件的开发效率和质量。

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

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