【摘 要】
：
嵌入式实时软件有着广泛而关键的应用,但描述和检测嵌入式实时软件的需求却是一项十分困难而复杂的工作.针对这一现象,该文提出了一种基于需求规格说明的原型化方法,该方法集
论文部分内容阅读
嵌入式实时软件有着广泛而关键的应用,但描述和检测嵌入式实时软件的需求却是一项十分困难而复杂的工作.针对这一现象,该文提出了一种基于需求规格说明的原型化方法,该方法集严格的形式化需求说明和原型化方法的优点为一体,直接以RTRsM需求规格说明作为目标系统的原型,通过对其进行动态执行来达到检测嵌入式实时软件需求规格说明的目的.为了支持上述研究,目前我们已开发出一个面向嵌入式实时软件的需求工程开发环境SREE.该工具环境作为我们所提出的原型化方法的支撑环境,能有效支持RTRSM需求规格说明即原型系统的编辑生成、检测和执行演示等过程.该文围绕着SREE环境,分析阐述了基于需求规格说明的原型化方法的实现途径.SREE环境在实现该方法时,首先充分利用了形式化的需求规格说明的优点,对原型系统的一致性和完全性方面进行了形式化分析和检查以达到初步检测求精原型系统的目的.另外,考虑到嵌入式实时软件的动态行为主要表现在与外部环境的复杂的交互活动中,由此知其原型的执行过程也是与所嵌入的外部环境密不可分的.故针对原型求精过程在不同阶段检测的任务和侧重点的不同,SREE环境提供了两种不同的原型执行演示方式,即与人工模拟的外部环境交互实现边调试边执行的方式和与以软件模拟的外部环境实现闭环的连续执行的方式.将这两种执行演示方式联合起来使用可增加整个原型化检测方式的灵活性及检测内容的全面性.
其他文献
首先简要介绍了软件工业化生产的方向和复用技术对它的重要性,并阐述了其困难性的根本原因.然后论述了哲学和计算机科学及面向功能体方法的联系,从管理学原理、脑科学和数据
该文首先从分析对象的角度对视频分析技术的研究现状进行了综合论述.并且通过对视频分析技术的现状分析,提出了该领域可能的发展趋势.该文用基于图像序列特征的视频分析的方
随着因特网技术的发展，越来越多的人们倾向于在网上搜索和发布信息。人才市场管理系统是以B/S(浏览器／服务器)体系结构作为基本架构，采用ADO实现对数据库的存取，以IIS 5.0作为Web
软件体系结构对于系统的分析和重用起着至关重要的作用.而要充分利用软件体系结构就必须它进行准确的、全面的、无二义性的描述. 为了克服以上的问题,更好的描述软件体系结构
随着网络技术和数据库技术的发展，人们对网络中数据资源的共享越来越迫切，但这些数据库资源往往存在广泛的异构性。此外，硬件平台的异构、操作系统的异构及网络的异构使得异构问
本文分析了在管理信息系统中集成实时监控系统信息遇到的问题，如跨操作系统平台接收数据、处理网络故障和数据库的故障的自恢复功能、如何处理海量数据等，并针对这些问题结合实
该文提出OMNets和UNINET是为了用多级抽象的方法全面刻画并发对象系统的行为.我们把对象系统模型抽象为4个层次,分别是：系统的行为,对象的行为,对象中方法之间的交互行为以及
该文针对汉语,研究焦点为自然语音在纯声学层面上的发音建模问题,从相互作用且密切相关的识别基元集、发音词典和声学模型等角度出发,提出了如下的方法和策略.第一,汉语声韵
在数据分析中，聚类分析的目的是发现相似数据的集合。其中，划分迁移类方法（如k-means）是一个基本的方法。对于类别型数据，由于它的距离度量不同于数值型数据，因此存在一些特殊的方
该文所做的工作是从地下水资源利用的角度,对国家863项目"农业专家系统开发平台"中的子项目"农业测土空间数据库(SESD)"的进行水利条件方面的完善与补充.以农安县为示范区,对