期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
多处理器实时系统可调度性分析的UPPAAL模型 被引量:17
1
作者 代声馨 洪玫 +3 位作者 郭兵 杨秋辉 黄蔚 徐保平 《软件学报》 EI CSCD 北大核心 2015年第2期279-296,共18页
随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方... 随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息. 展开更多
关键词 可调度性 模型检测 UPPAAL 多处理器实时系统 时间自动机
下载PDF
基于实时多处理器操作系统内核的视频终端研究 被引量:2
2
作者 郑更生 谢治平 贺贵明 《计算机工程》 CAS CSCD 北大核心 2004年第18期146-148,共3页
介绍一种基于实时多处理器操作系统内核的视频终端设计,其中主要介绍了终端的系统结构和基于实时多处理器操作系统内核下本系统的关键编程技术。
关键词 实时多处理器操作系统内核 生产者—消费者模型 TM1300 pSOS+m
下载PDF
基于模型检测的多处理器实时系统可调度性自动化分析
3
作者 杜伊 《现代计算机(中旬刊)》 2017年第1期20-24,共5页
近年来,模型检测技术获得快速的发展,已有学者将模型检测技术用于多处理器实时系统可调度性分析。但如果对每个实际系统都手工建立模型进行可调度性验证,过程繁琐且模型不可重复利用。针对此,开发一个工具用于自动完成可调度性检测,并... 近年来,模型检测技术获得快速的发展,已有学者将模型检测技术用于多处理器实时系统可调度性分析。但如果对每个实际系统都手工建立模型进行可调度性验证,过程繁琐且模型不可重复利用。针对此,开发一个工具用于自动完成可调度性检测,并可视化显示结果。 展开更多
关键词 模型检测技术 多处理器实时系统可调度性 自动化 可视化
下载PDF
RTEMS移植到SAILING S698处理器的BSP开发 被引量:2
4
作者 杨云 李言俊 《计算机工程与应用》 CSCD 北大核心 2009年第26期60-64,共5页
RTEMS是一款优秀的实时嵌入式操作系统,它支持多种处理器架构,具有良好的可移植性和裁剪性,支持多种API标准以及开源的特点使得它被广泛地应用在多种嵌入式领域。以基于SPARC V8架构的SAILING S698处理器开发板为目标,分析了RTEMS移植到... RTEMS是一款优秀的实时嵌入式操作系统,它支持多种处理器架构,具有良好的可移植性和裁剪性,支持多种API标准以及开源的特点使得它被广泛地应用在多种嵌入式领域。以基于SPARC V8架构的SAILING S698处理器开发板为目标,分析了RTEMS移植到S698的主要过程,介绍了RTEMS移植的开发环境配置,描述了在配置好的环境下板支持包(BSP)的开发详细步骤。 展开更多
关键词 实时多处理器系统 SAILING S698处理器 可扩充处理器架构 LEON2处理器
下载PDF
基于RTEMS的软件容错系统设计 被引量:5
5
作者 李小群 张文君 +3 位作者 潘远明 肖贺 郭亮 姜志颖 《计算机应用研究》 CSCD 北大核心 2009年第3期911-913,共3页
在空间环境下运行的计算机系统,高空辐射可能引发各种各样的异常或错误而导致故障。为了提高系统的可靠性,同时尽可能减少对系统实时性能的影响,需要对其进行有效的容错。针对节点和应用软件的故障检测和故障恢复进行研究与分析,提出了... 在空间环境下运行的计算机系统,高空辐射可能引发各种各样的异常或错误而导致故障。为了提高系统的可靠性,同时尽可能减少对系统实时性能的影响,需要对其进行有效的容错。针对节点和应用软件的故障检测和故障恢复进行研究与分析,提出了多种灵活有效的软件容错策略与设计方案,并基于四节点的多机硬件体系结构和RTEMS软件操作系统,设计并实现了一个系统原型。运行结果显示,该方案有效地提高了嵌入式实时系统的可靠性。 展开更多
关键词 实时多处理器系统 软件容错 高可用 高可靠 实时
下载PDF
基于BM3803的星载计算机系统软件开发 被引量:5
6
作者 曹东坡 胡晓惠 +1 位作者 赵军锁 毛劲松 《计算机工程与设计》 CSCD 北大核心 2011年第2期524-526,530,共4页
为了构建基于国产芯片的星载计算机系统,研究了SPARC V8处理器在航天领域的应用,提出了一种基于国产BM3803处理器的星载计算机系统软件开发方法。根据航天控制中高可靠性、稳定性和源代码可控性的实际需要,以开源实时多处理器操作系统RT... 为了构建基于国产芯片的星载计算机系统,研究了SPARC V8处理器在航天领域的应用,提出了一种基于国产BM3803处理器的星载计算机系统软件开发方法。根据航天控制中高可靠性、稳定性和源代码可控性的实际需要,以开源实时多处理器操作系统RTEMS为平台,开发了针对BM3803处理器的板级支持包(BSP)和设备驱动程序,并以PCI和EDAC为例,详细分析了PCI总线驱动和EDAC驱动的设计过程,最终实现了RTEMS对BM3803处理器的系统软件支持。结果表明,基于BM3803构建星载计算机系统是可行的。 展开更多
关键词 实时多处理器系统 可扩展处理器体系架构 系统软件 板级支持包 错误检测与纠正
下载PDF
现场总线设备链路层软件实时性分析与实现
7
作者 余子玉 郭亮 +1 位作者 刘晖 于佳晨 《计算机工程与设计》 CSCD 北大核心 2011年第3期855-858,共4页
为满足一种现场总线设备的实时性,分析了其链路层软件的实时性需求,并实现了链路层软件。链路层软件由设备驱动程序和和消息接收发送线程组成,通过设备驱动程序实现对FPGA板卡的控制以及中断处理,使用消息队列实现消息收发线程与用户线... 为满足一种现场总线设备的实时性,分析了其链路层软件的实时性需求,并实现了链路层软件。链路层软件由设备驱动程序和和消息接收发送线程组成,通过设备驱动程序实现对FPGA板卡的控制以及中断处理,使用消息队列实现消息收发线程与用户线程的通信。对影响实时性的关键时间段进行分析,为精确测量时间,在关键模块进出口使用发送脉冲到示波器,使用示波器对软件的关键模块运行时间进行测量。测量结果表明,能够满足设备的实时性需求。 展开更多
关键词 现场总线设备 实时多处理器系统 链路层 设备驱动程序 消息队列
下载PDF
基于EPICS的切束电源控制系统的研制 被引量:1
8
作者 彭少丽 李刚 +1 位作者 欧阳华甫 雷革 《核电子学与探测技术》 CAS CSCD 北大核心 2012年第6期647-649,659,共4页
目前,世界上各大加速器广泛采用分布式集成开发软件EPICS来开发控制系统。CSNS低能传输线上的切束电源控制系统也同样基于它的基础之上开发。论文针对现有切束电源控制的需求,描述了切束电源控制系统的设计方案,并且详细介绍了EPICS应用... 目前,世界上各大加速器广泛采用分布式集成开发软件EPICS来开发控制系统。CSNS低能传输线上的切束电源控制系统也同样基于它的基础之上开发。论文针对现有切束电源控制的需求,描述了切束电源控制系统的设计方案,并且详细介绍了EPICS应用在RTEMS-uC5282目标机平台上的开发过程。该控制系统的成功实现,不但解决了切束电源控制的需求,并为以后的EPICS控制系统的开发者提供了一种新的可行的IOC目标机运行平台。 展开更多
关键词 切束电源 实验物理及工业控制系统 实时可执行多处理器系统 uC5282
下载PDF
RTEMS下Firewire协议栈的设计与实现 被引量:2
9
作者 张纪胜 陈香兰 周学海 《计算机工程》 CAS CSCD 北大核心 2010年第8期264-266,共3页
目前RTEMS操作系统缺乏对火线的支持。针对Linux和RTEMS在中断机制、定时器机制、延迟过程调用机制等方面的较大差异,提出一种高效的解决方案,实现Linux新火线协议栈到RTEMS的移植。在管理等时传输缓冲区时,结合等时传输的特点,修改环... 目前RTEMS操作系统缺乏对火线的支持。针对Linux和RTEMS在中断机制、定时器机制、延迟过程调用机制等方面的较大差异,提出一种高效的解决方案,实现Linux新火线协议栈到RTEMS的移植。在管理等时传输缓冲区时,结合等时传输的特点,修改环形队列的入队算法,解决可能的缓冲区满的问题。结果表明,实现的火线协议栈已达到对火线协议基本功能支持的目标。 展开更多
关键词 实时多处理器系统 火线 设备驱动 协议栈
下载PDF
RTEMS CPU利用率的研究与实现
10
作者 刘立娟 《大众科技》 2008年第8期41-41,45,共2页
RTEMS是美国军方研制的嵌入式操作系统,最早用于美国国防系统。它采用了面向对象技术、构件技术等到现在也非常先进的理念构造而成,有着非常好的实时性和稳定性。目前RTEMS广泛应用于军事,工业,科研等领域。但RTEMS中并没有提供CPU利用... RTEMS是美国军方研制的嵌入式操作系统,最早用于美国国防系统。它采用了面向对象技术、构件技术等到现在也非常先进的理念构造而成,有着非常好的实时性和稳定性。目前RTEMS广泛应用于军事,工业,科研等领域。但RTEMS中并没有提供CPU利用率的实现,实现一个RTEMS上CPU利用率的算法,可以为RTEMS的性能测试等提供很好的帮助。 展开更多
关键词 CPU利用率 实时多处理器系统 嵌入式系统
下载PDF
An Adaptive Genetic Algorithm for Multiprocessor Real-time Task Scheduling
11
作者 李亚军 杨宇航 《Journal of Donghua University(English Edition)》 EI CAS 2009年第2期111-118,共8页
Real-time task scheduling is of primary significance in multiprocessor systems.Meeting deadlines and achieving high system utilization are the two main objectives of task scheduling in such systems.In this paper,we re... Real-time task scheduling is of primary significance in multiprocessor systems.Meeting deadlines and achieving high system utilization are the two main objectives of task scheduling in such systems.In this paper,we represent those two goals as the minimization of the average response time and the average task laxity.To achieve this,we propose a genetic-based algorithm with problem-specific and efficient genetic operators.Adaptive control parameters are also employed in our work to improve the genetic algorithms' efficiency.The simulation results show that our proposed algorithm outperforms its counterpart considerably by up to 36% and 35% in terms of the average response time and the average task laxity,respectively. 展开更多
关键词 SCHEDULING genetic algorithm REAL-TIME DEADLINE
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部