检索结果-内蒙古大学图书馆

农业机械学报 2006年第9期37卷 36-39页

作者：王俊席杨林祝轲卿周海涛卓斌上海交通大学机械与动力工程学院

将实时操作系统和有限状态机理论引入到电控发动机控制软件的研究中,依据发动机工况调度和管理控制软件的相应功能模块,基于优先级的调度算法,使所有事件均得到快捷有效的处理,软硬件资源得到充分的利用。形成了发动机控制软件V型开发平... 详细信息

将实时操作系统和有限状态机理论引入到电控发动机控制软件的研究中,依据发动机工况调度和管理控制软件的相应功能模块,基于优先级的调度算法,使所有事件均得到快捷有效的处理,软硬件资源得到充分的利用。形成了发动机控制软件V型开发平台:用Matlab/Simulink/Stateflow工具编写程序框图,用TargetLink工具生成程序代码,缩短了调试阶段,降低了发动机控制软件的开发费用。

关键词：发动机实时操作系统有限状态机 V型开发平台

来源：评论

学校读者我要写书评

暂无评论

实时操作系统中信号机构

引用

哈尔滨工业大学学报 1989年第3期21卷 8-14页

作者：李莲治高峰哈尔滨工业大学计算机软件教研室

把UNIX操作系统的信号机构经过改造之后应用于自己设计的EHS实时操作系统中.本文介绍了在该系统中信号机构的设计和实现.

关键词：实时操作系统信号机构计算机

来源：评论

学校读者我要写书评

暂无评论

实时操作系统μC/OS-Ⅱ的多任务改进方法

引用

计算机工程与应用 2005年第12期41卷 5-7页

作者：郭勐黄江洪王贞松中国科学院计算技术研究所中国科学院研究生院北京100039

