期刊文献+
共找到162篇文章
< 1 2 9 >
每页显示 20 50 100
实时软件系统开发技术 被引量:6
1
作者 周世杰 秦志光 +1 位作者 刘锦德 熊光泽 《小型微型计算机系统》 CSCD 北大核心 2004年第1期117-122,共6页
分析了开发实时系统和实时软件系统的特殊性 ,讨论了传统实时软件系统开发技术 (包括 RTSA技术、DARTS技术、JSD技术、NRL方法、OOA & OOD技术等 ) ,并比较了它们各自的优缺点 .详细讨论了面向对象技术在实时软件系统开发中的应用 ... 分析了开发实时系统和实时软件系统的特殊性 ,讨论了传统实时软件系统开发技术 (包括 RTSA技术、DARTS技术、JSD技术、NRL方法、OOA & OOD技术等 ) ,并比较了它们各自的优缺点 .详细讨论了面向对象技术在实时软件系统开发中的应用 ,对统一建模语言 (U ML)在实时软件系统中的应用也进行了深入分析和讨论 .在分析了实时 UML (U ML - RT)的不足之后 ,提出了融合 U ML和 CPN的实时软件开发技术 ,并用一个实例说明了如何利用该技术进行实时软件开发 . 展开更多
关键词 实时计算 实时系统 实时软件系统 统一建模语言 有色PETRI网
下载PDF
嵌入式软件建模、实现与验证:研究与进展 被引量:10
2
作者 胡军 张岩 +3 位作者 于笑丰 王林章 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2005年第12期16-23,共8页
随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要... 随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战。然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法。最后对嵌入式软件及其相关技术的发展进行了展望。 展开更多
关键词 嵌入式软件 嵌入式系统 嵌入式建模 实时软件
下载PDF
基于场景构件式实时软件设计的一致性检验 被引量:13
3
作者 胡军 于笑丰 +2 位作者 张岩 李宣东 郑国梁 《软件学报》 EI CSCD 北大核心 2006年第1期48-58,共11页
在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口... 在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性. 展开更多
关键词 实时软件 构件式设计 模型检验 接口自动机 顺序图 统一建模语言
下载PDF
程序执行时间的静态预估与可视化分析方法 被引量:9
4
作者 孙昌爱 金茂忠 +1 位作者 刘超 靳若明 《软件学报》 EI CSCD 北大核心 2003年第1期68-75,共8页
软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流... 软件时间性能分析与评估技术是实时软件开发中的一个重要课题.提出了一种基于控制流程图的程序执行时间的可视化分析框架,研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流程图的点到点最大时间分析算法和CPU周期的绝对时间估计方法.设计并实现了一个实用的基于控制流程图的程序执行时间静态分析与评估工具.最后,对研究工作进行了相关比较和总结. 展开更多
关键词 程序执行时间 静态预估 可视化分析方法 程序控制流程图 实时软件 软件测试 软件工程 软件开发
下载PDF
一种实时多任务软件可靠性验证方法 被引量:4
5
作者 覃志东 雷航 +2 位作者 熊光泽 桑楠 陈丽蓉 《系统工程与电子技术》 EI CSCD 北大核心 2004年第10期1476-1480,共5页
针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解... 针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法。该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的。实验证明该方法的有效性和灵活性。 展开更多
关键词 软件可靠性 可靠性验证方法 统计测试 实时软件 软件测试
下载PDF
实时嵌入式软件系统测试需求建模研究 被引量:6
6
作者 高猛 《航天控制》 CSCD 北大核心 2010年第5期64-69,共6页
使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法。... 使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度。UML状态图具有形式化特征,适合复杂系统详细行为的描述。本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法。该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等。并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述。基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例。作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点。 展开更多
关键词 系统测试 实时软件 测试需求建模 状态图
下载PDF
一种基于构件的嵌入式实时软件框架 被引量:1
7
作者 古幼鹏 桑楠 +1 位作者 熊光泽 覃志东 《计算机科学》 CSCD 北大核心 2004年第12期173-178,共6页
嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短,必须具备可定制和演化的能力等挑战,因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF,它在其实时构件模型RTC的接口... 嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短,必须具备可定制和演化的能力等挑战,因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF,它在其实时构件模型RTC的接口中显式定义了构件需要的服务——输入方法,并将接口中的每个方法赋予优先级特性。在此基础上,利用方法连接来描述构件间的交互,采用基于方法连接的可抢占优先级调度算法,从而得到一个全构件化的实时软件框架。最后,我们举了CBRTSF的一个应用例子,并将CBRTSF与相关研究工作进行了比较分析,说明了CBRTSF在满足系统实时性、重用性、扩展性和维护性方面具有较大的优势。 展开更多
关键词 嵌入式实时软件 重用性 构件 优先级 接口 扩展性 软件框架 服务 开发周期 规模
下载PDF
采用C++代码插装的实时软件内存错误分析 被引量:4
8
作者 李树芳 陈霞 +1 位作者 安金霞 陈东升 《计算机科学与探索》 CSCD 2014年第6期704-711,共8页
在航天领域中,安全关键的大型实时软件系统往往直接影响到任务成败,一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实时软件的12种典型内存故障模式,提出了一种基于C++代码插装的实时软件内存错误快速分析方法。该方法通... 在航天领域中,安全关键的大型实时软件系统往往直接影响到任务成败,一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实时软件的12种典型内存故障模式,提出了一种基于C++代码插装的实时软件内存错误快速分析方法。该方法通过对C++源代码进行静态分析,获取指针变量相关信息;通过C++代码插装和运行不同测试用例,实时收集统计C++指针对象的分配、释放、赋值、c-use和p-use使用情况,结合实时软件的典型内存故障模式进行分析,并自动生成详情报告。应用案例表明,该方法能够高效快捷地发现实时软件潜在的典型内存错误,从而有效提高软件质量。 展开更多
关键词 实时软件 内存错误 内存泄漏 代码插装
下载PDF
面向对象设计在机电系统实时软件中的应用
9
作者 陈仲生 杨拥民 《工业控制计算机》 2001年第1期42-43,41,共3页
在机电系统中,实时软件比传统软件具有更严格的要求,并且传统的软件局限于具体的物理硬件,运用面向对象和结构化程序设计既很好地满足了实时性的要求,又减轻了程序员的工作量,增加了软件的可扩展性、可重用性和可维护性。
关键词 机电系统 实时软件 面向对象 设计
下载PDF
面向大型实时软件的测试覆盖率快速分析方法 被引量:4
10
作者 李树芳 安金霞 +1 位作者 郑鹏飞 王猛 《西南科技大学学报》 CAS 2013年第3期89-94,共6页
现有测试覆盖率统计方法和工具不能完全满足航天领域大型实时软件系统的特殊需求。针对特殊需求,提出一种面向大型实时软件系统的测试覆盖率快速分析方法,借助于自主开发的C++代码覆盖率插装与分析工具,实现批量化的代码插装,实时采集... 现有测试覆盖率统计方法和工具不能完全满足航天领域大型实时软件系统的特殊需求。针对特殊需求,提出一种面向大型实时软件系统的测试覆盖率快速分析方法,借助于自主开发的C++代码覆盖率插装与分析工具,实现批量化的代码插装,实时采集和统计分析被测软件的语句、分支、条件、MC/DC和函数等覆盖率信息,并输出测试覆盖率详情报告。通过一系列脚本和工具链支持,实现全过程自动化。应用案例表明,该方法快速高效,可以及时调整测试策略,优化测试用例,更快地达到测试充分性要求。 展开更多
关键词 实时软件 测试覆盖率 快速分析
下载PDF
程序最坏执行时间极值统计方法 被引量:3
11
作者 张保民 吴国伟 姚琳 《计算机工程与应用》 CSCD 北大核心 2010年第26期67-71,共5页
程序的最坏执行时间WCET是实时系统时间操作方面的可信基础,现有的WCET静态分析方法都需要对系统某种程度上的额外知识和限定性假设,导致现有的WCET分析方法本质上为偏高估计,降低了资源的利用率和系统的性能。给出一种基于极值统计的... 程序的最坏执行时间WCET是实时系统时间操作方面的可信基础,现有的WCET静态分析方法都需要对系统某种程度上的额外知识和限定性假设,导致现有的WCET分析方法本质上为偏高估计,降低了资源的利用率和系统的性能。给出一种基于极值统计的程序最坏执行时间估计新方法,采用程序执行时间的测量值作为样本,利用Gumbel分布建立程序最坏执行时间统计模型,根据测量样本序列预测执行时间的最大值,与以往的方法相比,这种方法综合体现了各种硬件特性对程序执行时间的影响,估计结果更为精确,更适合处理硬件特性和软件复杂度较高情况下的程序最坏执行时间估计。实验结果表明利用Gumbel分布建立的WCET估计模型能够快速且有效地给出实时程序的最坏执行时间估计。 展开更多
关键词 最坏情况执行时间 极值统计 实时软件
下载PDF
基于分布函数的WCET快速估计 被引量:3
12
作者 周国昌 郭宝龙 +2 位作者 高翔 王健 闫允一 《计算机科学》 CSCD 北大核心 2016年第5期157-161,共5页
在实时软件系统中,软件时间性能的分析与评估技术是一个重要的课题,然而随着CPU的结构越来越复杂,采用传统的模拟底层硬件执行的方法越来越困难。而基于分布函数的最坏执行时间(Worst Case Execution Time,WCET)估计方法从概率角度出发... 在实时软件系统中,软件时间性能的分析与评估技术是一个重要的课题,然而随着CPU的结构越来越复杂,采用传统的模拟底层硬件执行的方法越来越困难。而基于分布函数的最坏执行时间(Worst Case Execution Time,WCET)估计方法从概率角度出发,可以绕过复杂的底层硬件建模,估计程序的最坏执行时间。首先对TI TMS320C6713DSP汇编代码进行基本块的划分,以基本块为结点构建程序流图;然后用贝塔分布模拟每条指令的运行时间并采用改进的计划评审技术(Program Evaluation and Review Technique,PERT)确定贝塔分布相关参数,指令叠加后用正态分布模拟每个基本块的执行时间;最后利用基于路径的方法得到整个程序的最坏执行时间。实验结果表明此方法是可行的和合理的。 展开更多
关键词 WCET DSP PERT 实时软件
下载PDF
计算机软件设计中嵌入式实时软件应用 被引量:3
13
作者 陶姿邑 《信息与电脑》 2019年第11期49-50,共2页
科学不断进步发展,促使计算机逐渐走入人们的工作和生活中。计算机工作过程中,嵌入式实时软件有举足轻重的地位,对计算机来说非常重要。目前,人们越来越认可嵌入式系统相关技术的发展,对其投入了更多关注,各个国家也对其加大了资金投入... 科学不断进步发展,促使计算机逐渐走入人们的工作和生活中。计算机工作过程中,嵌入式实时软件有举足轻重的地位,对计算机来说非常重要。目前,人们越来越认可嵌入式系统相关技术的发展,对其投入了更多关注,各个国家也对其加大了资金投入。嵌入式实时软件可以大幅度提高计算机工作质量。基于此,探究了嵌入式实时软件的相关内容。 展开更多
关键词 计算机 嵌入式 实时软件
下载PDF
基于电话的家庭远程监控与控制系统应用 被引量:1
14
作者 马旭东 施健 +1 位作者 陆淼 戴先中 《工业控制计算机》 2002年第2期1-3,21,共4页
本文以家庭自动化展品模型系统为应用背景,介绍了基于电话/语音调制解调器/PC机的远程监控与控制系统结构,论述了TAPI模型和WaveAPI应用的基本方法,并给出了Windows下实时监控软件的实现。
关键词 远程控制 语音调制解调器 实时软件 家庭自动化 电话
下载PDF
实时软件测试用例构造方法研究 被引量:2
15
作者 李伟华 王备战 李书书 《西北工业大学学报》 EI CAS CSCD 北大核心 1998年第2期261-265,共5页
在分析实时软件特征的基础上,从任务组合和等价类划分两个主要环节探讨了软件测试用例构造策略,总结出六项基本规则,并将这些规则应用于一项大型工程软件的测试,使测试用例数减少到接近最低程度,时间和费用降低50%以上。
关键词 测试用例生成 等价类划分 实时软件
下载PDF
一种模块化的实时软件可靠性测评方法 被引量:1
16
作者 朱虹虹 雷航 熊光泽 《计算机工程与应用》 CSCD 北大核心 2005年第8期51-54,共4页
根据实时软件的可靠性评估需要,在分析传统软件可靠性增长模型局限性的基础上,提出了一种模块化的实时软件可靠性测评方法。该方法将系统的可靠性指标分配到各任务模块,并将贝叶斯理论用于单个模块的可靠性测评。相比基于可靠性增长模... 根据实时软件的可靠性评估需要,在分析传统软件可靠性增长模型局限性的基础上,提出了一种模块化的实时软件可靠性测评方法。该方法将系统的可靠性指标分配到各任务模块,并将贝叶斯理论用于单个模块的可靠性测评。相比基于可靠性增长模型的传统测试方法,该方法可降低系统测试的复杂程度,提高评估精度,特别适合对高可靠性软件的测评。 展开更多
关键词 实时软件 可靠性测评 安全关键实时系统 贝叶斯理论
下载PDF
软件运行剖面的三维描述模型 被引量:2
17
作者 沈升源 汤铭端 陈丽容 《计算机工程与设计》 CSCD 2003年第10期30-33,共4页
软件运行剖面在软件测试中有着重要的作用。针对被测软件有多种使用时的情况,提出了一个三维的 运行剖面描述模型,并将时间变量time(t)作为输入元素描述的一部分,以反映被测实时软件的实际输入情况。
关键词 软件测试 软件运行剖面 三维描述模型 软件可靠性 软件开发
下载PDF
计算机软件设计中嵌入式实时软件的应用实践 被引量:1
18
作者 张红华 《信息与电脑》 2018年第20期83-84,95,共3页
在整个计算机软件体系中,嵌入式实时软件与配置的硬件装置密切相关,还可以用来进行实时控制。随着技术优化与更新,各个领域都开始认可并采用嵌入式实时软件,以此配置计算机内部结构。据此,本文主要对计算机软件设计中嵌入式实时软件的... 在整个计算机软件体系中,嵌入式实时软件与配置的硬件装置密切相关,还可以用来进行实时控制。随着技术优化与更新,各个领域都开始认可并采用嵌入式实时软件,以此配置计算机内部结构。据此,本文主要对计算机软件设计中嵌入式实时软件的应用进行了详细分析。 展开更多
关键词 计算机 软件设计 嵌入式 实时软件
下载PDF
一种快速程序最坏执行时间分析方法研究 被引量:1
19
作者 吴国伟 姚琳 岳峰 《计算机工程与应用》 CSCD 北大核心 2010年第21期69-71,96,共4页
给出一种带有路径冲突检测的程序最坏情况执行时间估计方法,这种方法首先检测程序中存在的分支约束,然后将程序中存在的分支约束信息转化为程序流程控制图(CFG图)中结点之间的语义冲突,并按照结点对的形式保存在相应的冲突数组里,在接... 给出一种带有路径冲突检测的程序最坏情况执行时间估计方法,这种方法首先检测程序中存在的分支约束,然后将程序中存在的分支约束信息转化为程序流程控制图(CFG图)中结点之间的语义冲突,并按照结点对的形式保存在相应的冲突数组里,在接下来的WCET计算阶段通过边搜索程序执行路径边检测冲突数组里保存的已有的冲突关系以便在搜索路径的同时排除非可行执行路径,最终在可行执行路径集中选择具有最大执行时间的执行路径。与以往的方法相比,在保持估计精度的前提下,本文的方法避免了穷举所有执行路径带来的复杂度,提高了搜索的效率。实验结果表明本文方法对于语句间语义依赖关系比较强的实时程序能够快速且有效地给出估计结果。 展开更多
关键词 最坏情况执行时间 冲突检测 实时软件
下载PDF
基于企业级地理信息系统服务平台的气象信息检索平台的设计与实现 被引量:1
20
作者 张进 李超 刘孙俊 《成都信息工程学院学报》 2011年第3期348-352,共5页
为了改变气象信息服务方式,根据气象信息的特点,结合气象信息检索平台的要求,利用企业级地理信息系统服务平台技术,借助于J2EE开发平台和Flex技术,提出了基于B/S架构实现气象信息检索平台的构想,设计了系统的基本框架,功能和数据库,并... 为了改变气象信息服务方式,根据气象信息的特点,结合气象信息检索平台的要求,利用企业级地理信息系统服务平台技术,借助于J2EE开发平台和Flex技术,提出了基于B/S架构实现气象信息检索平台的构想,设计了系统的基本框架,功能和数据库,并且对其中的一些关键技术进行了详细介绍,如企业级地理信息系统服务平台的体系结构以及平台所用到的ESRI公司为应用开发者提供的框架flexview的整体结构,初始化过程等,最后根据设计原则对本气象信息检索平台进行了实现。 展开更多
关键词 计算机应用技术 实时软件 企业级地理信息系统服务平台 气象信息检索平台
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部