期刊文献+
共找到98篇文章
< 1 2 5 >
每页显示 20 50 100
基于Petri的分布式实时嵌入式软件合理性分析 被引量:1
1
作者 陈丽琼 邵志清 +1 位作者 王秀英 范贵生 《计算机科学》 CSCD 北大核心 2008年第8期277-280,299,共5页
合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITP... 合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITPN模型。在确保系统实时性的前提下,给出软件模型合理性的形式化定义及其判定定理。最后以实例说明该方法的可行性。 展开更多
关键词 分布式实时嵌入式软件 PETRI网 建模 合理性 验证
在线阅读 下载PDF
一种分布式实时嵌入式软件的构件模型Z-CCM 被引量:4
2
作者 吴斌 叶绿 吴朝晖 《计算机工程与应用》 CSCD 北大核心 2005年第3期40-44,共5页
把运用于商务应用和桌面系统的中间件和构件化开发思想应用于分布式实时嵌入式(DistributedReal-timeandEmbedded,DRE)软件领域是当前的一个热门研究话题。CORBA构件模型(CORBAComponentModel,CCM)解决了跨平台语言无关的构件化开发问题... 把运用于商务应用和桌面系统的中间件和构件化开发思想应用于分布式实时嵌入式(DistributedReal-timeandEmbedded,DRE)软件领域是当前的一个热门研究话题。CORBA构件模型(CORBAComponentModel,CCM)解决了跨平台语言无关的构件化开发问题,然而在提供QoS保证上CCM存在设计缺陷。论文首先分析了CCM的总体构架,接着提出了一种支持DRE软件开发的新的构件模型Z-CCM,这种构件模型从构件的实现框架、装配过程和运行时环境三方面对CCM进行了优化,以改进CCM在提供QoS保证上的缺陷,从而可以提高DRE软件的开发效率,文章最后介绍了Z-CCM的应用背景。 展开更多
关键词 分布式 实时嵌入 中间件 CORBA构件模型 服务质量
在线阅读 下载PDF
分布式实时嵌入式系统的能耗建模与分析 被引量:4
3
作者 陈丽琼 邵志清 范贵生 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第2期250-255,共6页
为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能... 为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。 展开更多
关键词 分布式实时嵌入系统 PETRI网 可行调度 能耗 通信协议
在线阅读 下载PDF
基于分布式环境的实时嵌入式系统监控框架 被引量:1
4
作者 徐家祥 《计算机工程》 CAS CSCD 北大核心 2004年第4期158-161,共4页
针对实时嵌入式系统应用过程中任务的可计算性并不能代表实时任务的正确性这一特性,该文提出了一种合理的系统监控体系结构模型。它实现了基于策略的监控管理,能够为运行中的实时系统提供性能的保证和错误的监测,并具有跨平台、跨系... 针对实时嵌入式系统应用过程中任务的可计算性并不能代表实时任务的正确性这一特性,该文提出了一种合理的系统监控体系结构模型。它实现了基于策略的监控管理,能够为运行中的实时系统提供性能的保证和错误的监测,并具有跨平台、跨系统的通用性能。 展开更多
关键词 实时嵌入系统 系统监控 策略管理 分布式计算
在线阅读 下载PDF
分布式实时嵌入式系统端到端性能确保
5
作者 廖勇 熊光泽 +2 位作者 陈旭东 桑楠 朱清新 《电子科技大学学报》 EI CAS CSCD 北大核心 2007年第3期541-544,共4页
针对具有端到端截非周期任务模型的分布式实时系统,提出了一种ICA算法,构造了一个兼顾非周期实时任务个体性能和总体性能的分布式控制环。该算法能动态调整任务的QoS,从概率上确保了任务的端到端截止时间,并能通过确保CPU利用率来提高... 针对具有端到端截非周期任务模型的分布式实时系统,提出了一种ICA算法,构造了一个兼顾非周期实时任务个体性能和总体性能的分布式控制环。该算法能动态调整任务的QoS,从概率上确保了任务的端到端截止时间,并能通过确保CPU利用率来提高系统吞吐量。实验结果证明ICA能为具有端到端非周期任务模型的分布式实时嵌入式系统提供更好的性能确保。 展开更多
关键词 分布式实时嵌入 反馈控制 实时系统 调度
在线阅读 下载PDF
实时嵌入式软件的测试技术 被引量:30
6
作者 孙昌爱 靳若明 +1 位作者 刘超 金茂忠 《小型微型计算机系统》 EI CSCD 北大核心 2000年第9期920-924,共5页
实时嵌入式软件作为应用软件的一大流派 ,在很多领域有着极其广泛的应用 ,但其质量却令人担忧 .本文首先概括地介绍了实时嵌入式软件的应用现状 ,在详细分析了实时嵌入式软件的特征—实时性、嵌入特性和反应性—的基础上 ,综述了在该领... 实时嵌入式软件作为应用软件的一大流派 ,在很多领域有着极其广泛的应用 ,但其质量却令人担忧 .本文首先概括地介绍了实时嵌入式软件的应用现状 ,在详细分析了实时嵌入式软件的特征—实时性、嵌入特性和反应性—的基础上 ,综述了在该领域的国内外测试现状 ,包括各种测试方法、测试工具、测试策略和存在的问题 .最后 ,对实时嵌入式软件的测试进行了小结 . 展开更多
关键词 软件测试 实时嵌入软件 测试方法 软件开发
在线阅读 下载PDF
基于Python的实时嵌入式软件测试脚本 被引量:20
7
作者 蒋崇武 刘斌 +1 位作者 王轶辰 胡璇 《计算机工程》 CAS CSCD 北大核心 2009年第15期64-66,73,共4页
基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境(ESSTE)的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结... 基于Python语言设计一种实时测试脚本,开发扩展模块,实现测试脚本与嵌入式软件仿真测试环境(ESSTE)的接口。该测试脚本使用简便,实时性高、描述能力强、具有良好的可复用性,目前已成功应用到ESSTE中。对多个实时嵌入式软件进行测试,结果验证了该测试脚本的正确性和实时性。 展开更多
关键词 自动化软件测试 测试脚本 实时嵌入软件 仿真测试环境 Python脚本
在线阅读 下载PDF
一种嵌入式实时系统软件能耗建模与分析的方法 被引量:9
8
作者 祝义 肖芳雄 +1 位作者 周航 张广泉 《计算机研究与发展》 EI CSCD 北大核心 2014年第4期848-855,共8页
随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过... 随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计. 展开更多
关键词 嵌入实时系统 软件能耗 建模 价格 时间通信顺序进程
在线阅读 下载PDF
分布式移动机器人控制系统设计与实现 被引量:24
9
作者 白亮亮 平雪良 +1 位作者 陈盛龙 蒋毅 《机械设计与制造》 北大核心 2015年第10期180-183,共4页
移动机器人是近年来研究热点,针对当前移动机器人控制系统存在问题,提出了一种低成本的开源移动机器人控制系统方案。以控制芯片ARM Cortex-A9和STM32F407为基础,将开源机器人操作系统(ROS)移植到开源嵌入式系统当中,设计了基于ROS的分... 移动机器人是近年来研究热点,针对当前移动机器人控制系统存在问题,提出了一种低成本的开源移动机器人控制系统方案。以控制芯片ARM Cortex-A9和STM32F407为基础,将开源机器人操作系统(ROS)移植到开源嵌入式系统当中,设计了基于ROS的分布式上位机控制软件和基于RT-Thread实时操作系统的下位机程序,完成了移动机器人控制系统的搭建,实现了移动机器人的分布式控制。移动机器人所使用软硬件均开源,成本低、性能高、可扩展性好。实验结果表明,该控制系统具有较好的稳定性和实时性。 展开更多
关键词 ROS 移动机器人 嵌入 实时操作系统 分布式
在线阅读 下载PDF
实时嵌入式软件测试脚本技术研究 被引量:6
10
作者 殷永峰 刘斌 陆民燕 《计算机工程》 CAS CSCD 北大核心 2003年第1期118-119,共2页
根据当前软件测试脚本技术的发展,结合实时嵌入式软件的特点,提出了脚本化的实时嵌入式软件测试的实现机制,并分别针对嵌入式软件测试脚本语言的设计及其相应解释器的实现进行了阐述。
关键词 实时嵌入软件 软件开发 软件测试 脚本技术
在线阅读 下载PDF
实时嵌入式软件测试执行引擎的设计与实现 被引量:6
11
作者 殷永峰 刘斌 王晨 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2010年第6期723-727,共5页
自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出... 自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性. 展开更多
关键词 实时系统 嵌入软件 自动化测试 编译器 引擎 调度
在线阅读 下载PDF
嵌入式实时软件通用框架模型研究 被引量:3
12
作者 王琼 杜承烈 +1 位作者 李刚 尤涛 《计算机工程与设计》 CSCD 北大核心 2007年第6期1372-1375,共4页
框架是一种在某个领域获得软件重用的重要途径,描绘的是一个待建应用系统软件的主要结构。从实时嵌入式系统的两大特性着手,提出了一个通用的嵌入式实时软件框架模型,深入分析了该框架下的资源模型、时间模型、任务模型、调度模型和通... 框架是一种在某个领域获得软件重用的重要途径,描绘的是一个待建应用系统软件的主要结构。从实时嵌入式系统的两大特性着手,提出了一个通用的嵌入式实时软件框架模型,深入分析了该框架下的资源模型、时间模型、任务模型、调度模型和通信模型以及它们之间的相互依赖关系,并且进行了建模。该模型在某航空机载系统研究中得到了应用并切实提高了软件的开发效率和可维护性,具有一定的工程理论和应用价值。 展开更多
关键词 实时嵌入系统 嵌入实时软件 框架模型 资源管理 时间管理 任务调度
在线阅读 下载PDF
面向实时嵌入式机载软件的测试技术研究 被引量:8
13
作者 王璞 张臻鉴 +1 位作者 王玉玺 皇甫贵真 《计算机工程》 CAS CSCD 北大核心 1998年第2期12-15,共4页
文章对实时嵌入式机载软件的测试方法进行了研究,针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点,提出一个适用于实时嵌入式机载系统的REAST软件测试模型,并对该模型实现中的4个核心技术进行了简要的阐明。最后。介... 文章对实时嵌入式机载软件的测试方法进行了研究,针对机载计算机软件的时空约束、面向机器和容错计算等一系列特点,提出一个适用于实时嵌入式机载系统的REAST软件测试模型,并对该模型实现中的4个核心技术进行了简要的阐明。最后。介绍了以上软件测试方法在实际工程项目中的应用情况。 展开更多
关键词 软件测试 实时 嵌入 机载软件 软件开发
在线阅读 下载PDF
嵌入式实时软件模型开发环境研究 被引量:3
14
作者 李允 桂盛霖 +1 位作者 陈更 罗蕾 《计算机科学》 CSCD 北大核心 2012年第S3期226-229,244,共5页
为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的... 为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码。通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证。 展开更多
关键词 嵌入实时软件 模型驱动 模型开发环境 功能安全 实时
在线阅读 下载PDF
面向嵌入式实时软件系统需求工程环境——SREE 被引量:4
15
作者 舒风笛 毋国庆 王敏 《计算机科学》 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
面向嵌入式实时软件的需求规约语言及检测方法 被引量:4
16
作者 舒风笛 毋国庆 李明树 《软件学报》 EI CSCD 北大核心 2004年第11期1595-1606,共12页
针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时... 针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行. 展开更多
关键词 嵌入实时软件 需求规约语言 需求规约检测 可达图
在线阅读 下载PDF
嵌入式实时控制系统软件可靠性建模与应用 被引量:6
17
作者 郭荣佐 黄君 《计算机应用》 CSCD 北大核心 2013年第2期575-578,共4页
嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中,其软件不同于普通软件,除满足实时性要求外,可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义,然后对不可再分的软件模块进行可靠性建模,并应用Copula函数对... 嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中,其软件不同于普通软件,除满足实时性要求外,可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义,然后对不可再分的软件模块进行可靠性建模,并应用Copula函数对软件系统进行建模,最后应用建立的模型,对具体的系统进行了软件可靠性计算。通过实例计算可知,用Copula函数建立的嵌入式实时控制系统软件可靠性模型,考虑了软件各个模块的相依性,进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。 展开更多
关键词 嵌入实时控制系统 软件可靠性 COPULA函数 建模
在线阅读 下载PDF
基于构件的嵌入式实时软件建模与分析 被引量:4
18
作者 张广泉 林苗 戎玫 《计算机工程与科学》 CSCD 2008年第12期137-141,共5页
嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法... 嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法不仅可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且也使得分析结果具有可复用、可扩展的优点。 展开更多
关键词 嵌入实时软件 UML 时间ER网 组合时间分析
在线阅读 下载PDF
嵌入式实时软件可视化开发方法 被引量:2
19
作者 杨仕平 熊光泽 陈慧 《系统工程与电子技术》 EI CSCD 北大核心 2003年第1期98-102,共5页
分析了传统嵌入式实时软件开发方法的不足之处 ,同时在分析统一建模语言 (UML)与规范描述语言(SDL)各自优缺点的基础上 ,论述了二者集成的可行性。重点讨论了UML与SDL之间的映射问题。最后讨论了以SDL为核心的可视化集成开发环境的可行性。
关键词 嵌入实时软件 开发方法 统一建模语言 规范描述语言 映射
在线阅读 下载PDF
一种基于构件的嵌入式实时软件框架 被引量:1
20
作者 古幼鹏 桑楠 +1 位作者 熊光泽 覃志东 《计算机科学》 CSCD 北大核心 2004年第12期173-178,共6页
嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短,必须具备可定制和演化的能力等挑战,因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF,它在其实时构件模型RTC的接口... 嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短,必须具备可定制和演化的能力等挑战,因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF,它在其实时构件模型RTC的接口中显式定义了构件需要的服务——输入方法,并将接口中的每个方法赋予优先级特性。在此基础上,利用方法连接来描述构件间的交互,采用基于方法连接的可抢占优先级调度算法,从而得到一个全构件化的实时软件框架。最后,我们举了CBRTSF的一个应用例子,并将CBRTSF与相关研究工作进行了比较分析,说明了CBRTSF在满足系统实时性、重用性、扩展性和维护性方面具有较大的优势。 展开更多
关键词 嵌入实时软件 重用性 构件 优先级 接口 扩展性 软件框架 服务 开发周期 规模
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部