文章针对实时操作系统μC/OS-Ⅱ中调度函数使用的查找表空间复杂度高而导致μC/OS-Ⅱ仅能支持一定数目(64个)任务的问题,提出了一种改进的查找表结构及其相应的查找方法,使查找表空间复杂度由O(2n)降为O(2n/2),同时保证时间复杂度仍为O(... 详细信息

文章针对实时操作系统μC/OS-Ⅱ中调度函数使用的查找表空间复杂度高而导致μC/OS-Ⅱ仅能支持一定数目(64个)任务的问题,提出了一种改进的查找表结构及其相应的查找方法,使查找表空间复杂度由O(2n)降为O(2n/2),同时保证时间复杂度仍为O(1),实现了μC/OS-Ⅱ的多任务改进。采用该文的方法,可以在基本不增加现有μC/OS-Ⅱ存储大小的情况下,使μC/OS-Ⅱ支持到256个任务。

关键词：实时操作系统 μC/OS-Ⅱ 查找表空间复杂度

来源：评论

学校读者我要写书评

暂无评论

实时操作系统任务调度算法的硬件实现

引用

计算机工程与应用 2010年第35期46卷 52-54,64页

作者：李岩王显山哈尔滨理工大学计算机科学与技术学院哈尔滨150080

对uC/OS-Ⅱ的任务调度算法进行改进和硬化,在uC/OS-II内核基于优先级的抢占式调度算法的基础上扩展同优先级任务的调度算法,突破了原系统对任务数量的限制,去除了原系统对每个任务必须有不同优先级的要求,采用硬件逻辑实现RTOS中的任务... 详细信息

对uC/OS-Ⅱ的任务调度算法进行改进和硬化,在uC/OS-II内核基于优先级的抢占式调度算法的基础上扩展同优先级任务的调度算法,突破了原系统对任务数量的限制,去除了原系统对每个任务必须有不同优先级的要求,采用硬件逻辑实现RTOS中的任务调度,使其实时性和确定性显著提高。整个设计采用VHDL硬件描述语言,利用ISE 8.2软件进行系统调试分析完成功能仿真验证。仿真结果表明,任务管理的硬件实现保持了系统调用的正确性,同时降低了处理器开销,减少了系统调用的执行时间。

关键词：实时操作系统任务管理硬件任务调度器现场可编程门阵列

来源：评论

学校读者我要写书评

暂无评论

基于映像寄存器构建的实时操作系统内核

引用

清华大学学报（自然科学版） 2007年第z2期47卷 1899-1902页

作者：孙康沈海斌王继民潘雪增浙江大学计算机科学与技术学院杭州310027

为提高系统实时性,缩短中断响应时间,提出了一种基于映像寄存器的操作系统内核实现方案。在分析实时操作系统中中断处理过程基础上,总结了影响系统中断响应时间的因素,给出了利用映像寄存器提高中断响应效率的方法。该方法利用处理器中... 详细信息

为提高系统实时性,缩短中断响应时间,提出了一种基于映像寄存器的操作系统内核实现方案。在分析实时操作系统中中断处理过程基础上,总结了影响系统中断响应时间的因素,给出了利用映像寄存器提高中断响应效率的方法。该方法利用处理器中提供的映像寄存器,将内核运行于映像寄存器上,用户进程运行在通用寄存器上,这样对于内核空间发生的中断可以免去保存上下文的开销。该方案成功用于CK520处理器平台上的μCOS-II实时操作系统中。实验结果表明,提出的实时操作系统设计方案在每个中断处理程序中可以平均减少执行54.97条指令。

关键词：实时操作系统中断响应映像寄存器 μCOS-Ⅱ

来源：评论

学校读者我要写书评

暂无评论

可支持多级关键度任务的实时操作系统

引用

系统工程与电子技术 2006年第4期28卷 615-619页

作者：杨仕平黄耕文刘校矢广州海格通信有限公司研发中心广东广州510656

为设计可支持多级关键度任务的军用实时操作系统MRTOS,首先分析了现有实时操作系统的调度机制。同时为定量描述任务的关键度,使用时间窗口来描述任务在有限时间范围内的时限错过情况。基于此描述,提出了改进型的最短紧急距离优先调度算... 详细信息

为设计可支持多级关键度任务的军用实时操作系统MRTOS,首先分析了现有实时操作系统的调度机制。同时为定量描述任务的关键度,使用时间窗口来描述任务在有限时间范围内的时限错过情况。基于此描述,提出了改进型的最短紧急距离优先调度算法,该算法可保证实时任务仅错过规定数量的时限,能有效支持不同关键度任务同时运行在同一计算机上,同时可在任务量瞬时过载的情况下保证关键任务优先得到执行。最后通过仿真对最短紧急距离优先调度算法进行了例证。

关键词：安全关键紧急距离多级关键度调度分析实时操作系统

来源：评论

学校读者我要写书评

暂无评论

实时操作系统内存分配性能检测

引用

计算机应用 2007年第11期27卷 2838-2840页

作者：阎梦天丁志刚王挺宗宇伟上海计算机软件技术开发中心

主要提出了一种检测实时操作系统内存分配性能的方法,利用概率统计的方法随机产生内存碎片,检测实时操作系统在不同条件下内存分配性能的变化,并采用符合正态分布的随机数产生内存碎片,对嵌入式操作系统VxWorks的内存分配性能进行检测,... 详细信息

主要提出了一种检测实时操作系统内存分配性能的方法,利用概率统计的方法随机产生内存碎片,检测实时操作系统在不同条件下内存分配性能的变化,并采用符合正态分布的随机数产生内存碎片,对嵌入式操作系统VxWorks的内存分配性能进行检测,最后结合实际数据分析了VxWorks的内存分配性能符合实时操作系统的要求,同时验证了该检测方法的可行性和可信性。

关键词：实时操作系统内存管理内存分配嵌入式测试

来源：评论

学校读者我要写书评

暂无评论

嵌入式实时操作系统内核混合代码的自动化验证框架

引用

软件学报 2020年第5期31卷 1353-1373页

作者：郭建丁继政朱晓冉华东师范大学软件工程学院上海200062 上海市高可信计算重点实验室(华东师范大学) 上海200062 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200062

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出... 详细信息

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-Ⅱ进行了验证.结果显示,利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达83.8%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10处~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验结果表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.

关键词：实时操作系统 VCC 混合程序验证自动验证 Z3求解器

来源：评论

学校读者我要写书评

暂无评论

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

引用

农业机械学报 2008年第6期39卷 21-24页

作者：宋君花王俊席冒晓建卓斌上海交通大学汽车电子技术研究所

OSEK/VDX是目前通用的汽车电子开放式软件接口。为了实现对混合动力汽车系统的实时控制,在控制策略的实现上有必要加入实时操作系统,以提高系统的响应速度,实现系统的模块化设计。阐述了混合动力系统的结构、系统的硬件构成以及嵌入式... 详细信息

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

关键词：混合动力汽车实时操作系统 OSEK/VDX 多任务

来源：评论

学校读者我要写书评

暂无评论

基于实时操作系统的柴油机调速控制研究

引用

华中科技大学学报（自然科学版） 2007年第5期35卷 102-104页

作者：蒋方毅高世伦张捷刘凯华中科技大学能源与动力工程学院湖北武汉430074

应用现代电子控制技术对常规的喷油泵机械调速器进行了改进,设计了一个以高性能32位处理器为核心的柴油机电子调速系统.以实时操作系统μC/OSⅡ为软件平台,运用面向对象技术编程,采用PID串级控制算法,实现了电子调速系统控制软件的开发... 详细信息

应用现代电子控制技术对常规的喷油泵机械调速器进行了改进,设计了一个以高性能32位处理器为核心的柴油机电子调速系统.以实时操作系统μC/OSⅡ为软件平台,运用面向对象技术编程,采用PID串级控制算法,实现了电子调速系统控制软件的开发.通过硬件在环仿真实验验证了电子调速器改进的可行性和控制算法的正确性.开发实践表明,使用实时操作系统进行发动机控制系统的开发,能有效地提高开发效率.

关键词：柴油机电子调速器实时操作系统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：