期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到103篇文章
< 1 2 … 6 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于场景构件式实时软件设计的一致性检验 被引量：13
1
作者 胡军 于笑丰 +2 位作者 张岩 李宣东 郑国梁 《软件学报》 EI CSCD 北大核心 2006年第1期48-58,共11页
在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口... 在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性. 展开更多
关键词 实时软件 构件式设计 模型检验 接口自动机 顺序图 统一建模语言
在线阅读 下载PDF
实时软件系统开发技术 被引量：6
2
作者 周世杰 秦志光 +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
采用C++代码插装的实时软件内存错误分析 被引量：4
3
作者 李树芳 陈霞 +1 位作者 安金霞 陈东升 《计算机科学与探索》 CSCD 2014年第6期704-711,共8页
在航天领域中,安全关键的大型实时软件系统往往直接影响到任务成败,一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实时软件的12种典型内存故障模式,提出了一种基于C++代码插装的实时软件内存错误快速分析方法。该方法通... 在航天领域中,安全关键的大型实时软件系统往往直接影响到任务成败,一般难以全面检测、分析或避免内存泄漏等常见内存错误。定义了实时软件的12种典型内存故障模式,提出了一种基于C++代码插装的实时软件内存错误快速分析方法。该方法通过对C++源代码进行静态分析,获取指针变量相关信息;通过C++代码插装和运行不同测试用例,实时收集统计C++指针对象的分配、释放、赋值、c-use和p-use使用情况,结合实时软件的典型内存故障模式进行分析,并自动生成详情报告。应用案例表明,该方法能够高效快捷地发现实时软件潜在的典型内存错误,从而有效提高软件质量。 展开更多
关键词 实时软件 内存错误 内存泄漏 代码插装
在线阅读 下载PDF
嵌入式实时软件模型开发环境研究 被引量：3
4
作者 李允 桂盛霖 +1 位作者 陈更 罗蕾 《计算机科学》 CSCD 北大核心 2012年第S3期226-229,244,共5页
为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的... 为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境。其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码。通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证。 展开更多
关键词 嵌入式实时软件 模型驱动 模型开发环境 功能安全 实时性
在线阅读 下载PDF
面向嵌入式实时软件的需求规约语言及检测方法 被引量：4
5
作者 舒风笛 毋国庆 李明树 《软件学报》 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
嵌入式实时软件通用框架模型研究 被引量：3
6
作者 王琼 杜承烈 +1 位作者 李刚 尤涛 《计算机工程与设计》 CSCD 北大核心 2007年第6期1372-1375,共4页
框架是一种在某个领域获得软件重用的重要途径,描绘的是一个待建应用系统软件的主要结构。从实时嵌入式系统的两大特性着手,提出了一个通用的嵌入式实时软件框架模型,深入分析了该框架下的资源模型、时间模型、任务模型、调度模型和通... 框架是一种在某个领域获得软件重用的重要途径,描绘的是一个待建应用系统软件的主要结构。从实时嵌入式系统的两大特性着手,提出了一个通用的嵌入式实时软件框架模型,深入分析了该框架下的资源模型、时间模型、任务模型、调度模型和通信模型以及它们之间的相互依赖关系,并且进行了建模。该模型在某航空机载系统研究中得到了应用并切实提高了软件的开发效率和可维护性,具有一定的工程理论和应用价值。 展开更多
关键词 实时嵌入式系统 嵌入式实时软件 框架模型 资源管理 时间管理 任务调度
在线阅读 下载PDF
面向嵌入式实时软件系统需求工程环境——SREE 被引量：4
7
作者 舒风笛 毋国庆 王敏 《计算机科学》 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
一种多任务实时软件可靠性模型 被引量：3
8
作者 雷航 熊光泽 刘锦德 《应用科学学报》 CAS CSCD 1998年第1期1-5,共5页
根据实时多任务软件的特征和各任务所占系统时间的非均匀分布，以任务模块为基本单元，提出一种实时多任务软件可靠性评价模型．该模型所需参数易分析和计算，具有良好的可实现性和可扩充性，为实时多任务软件的可靠性评价开辟了一条新... 根据实时多任务软件的特征和各任务所占系统时间的非均匀分布，以任务模块为基本单元，提出一种实时多任务软件可靠性评价模型．该模型所需参数易分析和计算，具有良好的可实现性和可扩充性，为实时多任务软件的可靠性评价开辟了一条新途径． 展开更多
关键词 可靠性 实时软件 故障率 评价模型
在线阅读 下载PDF
基于构件的嵌入式实时软件建模与分析 被引量：4
9
作者 张广泉 林苗 戎玫 《计算机工程与科学》 CSCD 2008年第12期137-141,共5页
嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法... 嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法不仅可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且也使得分析结果具有可复用、可扩展的优点。 展开更多
关键词 嵌入式实时软件 UML 时间ER网 组合时间分析
在线阅读 下载PDF
声纳基阵信号模拟器实时软件的开发 被引量：4
10
作者 李蕾 吴永清 蔡惠智 《声学技术》 EI CSCD 2004年第3期146-149,162,共5页
声纳基阵信号模拟器是一种实用的、可近似仿真实际监测目标及使用环境的阵元级信号发生器。声纳基阵信号模拟器的使用将有效缩短数字式声纳的研制周期,大大减少湖试和海试的次数。文章中以通用信号阵列处理系统为运行环境,详细介绍了一... 声纳基阵信号模拟器是一种实用的、可近似仿真实际监测目标及使用环境的阵元级信号发生器。声纳基阵信号模拟器的使用将有效缩短数字式声纳的研制周期,大大减少湖试和海试的次数。文章中以通用信号阵列处理系统为运行环境,详细介绍了一种声纳基阵信号模拟器实时多任务系统的软件设计与开发过程,分析了该软件系统中所有基本任务的功能以及多任务之间的通信关系,并且最后给出了该实时多任务软件在通用信号处理机上的实现拓扑图。实践证明,该套软件功能完备,且具有很好的实时性和稳定性,非常适用于现代声纳工程领域。 展开更多
关键词 实时软件 通用 实时多任务系统 软件系统 实时性 拓扑图 软件设计与开发 信号模拟器 信号阵列 阵元
在线阅读 下载PDF
实时软件接收机伪码快速捕获技术 被引量：2
11
作者 赵欣 赵琳 +1 位作者 宋洪涛 郝勇 《弹箭与制导学报》 CSCD 北大核心 2009年第4期185-188,共4页
为开发实时GPS软件接收机,文中首先分析了目前伪码并行捕获方法中系统复杂度和捕获速度之间的矛盾,设计了基于FFT的循环相关并行捕获算法。针对弱信号环境下低信噪比的情况,研究了适合该算法的解决方案,并提出改进的捕获算法,理论分析... 为开发实时GPS软件接收机,文中首先分析了目前伪码并行捕获方法中系统复杂度和捕获速度之间的矛盾,设计了基于FFT的循环相关并行捕获算法。针对弱信号环境下低信噪比的情况,研究了适合该算法的解决方案,并提出改进的捕获算法,理论分析与实验结果证实了该方法在弱信号环境下具有较好的捕获性能,并能大幅度减少捕获时间。 展开更多
关键词 伪码捕获 FFT 循环相关 实时软件接收机
在线阅读 下载PDF
Time Petri网在实时软件测试中的应用 被引量：4
12
作者 范洪达 叶文 《计算机应用与软件》 CSCD 北大核心 2003年第12期23-25,共3页
针对实时软件传统测试方法的不足 ,提出了用TimePetri网来生成测试方案的方法。该方法很好地处理了与时间有关的不确定性问题 ,具体例子说明了其在实时软件测试中的应用。
关键词 实时软件测试 软件开发 软件设计 TimePetri网 逻辑操作
在线阅读 下载PDF
嵌入式实时软件可视化开发方法 被引量：2
13
作者 杨仕平 熊光泽 陈慧 《系统工程与电子技术》 EI CSCD 北大核心 2003年第1期98-102,共5页
分析了传统嵌入式实时软件开发方法的不足之处 ,同时在分析统一建模语言 (UML)与规范描述语言(SDL)各自优缺点的基础上 ,论述了二者集成的可行性。重点讨论了UML与SDL之间的映射问题。最后讨论了以SDL为核心的可视化集成开发环境的可行性。
关键词 嵌入式实时软件 开发方法 统一建模语言 规范描述语言 映射
在线阅读 下载PDF
一种基于构件的嵌入式实时软件框架 被引量：1
14
作者 古幼鹏 桑楠 +1 位作者 熊光泽 覃志东 《计算机科学》 CSCD 北大核心 2004年第12期173-178,共6页
嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短,必须具备可定制和演化的能力等挑战,因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF,它在其实时构件模型RTC的接口... 嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短,必须具备可定制和演化的能力等挑战,因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF,它在其实时构件模型RTC的接口中显式定义了构件需要的服务——输入方法,并将接口中的每个方法赋予优先级特性。在此基础上,利用方法连接来描述构件间的交互,采用基于方法连接的可抢占优先级调度算法,从而得到一个全构件化的实时软件框架。最后,我们举了CBRTSF的一个应用例子,并将CBRTSF与相关研究工作进行了比较分析,说明了CBRTSF在满足系统实时性、重用性、扩展性和维护性方面具有较大的优势。 展开更多
关键词 嵌入式实时软件 重用性 构件 优先级 接口 扩展性 软件框架 服务 开发周期 规模
在线阅读 下载PDF
基于微软视窗系统实时软件的一般构架 被引量：1
15
作者 周畅 朱德森 陈绵云 《计算机应用研究》 CSCD 北大核心 2002年第6期103-105,共3页
从实际角度出发 ,提出并详细分析了一种在Microsoft的非实时Windows操作系统上实现实时软件的一般性方案 。
关键词 微软 视窗系统 实时软件 构架 WINDOWS 消息 事件 中断 操作系统
在线阅读 下载PDF
实时软件测试用例构造方法研究 被引量：2
16
作者 李伟华 王备战 李书书 《西北工业大学学报》 EI CAS CSCD 北大核心 1998年第2期261-265,共5页
在分析实时软件特征的基础上，从任务组合和等价类划分两个主要环节探讨了软件测试用例构造策略，总结出六项基本规则，并将这些规则应用于一项大型工程软件的测试，使测试用例数减少到接近最低程度，时间和费用降低50％以上。
关键词 测试用例生成 等价类划分 实时软件
在线阅读 下载PDF
实时软件的容错技术 被引量：3
17
作者 林中达 《电力自动化设备》 EI CSCD 1994年第4期1-3,共3页
实时软件的容错技术是提高系统可靠性和可利用率的有效手段。本文介绍了实时软件容错技术的现状，阐述了软件容错的设计方法，提出了实时软件容错技术的实施方案。
关键词 实时软件 容错 故障 可靠性
在线阅读 下载PDF
DCS系统异常事件管理实时软件设计 被引量：1
18
作者 马旭东 《计算机应用研究》 CSCD 1995年第2期50-51,共2页
ＤＣＳ系统一般要求实时响应过程各子系统异步发生的事件，准确记录其发生时间、类型，并给予必要的声光提示或报告。本文论述了在实时多任务环境下过程报告等典型事件的检测和触发设计方法，并给出了在个人计算机上事件记录和声光报警... ＤＣＳ系统一般要求实时响应过程各子系统异步发生的事件，准确记录其发生时间、类型，并给予必要的声光提示或报告。本文论述了在实时多任务环境下过程报告等典型事件的检测和触发设计方法，并给出了在个人计算机上事件记录和声光报警实时管理的实现。 展开更多
关键词 DCS系统 异常事件管理 程序设计 实时软件
在线阅读 下载PDF
硬实时软件建模与分析的进程代数方法
19
作者 祝义 黄志球 +2 位作者 张广泉 周航 肖芳雄 《计算机科学与探索》 CSCD 2014年第6期684-693,共10页
针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期... 针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间;最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性,计算结果有助于硬实时系统截止期的量化分析和优化设计。 展开更多
关键词 实时软件 硬实时 进程代数 时间通信顺序进程 模型检验
在线阅读 下载PDF
一种支持实时软件资源建模与分析的方法
20
作者 祝义 黄志球 曹子宁 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第3期500-505,共6页
针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用... 针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计. 展开更多
关键词 实时软件 资源 建模 通信顺序进程
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 6 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部