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

华中科技大学学报（自然科学版） 2004年第5期32卷 53-55页

作者：胡修林于峰华中科技大学电子与信息工程系湖北武汉430074

论述了实时嵌入式系统中有关实时性的几个基本概念 ,分析了中断嵌套和任务调度的工作原理 ,在此基础上提出了改善实时性能的设计和实现方法 .这些方法在双星定位系统用户机软件设计和实现中得到充分利用 ,大大提高了系统的实时性能 .用... 详细信息

论述了实时嵌入式系统中有关实时性的几个基本概念 ,分析了中断嵌套和任务调度的工作原理 ,在此基础上提出了改善实时性能的设计和实现方法 .这些方法在双星定位系统用户机软件设计和实现中得到充分利用 ,大大提高了系统的实时性能 .用户机嵌入式操作系统平台为DeltaOS .

关键词：实时嵌入式系统中断嵌套任务调度

来源：评论

学校读者我要写书评

暂无评论

实时嵌入式系统协调设计的行为验证模型

引用

计算机辅助设计与图形学学报 2004年第1期16卷 105-108,115页

作者：王世好严迎建刘明业北京理工大学ASIC研究所北京100081

嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口指令集模... 详细信息

嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口指令集模拟的主要特点是模拟精度高 ,但模拟速度慢 ,对于不同的CPU结构需要构造不同的指令集模拟器文中研究一种基于RTOS实时嵌入式系统行为验证模型 ,通过扩展RTOS功能 ,建立RTOS软件模拟器 ,实现RTOS模拟器和VHDL/VerilogHDL协同模拟交互 RTOS模拟器把嵌入式软件功能代码、CPU接口代码以及定制硬件驱动代码分开 ,实现嵌入式软件设计与硬件平台的弱相关。

关键词：实时嵌入式系统协调设计行为验证指令集模拟

来源：评论

学校读者我要写书评

暂无评论

实时嵌入式系统的竞态条件及其分析方法研究

引用

计算机研究与发展 2010年第7期47卷 1201-1210页

作者：陈艳徐晓峰李晓潮郭东辉厦门大学信息科学与技术学院福建厦门361005 厦门大学物理系福建厦门361005 福建省集成电路设计工程技术研究中心福建厦门361005

竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件... 详细信息

竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果.

关键词：实时嵌入式系统执行序列竞态条件竞态集竞态条件图

来源：评论

学校读者我要写书评

暂无评论

实时嵌入式系统指令缓存行为预测研究

实时嵌入式系统指令缓存行为预测研究

引用

作者：邢海峰内蒙古大学

学位级别：博士

实时嵌入式系统的应用领域不断扩大,相关研究受到进一步关注。衡量实时嵌入式系统性能的重要指标之一是任务的最坏情况执行时间,因此通常在系统设计阶段即需开展指令缓存行为预测工作,以准确估计实时任务的执行时间上界。指令缓存行为... 详细信息

实时嵌入式系统的应用领域不断扩大,相关研究受到进一步关注。衡量实时嵌入式系统性能的重要指标之一是任务的最坏情况执行时间,因此通常在系统设计阶段即需开展指令缓存行为预测工作,以准确估计实时任务的执行时间上界。指令缓存行为的时间延迟是该时间上界重要组成之一,因此指令缓存行为预测研究的重点是识别缓存行为的命中、缺失,目标是估计缓存行为的时间延迟。现代嵌入式处理器的指令缓存配置复杂,且所设计的系统可能采用不同任务调度方式,这均会增加指令缓存行为预测的难度。论文基于双核双层典型架构,在不同任务调度方式下,研究指令缓存行为预测的有效方法,包括:对指令缓存行为建模、验证所建模型的正确性,并进行模型优化求解,即估算出缓存行为的时间延迟。(1)研究指令缓存行为建模所需要的关键信息的识别和捕获。重新定义指令分类方法,更准确地识别指令类型;设计路径剪枝规则,尽可能地降低指令类型识别的时间开销;进一步分析路径剪枝规则,设计路径捕获方法,准确地捕获2层指令缓存上可能发生的访问。(2)在任务固定且呈现周期性反复运行的任务调度方式下,分析待建的指令缓存行为模型特征、模型正确性验证的不足和模型求解难点;采用可满足性模理论,建立缓存行为延迟的SMT模型,验证模型的正确性,设计优化求解算法,并证明算法的最优性。(3)在任务随着时间推移不断变化且呈现周期性反复运行的任务调度方式下,分析待建的指令缓存行为模型特征和模型正确性验证的不足;结合可满足性模理论,建立多时段缓存行为延迟模型、验证模型的正确性和模型转化的等价性。基于进化算法,分析个体选择、交配和变异可能对模型优化解的影响,给出相应的对策,对模型进行求解。实验结果表明:(1)提出的基于路径剪枝的指令分类方法能够在可接受时间开销的前提下更准确地完成指令分类;(2)提出的基于路径剪枝的路径捕获方法可以在更小时间开销下保证高层指令缓存访问的准确预测;(3)可满足性模理论不仅能够实现缓存行为准确建模,也易于开展模型正确性和模型等价转化的自动验证;(4)SMT模型的优化求解算法可在理论证明的对数阶迭代次数内得到优化解;(5)多时段缓存行为延迟模型的优化求解算法可使选择的绝大部分标准的缓存行为结果收敛到优化解上,剩余少量标准的缓存行为结果与优化解的接近度超过98.5%。论文主要创新贡献:(1)提出一种指令缓存行为建模预处理框架,包括基于规则的路径采样法和准确的2层路径捕获法,既提升了建模所需关键信息捕获的准确性,又兼顾了时间开销;(2)提出基于SMT的缓存行为预测新方法,既易于开展模型正确性自动验证,又可高效求得优化解;(3)提出基于动态多目标建模方法、SMT和进化求解技术的缓存行为预测方法,既建立了多时段缓存行为延迟模型,又兼顾模型的自动验证,并求得模型的优化解。

