期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
OSEK操作系统一致性测试用例的生成 被引量：4
1
作者 李锐 王三宏 +1 位作者 范德全 蒋建春 《计算机工程》 CAS CSCD 北大核心 2011年第9期54-56,共3页
研究OSEK操作系统的一致性测试需求,提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分,分析分类子集之间的相互关系和制约条件,借助图形化工具精简测试用例的数目。以AutoOSEK的资源管理模块为例进行一致性测试,测... 研究OSEK操作系统的一致性测试需求,提出一种基于分类树的一致性测试用例生成方法。对测试对象进行分类划分,分析分类子集之间的相互关系和制约条件,借助图形化工具精简测试用例的数目。以AutoOSEK的资源管理模块为例进行一致性测试,测试结果验证了该分类树方法的有效性。 展开更多
关键词 osek操作系统 一致性测试 分类树 资源管理
下载PDF
符合OSEK的uC/OS任务调度策略 被引量：1
2
作者 赵秋林 阴晓峰 《计算机工程》 CAS CSCD 北大核心 2010年第23期280-282,共3页
根据OSEK OS规范,对实时操作系统uC/OS-Ⅱ的任务调度策略进行改进。提出一种符合OSEK OS规范的任务管理机制,修改uC/OS-Ⅱ的优先级判定方法,以使数值0代表优先级最低,数值越大优先级越高。测试结果表明,修改uC/OS-Ⅱ后的操作系统支持同... 根据OSEK OS规范,对实时操作系统uC/OS-Ⅱ的任务调度策略进行改进。提出一种符合OSEK OS规范的任务管理机制,修改uC/OS-Ⅱ的优先级判定方法,以使数值0代表优先级最低,数值越大优先级越高。测试结果表明,修改uC/OS-Ⅱ后的操作系统支持同优先级多任务,同优先级队列中的任务按FIFO顺序调度。 展开更多
关键词 osek操作系统 实时操作系统 任务管理 优先级
下载PDF
基于OSEKOS的发动机管理系统时间自动机模型的研究
3
作者 李红 赵庆玲 +1 位作者 林曼 姚栋伟 《汽车工程》 EI CSCD 北大核心 2011年第3期250-255,共6页
针对OSEK操作系统的特点,提出了便于复用的时间自动机模型,通过不同参数的设置可灵活实现不同调度策略。对基于OSEK OS的发动机管理系统(EMS)进行抽象分析,以已建的OSEK OS的时间自动机模型作为模板,快速构建EMS的时间自动机模型并进行... 针对OSEK操作系统的特点,提出了便于复用的时间自动机模型,通过不同参数的设置可灵活实现不同调度策略。对基于OSEK OS的发动机管理系统(EMS)进行抽象分析,以已建的OSEK OS的时间自动机模型作为模板,快速构建EMS的时间自动机模型并进行模拟、分析和验证。整个过程表明,该方法具有较好的复用性和灵活性,能为车控系统软件的设计提供较好的时间参考数据,有助于提高车控系统软件的开发效率和质量。 展开更多
关键词 发动机管理系统 osek操作系统 时间自动机
下载PDF
OSEK操作系统抢占式调度策略改进
4
作者 曾素华 蒋建春 《计算机工程与应用》 CSCD 北大核心 2010年第34期228-231,共4页
调度是操作系统的核心,调度策略的优劣直接影响到操作系统工作性能。基于OSEK的操作系统对实时性要求非常严格,通过分析OSEK抢占式调度策略和任务的属性,提出一种任务和函数之间的转换策略,使任务执行在一定条件下可以转换为函数调用,... 调度是操作系统的核心,调度策略的优劣直接影响到操作系统工作性能。基于OSEK的操作系统对实时性要求非常严格,通过分析OSEK抢占式调度策略和任务的属性,提出一种任务和函数之间的转换策略,使任务执行在一定条件下可以转换为函数调用,减少任务执行过程中的切换时间,从而提高任务响应速度和操作系统实时性。通过实验验证,该改进策略是有效的。 展开更多
关键词 osek操作系统 抢占式调度 任务 函数转换策略
下载PDF
OSEK/VDX操作系统在EPS上的应用
5
作者 杨利 李昭灿 李雪琼 《汽车零部件》 2014年第3期75-77,共3页
简单介绍了汽车电子助力转向器(EPS)的基本结构和工作原理,分析了EPS的发展趋势和发展需求。在此基础上,引入了汽车级操作系统OSEK/VDx标准,介绍了标准中任务管理的相关算法。并使用ETAS公司的RTA-OSEK操作系统来构建EPS控制器的软件架... 简单介绍了汽车电子助力转向器(EPS)的基本结构和工作原理,分析了EPS的发展趋势和发展需求。在此基础上,引入了汽车级操作系统OSEK/VDx标准,介绍了标准中任务管理的相关算法。并使用ETAS公司的RTA-OSEK操作系统来构建EPS控制器的软件架构,实现控制程序中各任务的调度。此外,考虑到功能安全的需求,还详细介绍了基于模块化的数据保护机制。 展开更多
关键词 汽车电子助力转向器(EPS) osek VDX标准 RTA-osek操作系统 任务管理
下载PDF
一种嵌入式实时操作系统——OSEK/VDX OS 被引量：3
6
作者 袁铭蔚 孙泽昌 陈觉晓 《测控技术》 CSCD 2003年第12期45-47,共3页
OSEK/VDX操作系统是一种嵌入式实时操作系统(RTOS),具有可裁剪性。本文着重描述了操作系统的内核,包括任务管理机制、一致类、事件机制、调度机制、中断管理、资源管理机制和报警器机制。
关键词 嵌入式实时操作系统(RTOS) osek/VDX操作系统 任务管理 一致类 调度机制
下载PDF
基于分类树的OSEK/VDX操作系统一致性测试研究 被引量：3
7
作者 张志雄 李曦 《计算机系统应用》 2010年第11期208-212,216,共6页
在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则... 在深入研究OSEK/VDX操作系统规范的基础上,提出了基于分类树的OSEK/VDX操作系统的一致性测试方法。该方法的核心思想首先是从OSEK规范抽取出测试目的,其次根据规范和测试目的构造分类树和划分分类树的输入域,再次为分类树添加生成规则和限制条件,最后借助CTE XL工具自动生成一致性测试用例。通过对MiniOSEK的一致性测试,验证了使用分类树方法进行OSEK/VDX操作系统一致性测试的有效性与正确性。 展开更多
关键词 osek/VDX操作系统 一致性测试 分类树方法
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部