期刊文献+
共找到234篇文章
< 1 2 12 >
每页显示 20 50 100
实时嵌入式系统的竞态条件及其分析方法研究 被引量:4
1
作者 陈艳 徐晓峰 +1 位作者 李晓潮 郭东辉 《计算机研究与发展》 EI CSCD 北大核心 2010年第7期1201-1210,共10页
竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件... 竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果. 展开更多
关键词 实时嵌入式系统 执行序列 竞态条件 竞态集 竞态条件图
在线阅读 下载PDF
分布式实时嵌入式系统的能耗建模与分析 被引量:4
2
作者 陈丽琼 邵志清 范贵生 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第2期250-255,共6页
为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能... 为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。 展开更多
关键词 分布实时嵌入式系统 PETRI网 可行调度 能耗 通信协议
在线阅读 下载PDF
实时嵌入式系统协调设计的行为验证模型 被引量:2
3
作者 王世好 严迎建 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第1期105-108,115,共5页
嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟 指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口 指令集模... 嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟 指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口 指令集模拟的主要特点是模拟精度高 ,但模拟速度慢 ,对于不同的CPU结构需要构造不同的指令集模拟器 文中研究一种基于RTOS实时嵌入式系统行为验证模型 ,通过扩展RTOS功能 ,建立RTOS软件模拟器 ,实现RTOS模拟器和VHDL/VerilogHDL协同模拟交互 RTOS模拟器把嵌入式软件功能代码、CPU接口代码以及定制硬件驱动代码分开 ,实现嵌入式软件设计与硬件平台的弱相关 。 展开更多
关键词 实时嵌入式系统 协调设计 行为验证 指令集模拟
在线阅读 下载PDF
混合实时嵌入式系统软硬件协同综合算法及其组件设计 被引量:2
4
作者 罗怡桂 栾静 顾君忠 《计算机应用》 CSCD 北大核心 2005年第6期1432-1436,共5页
给出一个混合实时嵌入式系统软硬件协同综合算法COSMT及其组件的设计方法,从而能够生成混合实时嵌入式系统的系统结构,并且能够在SystemC仿真环境下进行软件与硬件的协同设计与调试。
关键词 混合实时嵌入式系统 软硬件协同综合 组件设计 软硬件协同设计 SYSTEMC
在线阅读 下载PDF
实时嵌入式系统中高效定时器算法的实现 被引量:1
5
作者 芦东昕 鲁旭 缪敬 《中兴通讯技术》 2003年第5期48-50,共3页
文章提出了一种实时嵌入式系统中高效定时器算法的实现手段:通过采用单循环队列定时器算法解决了在多队列计时算法中存在的冗余操作和排序操作的缺点,使定时器计时方法更有效率,更具有伸缩性,能适应不同规模的嵌入式系统。
关键词 实时嵌入式系统 单循环队列 计时周期 定时器 算法
在线阅读 下载PDF
实时嵌入式系统的高速内存数据库设计 被引量:4
6
作者 何煦岚 《计算机工程与设计》 CSCD 北大核心 2008年第19期4957-4959,共3页
提出了在实时嵌入式系统中使用内存数据库的必要性,并设计了内存数据库中两种不同类型的表结构,线性表和哈希表。介绍了线性表和哈希表的基本特点和基本操作过程,指出了管理数据库对于内存数据库的支持作用和两者之间的数据通信机制,提... 提出了在实时嵌入式系统中使用内存数据库的必要性,并设计了内存数据库中两种不同类型的表结构,线性表和哈希表。介绍了线性表和哈希表的基本特点和基本操作过程,指出了管理数据库对于内存数据库的支持作用和两者之间的数据通信机制,提出了使用通信状态机技术实现两者通信的设计思想,并介绍了状态机3要素的设计和用于通信的各种消息类型,最后通过一个表的传送过程的举例描述了通信过程的典型流程。 展开更多
关键词 实时嵌入式系统 内存数据库 哈希表 管理数据库 状态机 消息驱动
在线阅读 下载PDF
基于分布式环境的实时嵌入式系统监控框架 被引量:1
7
作者 徐家祥 《计算机工程》 CAS CSCD 北大核心 2004年第4期158-161,共4页
针对实时嵌入式系统应用过程中任务的可计算性并不能代表实时任务的正确性这一特性,该文提出了一种合理的系统监控体系结构模型。它实现了基于策略的监控管理,能够为运行中的实时系统提供性能的保证和错误的监测,并具有跨平台、跨系... 针对实时嵌入式系统应用过程中任务的可计算性并不能代表实时任务的正确性这一特性,该文提出了一种合理的系统监控体系结构模型。它实现了基于策略的监控管理,能够为运行中的实时系统提供性能的保证和错误的监测,并具有跨平台、跨系统的通用性能。 展开更多
关键词 实时嵌入式系统 系统监控 策略管理 分布计算
在线阅读 下载PDF
基于CORBA/Java的实时嵌入式系统监控方法
8
作者 徐家祥 艾定军 +1 位作者 张栋岭 张激 《计算机工程》 CAS CSCD 北大核心 2003年第11期140-142,共3页
基于对实时嵌入式系统的分析,提出了一种新的基于CORBA/Java技术的监控方法 ?这种新方法利用CORBA/Java技术可很好地实现异构系统的监控?该文提出的新方法充分利 用了Java语言的跨平台性,实现了异构系统的互操作性?
关键词 实时嵌入式系统 监控 CORBA JAVA
在线阅读 下载PDF
面向分布实时嵌入式系统的任务优化调度算法
9
作者 梁克 周兴社 +1 位作者 盛瑞卿 张凯龙 《西北工业大学学报》 EI CAS CSCD 北大核心 2009年第6期900-905,共6页
文章针对负载难以准确预知且动态变化的复杂分布实时嵌入式系统,提出了一种基于快速模型预测控制的任务调度算法,通过动态调整分配在各个处理器上的任务QoS,使得每个处理器的CPU利用率保持在参考值附近,保证了任务的实时性;利用多参数... 文章针对负载难以准确预知且动态变化的复杂分布实时嵌入式系统,提出了一种基于快速模型预测控制的任务调度算法,通过动态调整分配在各个处理器上的任务QoS,使得每个处理器的CPU利用率保持在参考值附近,保证了任务的实时性;利用多参数二次规划的方法求解模型预测控制中的约束优化问题,可有效减小算法的执行时间。实验结果表明算法有效且负载极小。 展开更多
关键词 分布实时嵌入式系统 任务调度 模型预测控制 多参数二次规划
在线阅读 下载PDF
实时嵌入式系统中的一种互斥方法
10
作者 韩明峰 《计算机应用与软件》 CSCD 北大核心 2004年第11期128-128,F003,共2页
本文分析了实时嵌入式操作系统中几种常用的互斥方法 ,提出了一种基于任务优先级的禁止抢占法 。
关键词 互斥 实时嵌入式系统 实时嵌入操作系统 优先级 高效性 任务 禁止 方法 分析 安全性
在线阅读 下载PDF
基于优先级时间Petri网的实时嵌入式多核系统分析 被引量:1
11
作者 张凯文 刘关俊 +4 位作者 孙彦韬 李晓锋 关健 解毅 顾斌 《软件学报》 EI CSCD 北大核心 2024年第9期4123-4140,共18页
已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应... 已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应用;(2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化,不便于工程设计人员使用;(3)没有考虑任务间互斥访问共享变量的情况.为此,定义了优先级时间Petri网(Pri-TPN)以弥补第1个不足;定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足;给出从TDG-RAP到Pri-TPN的转化规则与算法以弥补第2个不足,以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法;开发工具软件,方便工程设计人员使用. 展开更多
关键词 实时嵌入多核系统 优先级时间Petri网 可达图 任务依赖图 最坏执行时间(WCET) 死锁
在线阅读 下载PDF
嵌入式实时系统中RUDP通信的测试与分析
12
作者 周宏 柳长安 +1 位作者 周越 卢东昕 《计算机应用研究》 CSCD 北大核心 2005年第9期240-241,244,共3页
阐述了嵌入式系统中RUDP通信模块的基本功能,介绍了RUDP通信模块的实现方法,对RUDP通信模块传输效率进行了测试及分析,包括与相同测试环境下的TCP通信模块的对比测试及其优化方案的分析。
关键词 实时嵌入式系统 RUDP通信 测试 分析
在线阅读 下载PDF
复杂嵌入式实时系统体系结构设计与分析语言:AADL 被引量:79
13
作者 杨志斌 皮磊 +2 位作者 胡凯 顾宗华 马殿富 《软件学报》 EI CSCD 北大核心 2010年第5期899-915,共17页
首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实... 首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实践进行了概述.最后,探讨了AADL的发展与研究方向. 展开更多
关键词 复杂嵌入实时系统 系统体系结构 模型驱动 AADL(architecture analysis and DESIGN language)
在线阅读 下载PDF
一种嵌入式实时系统软件能耗建模与分析的方法 被引量:9
14
作者 祝义 肖芳雄 +1 位作者 周航 张广泉 《计算机研究与发展》 EI CSCD 北大核心 2014年第4期848-855,共8页
随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过... 随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计. 展开更多
关键词 嵌入实时系统 软件能耗 建模 价格 时间通信顺序进程
在线阅读 下载PDF
嵌入式实时系统内存管理策略 被引量:15
15
作者 黄贤英 王越 陈媛 《计算机工程与设计》 CSCD 2004年第10期1808-1810,共3页
嵌入式系统内存配置较小,不能采用一般桌面系统的内存管理方式,选取合适的内存管理策略在嵌入式系统设计中起着重要的作用。介绍了嵌入式系统设计中内存管理的范围、对内存分配的要求以及可能出现的问题,对内存分配的方式进行了详细的阐... 嵌入式系统内存配置较小,不能采用一般桌面系统的内存管理方式,选取合适的内存管理策略在嵌入式系统设计中起着重要的作用。介绍了嵌入式系统设计中内存管理的范围、对内存分配的要求以及可能出现的问题,对内存分配的方式进行了详细的阐述,给出了内存碎片、内存丢失、执行时间不固定等问题的解决方法。 展开更多
关键词 内存管理 内存分配 嵌入系统设计 嵌入实时系统 内存配置 桌面系统 丢失 策略 问题
在线阅读 下载PDF
功能分离的嵌入式实时系统设计方法及应用 被引量:5
16
作者 胡天亮 张承瑞 +1 位作者 刘日良 李鹏 《计算机集成制造系统》 EI CSCD 北大核心 2008年第3期431-437,443,共8页
为实现嵌入式实时系统的可重构性,解决用户级功能开放问题,提出了一种基于Statecharts建模理论的功能分离的嵌入式实时系统设计方法。应用该方法,可将系统设计为机器接口、事件处理器和系统描述数据三部分。功能设计基于Statechart建模... 为实现嵌入式实时系统的可重构性,解决用户级功能开放问题,提出了一种基于Statecharts建模理论的功能分离的嵌入式实时系统设计方法。应用该方法,可将系统设计为机器接口、事件处理器和系统描述数据三部分。功能设计基于Statechart建模,且被作为系统描述数据在复杂的整个系统设计中独立出来。通过提供的系统描述数据开发工具,用户和第三方对功能的升级和二次开发成为可能。详细说明了该系统的结构和实现方案。通过此方法在机床控制器开发中的应用和用户级开发实例,验证了该方法的可行性,系统功能的可重构性和用户级开放也得到了实现。 展开更多
关键词 功能分离设计方法 用户级开放 嵌入实时系统
在线阅读 下载PDF
嵌入式实时系统中基于检验点检测的电压分配技术 被引量:3
17
作者 李国徽 杨兵 +2 位作者 胡方晓 许华杰 杜建强 《计算机学报》 EI CSCD 北大核心 2009年第12期2403-2410,共8页
嵌入式实时系统的实时特性、高度的系统可靠性和低系统能耗对综合考虑系统的容错和节能提出了要求.研究了嵌入式实时系统中如何达到上述三大目标的非周期任务调度和电压分配问题.在基于检验点容错技术的可调度性检测基础上,提出了对于... 嵌入式实时系统的实时特性、高度的系统可靠性和低系统能耗对综合考虑系统的容错和节能提出了要求.研究了嵌入式实时系统中如何达到上述三大目标的非周期任务调度和电压分配问题.在基于检验点容错技术的可调度性检测基础上,提出了对于系统非周期任务的基于调度性检测的电压分配算法CST-VA,该算法在保证任务实时性的同时提高了系统的可靠性,节省了系统的能耗.模拟实验表明,该算法比现有电压分配算法更适合于嵌入式实时系统. 展开更多
关键词 嵌入实时系统 非周期任务 容错技术 能量管理 电压分配
在线阅读 下载PDF
嵌入式实时系统中RUDP通信的设计与实现 被引量:3
18
作者 周宏 柳长安 卢东昕 《计算机工程》 EI CAS CSCD 北大核心 2006年第11期265-267,270,共4页
为提高嵌入式实时系统中处理器间通信效率,针对通常传输层协议的不足,设计并实现了嵌入式系统中RUDP通信模块,以实现嵌入式分布系统中各进程间可靠、高效的通信。首先给出了RUDP通信模块的基本功能、任务划分和控制机制;其次阐述了RUDP... 为提高嵌入式实时系统中处理器间通信效率,针对通常传输层协议的不足,设计并实现了嵌入式系统中RUDP通信模块,以实现嵌入式分布系统中各进程间可靠、高效的通信。首先给出了RUDP通信模块的基本功能、任务划分和控制机制;其次阐述了RUDP通信模块的实现过程,包括滑动窗口、消息和应答的识别与处理、主要定时器的处理和定时器管理;最后给出了结论。 展开更多
关键词 嵌入实时系统 可靠UDP RUDP通信 通信效率
在线阅读 下载PDF
面向嵌入式实时软件系统需求工程环境——SREE 被引量:4
19
作者 舒风笛 毋国庆 王敏 《计算机科学》 CSCD 北大核心 2002年第4期4-8,14,共6页
1前言 软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS).对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要.但... 1前言 软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS).对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要.但由于许多因素,如问题的复杂性、设计人员交流障碍、用户对问题陈述的不完全和不一致以及需求易变性等,需求分析变得十分复杂.为有效地解决这些问题,人们主要围绕着需求分析模型和语言及CASE技术和工具进行了相关的研究,引入形式化技术和CASE工具的需求工程正不断向着需求工程自动化的方向发展. 展开更多
关键词 软件工程 软件开发 嵌入实时软件系统 软件需求工程 SREE
在线阅读 下载PDF
基于ARM平台及嵌入式实时操作系统的通信管理机 被引量:16
20
作者 路小俊 吴在军 +1 位作者 郑建勇 杜炎森 《电力自动化设备》 EI CSCD 北大核心 2005年第5期46-49,共4页
变电站内的通信网络和通信协议的多样性带来了如何实现互操作的现实问题,而基于IEC 61850标准的变电站自动化系统不可能短期内实现,一个可行的解决方案就是在变电站通信网络中采用通信管理机。通过通信管理机,可以实现低速的串行总线、... 变电站内的通信网络和通信协议的多样性带来了如何实现互操作的现实问题,而基于IEC 61850标准的变电站自动化系统不可能短期内实现,一个可行的解决方案就是在变电站通信网络中采用通信管理机。通过通信管理机,可以实现低速的串行总线、现场总线网络和高速以太网之间的互联,构建出高速、可靠、开放的变电站通信网络。基于ARM平台采用嵌入式以太网技术和嵌入式实时操作系统,设计了一种具有多种通信接口,能实现异种网络互联的通信管理机,简述了通信管理机在变电站自动化系统应用优势,详细介绍了该系统软、硬件的设计实现。 展开更多
关键词 变电站自动化系统 通信管理机 ARM平台 嵌入实时操作系统 嵌入以太网
在线阅读 下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部