关键词：实时嵌入式系统指令缓存行为预测指令分类剪枝规则路径捕获 SMT 缓存行为建模优化求解

来源：评论

学校读者我要写书评

暂无评论

实时嵌入式系统中的存储系统优化与实时调度算法研究

实时嵌入式系统中的存储系统优化与实时调度算法研究

引用

作者：王铸浙江大学

学位级别：博士

实时嵌入式系统中的存储系统包括Cache，便笺存储器(SPM，ScratchpadMemory)与主存，它对于系统的实时性能与功耗均有较大影响，因此存储系统的优化算法对于提高系统性能与降低功耗十分重要。近年来，新型的非易失性存储介质(Non-Volati... 详细信息

实时嵌入式系统中的存储系统包括Cache，便笺存储器(SPM，ScratchpadMemory)与主存，它对于系统的实时性能与功耗均有较大影响，因此存储系统的优化算法对于提高系统性能与降低功耗十分重要。近年来，新型的非易失性存储介质(Non-Volatile Memory, NVM)广受业界关注，在通用与实时系统设计中均有逐步取代传统内存的趋势。本文针对实时嵌入式系统中的存储系统优化与实时调度算法展开研究，针对不同的系统假设提出了多种优化算法，包括以下几项主要工作:　　1) WCET限制下的数据分配优化算法　　本文考虑的是单个实时程序中的数据变量在SPM和主存之间的分配问题。在程序的变量中，有些对于程序的WCET（最坏执行时间）影响较大，有些对于程序的平均能耗的影响较大。当分配方案的WCET达到最小值的时候，程序的平均能耗不一定能达到最小值，这时就需要对两个目标进行一定的权衡。我们的方法在满足给定的WCET上限的条件下，最小化内存访问所需的平均能耗。　　2)基于NVM的SPM上的多任务数据分配算法　　本文考虑的是多任务实时系统中的数据变量在基于NVM的SPM与主存之间的分配问题。该工作在满足用户给定的NVM使用寿命的限制条件下最小化系统CPU利用率。为了在NVM上实现有效的损耗均衡，我们不仅需要考虑每个变量是否分配在SPM上，还要考虑变量分配在SPM上的具体位置使之满足用户设定的NVM使用寿命上限。　　3)基于PCM/DRAM的混合内存中的任务分配算法　　本文考虑的是多任务实时系统中的任务在PCM+DRAM混合主存上的分配优化算法。与前两个工作不同，它是以任务为分配单位，在满足系统可调度性与NVM的持久性的条件下最小化内存访问能耗。　　4)基于固定偏移量的全局多处理器调度的模型检测方法　　以上工作均是基于单核处理器。针对运行于多核平台上的多任务实时系统，我们提出了一种用于多处理器全局调度算法的可调度性分析的模型检测方法，该方法能够提高分析的精确度和分析效率，比较适用于工业界。

关键词：实时嵌入式系统存储系统实时调度优化设计

来源：评论

学校读者我要写书评

暂无评论

实时嵌入式系统中的一种互斥方法

引用

计算机应用与软件 2004年第11期21卷 128-128,F003页

作者：韩明峰烟台东方电子信息产业股份有限公司保护及变电站自动化事业部烟台264000

本文分析了实时嵌入式操作系统中几种常用的互斥方法 ,提出了一种基于任务优先级的禁止抢占法。

关键词：互斥实时嵌入式系统实时嵌入式操作系统优先级高效性任务禁止方法分析安全性

来源：评论

学校读者我要写书评

暂无评论

实时嵌入式系统测试脚本模型化研究

引用

测控技术 2010年第6期29卷 92-94,100页

作者：龚志远刘斌杨顺昆北京航空航天大学工程系统工程系北京100191

为进一步提高实时嵌入式系统仿真测试平台的实时性能,研究分析了仿真模型与测试脚本的关系和特点,提出了脚本模型化的思想,通过将测试脚本转化为模型行为,以取代测试脚本耗时的解释执行机制,加快代码执行速度。基于该思想,为GESTE平台... 详细信息

为进一步提高实时嵌入式系统仿真测试平台的实时性能,研究分析了仿真模型与测试脚本的关系和特点,提出了脚本模型化的思想,通过将测试脚本转化为模型行为,以取代测试脚本耗时的解释执行机制,加快代码执行速度。基于该思想,为GESTE平台设计了一个脚本转换器,并通过实际测试,定量地对比分析了脚本模型化对代码运行速度的提升。

关键词：实时嵌入式系统仿真测试仿真模型测试脚本脚本模型化

来源：评论

学校读者我要写书评

暂无评论

实时嵌入式系统形式化自动验证的研究与应用

引用

制造业自动化 2007年第9期29卷 20-24页

作者：郑建华李迪肖舒华苏兆港仲恺农业技术学院计算机科学与工程学院广州510225 华南理工大学机械工程学院广州510640

实时嵌入式系统的重时间特性决定了在系统设计时需对系统作确定性验证。本文分析了不同的验证方法后认为形式化验证中基于时间自动机的模型检验方法最适用于实时嵌入式系统的分析和验证。在此基础上本文给出了时间自动机的定义和验证性... 详细信息

实时嵌入式系统的重时间特性决定了在系统设计时需对系统作确定性验证。本文分析了不同的验证方法后认为形式化验证中基于时间自动机的模型检验方法最适用于实时嵌入式系统的分析和验证。在此基础上本文给出了时间自动机的定义和验证性工具UPPAAL的介绍,并对行人优先可控交通灯控制系统实例做了详细的建模、验证分析,结果表明该系统满足预定的各种特性要求。

关键词：实时嵌入式系统 UPPAAL 时间自动机交通灯控制

来源：评论

学校读者我要写书评

暂无评论

实时嵌入式系统开发平台的研究与设计

实时嵌入式系统开发平台的研究与设计

引用

作者：胡培尧广东工业大学

学位级别：硕士

随着自动化产业的迅速发展,实时嵌入式系统在航空航天、工程设计以及军事技术等领域的应用越来越普及。在众多嵌入式操作系统中,Linux的功能十分强大,而且源码开放,以及支持多种硬件平台和具有模块化设计,这些优势使得Linux在嵌入式行... 详细信息

随着自动化产业的迅速发展,实时嵌入式系统在航空航天、工程设计以及军事技术等领域的应用越来越普及。在众多嵌入式操作系统中,Linux的功能十分强大,而且源码开放,以及支持多种硬件平台和具有模块化设计,这些优势使得Linux在嵌入式行业得到了广泛的应用。但Linux属于分时操作系统,内核不可抢占、时钟粒度粗糙、频繁关中断等特性都制约了其在实时环境中的应用。为了能使Linux在实时环境中得到应用,就必须对进行实时性改造,使其满足实时要求。首先对实时系统的概念和特点进行了探讨,针对Linux在实时性能上的不足进行了分析,从而提出Linux实时性改造的必要性。在此基础上,对当前各种嵌入式Linux操作系统实时改造方案进行了分析比较,其中重点分析了Xenomai的实现机制。在beaglebone black平台上构建了实时系统并对其实时性能进行了测试,并与标准Linux内核的测试结果进行了比较分析。在对以太网的特点在实时通信中所存在的缺陷进行分析的基础上,提出了在Xenomai上使用RTnet实时网络协议栈实现基于以太网的实时通信方案。为了将RTnet移植到beaglebone black平台上,根据RTnet的以太网驱动模型编写了CPSW+LAN8710的以太网控制器的实时驱动程序。最后对标准Linux网络子系统和基于RTnet的实时网络性能进行对比测试测试。测试结果表明,在标准Linux系统上应用了Xenomai与RTnet后,系统的实时性得到显著提高,可以满足在硬实时环境中的应用需求,从而构建一个通用的实时嵌入系统基础开发平台。

关键词：以太网实时嵌入式系统 Xenomai RTnet

来源：评论

学校读者我要写书评

暂无评论

实时嵌入式系统板级支持包的开发环境

实时嵌入式系统板级支持包的开发环境

引用

作者：姚勇北京理工大学

学位级别：硕士

该文的主要目的是要以pSOSystem这种实时操作系统为实例,对板级支持包的开发步骤和方法,作出系统的分析和设计,最终形成一个主要针对pSOSystem实时操作系统,不依赖于任何硬件平台的,板级支持包开发环境,以帮助板级支持包的开发人员能... 详细信息

该文的主要目的是要以pSOSystem这种实时操作系统为实例,对板级支持包的开发步骤和方法,作出系统的分析和设计,最终形成一个主要针对pSOSystem实时操作系统,不依赖于任何硬件平台的,板级支持包开发环境,以帮助板级支持包的开发人员能够缩短开发周期,提高软件质理.该篇论文的主要贡献在于:提出了I/O设备驱动的体系结构;提供了不依赖于硬件设备的pSOSytem板级支持包的初始化流程和串口与网口的I/O接口函数;编写了pSOSystem的初始化模板和串口与的驱动模板;实现了图形化,界面友好的板级支持包的开发环境.

关键词：实时嵌入式系统实时操作系统板级支持包

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：