基于对象的嵌入式实时软件需求模型

The embedded real-time software requirements are analyzed, and an object-oriented software requirements model is proposed. At the same time, an example, employing this requirements model is introduced in practice.     

面向实时嵌入式机载软件的测试技术研究

文章对实时嵌入式机载软件的测试方法进行了研究，地对机载计算软件的时空约束，面向机器和容错计算每一系列特点，提出了一个适用于实时嵌入式机载系统的ＲＥＡＳＴ软件测试模型，并地该模型实现中的４个核心技术进行了简要的阐明，最后，介绍了以上软件测试方法在实际工程项目中的应用情况。     

面向嵌入式实时软件的需求规约语言及检测方法

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.     

再工程——概念及框架

进入九十年代以来,软件系统的规模变得越来越大,结构也越来越复杂,与此同时,软件的生存期也越来越长。过去的软件生存周期模型认为软件在开发完成之后,经过若干年的维护过程,会慢慢退出历史舞台,被新的软件系统所替代。然而,当前的生存周期模型趋于把系统看作能够随时间而进行连续演化的模型。同时,我们还可以看到,从头开始建造的大系统数量在急剧减少,很多遗产系统正在被逐步地利用起来,但利用遗产系统的同时,会遇到许多困难。由于时间的流逝,这些生存期已有10—25年的系统具有许多这样或那样的缺点。而其中最重要的一个问题就是:现有的遗产系统没有好的可演化性,这样就使得我们无法利用简单的方法把遗产系统转化为一个新的系统。     

软件槽技术与装配式软件系统

软件槽就是在软件成品中预留便于扩展的结构，目的是便于软件维护和升级，讨论了软件槽的实现原理，方法，以及用它如何实现装配式软件系统，这种技术对通用软件和商品软件的开发提供了一套节约成本的新思路。     

需求工程综述

需求工程是系统开发的初始阶段，其目的是得到关于客户问题的准确，清新，一致的描述以及相应的求解限制尽管人们已经认识到需求工程的质量影响到整个系统开发的成败。但开发人员在需求工程阶段所得到的支持却最少，本文从需求工程的基本概念出发讨论了需求工程了的主要问题以及现有研究工作，并试图从领域，语言，模型及解释四个方面来讨论关于需求工程质量及其研究成果。     

软件需求工程述评

本文对软件需求工程的有关研究内容进行了剖析，给出了需求工程的概念，讨论了其基本活动和信息类型；分析与评述了问题分析的基本原则、基本技术及面向对象需求方法；说明了软件需求规约的作用和内容，并对需求规约语言的几种形式、涉及内容进行了讨论。     

信息化工程中软件系统的组建与开发评估

在组建信息化工程中的软件系统时，无论选择业务外包或内包的组建方式，都必须重视软件开发能力及过程评估，以确保软件产品的质量和项目的成功。文中为此探讨和研究了SEI CMM和ISO／IEC TR 15504等国际通用的评估标准以及评估实施方法。     

嵌入式实时集成开发环境TornadoⅡ及其应用

本文通过对嵌入式开发早期历史的介绍,针对其开发过程中遇到的困难,介绍了基于嵌入式实时操作系统VxWorks的新一代嵌入式实时集成开发环境TornadoⅡ的组成及其特点,分析了VxWorks组成及其运行机制,介绍了其相关的支持及有关的应用前景。     

试论软件开发中的需求工程

随着软件开发规模的扩大，以及人们对软件产品质量要求的提高，用工程化方法解决需求问题已是当务之急。鉴于此，本文对需求工程的概念及内容提出了自己的看法，试图从工程的角度探讨需求分析在当前的主要问题及可行途径，并对现有的可用成果作了分析。     

嵌入式实时系统的软件需求检测

以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.     

A Requirements Engineering Methodology for Real-Time Processing Requirements

This paper describes a methodology for the generation of software requirements for large, real-time unmanned weapons systems. It describes what needs to be done, how to evaluate the intermediate products, and how to use automated aids to improve the quality of the product. An example is provided to illustrate the methodology steps and their products and the benefits. The results of some experimental applications are summarized.     

一种面向嵌入式实时软件的需求建模语言

针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元．利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。     

嵌入式软件仿真测试环境中实时控制器的设计

嵌入式软件是软件中最难于测试的一类软件,具有软硬件高度相关性和实时性,前期基于自动化测试工具TestQuest构造的软件仿真测试环境是基于windows平台的,存在实时性差和任务调度困难等缺陷,针对以上问题,对基于TestQuest构造的测试环境扩展了基于vxworks操作系统的实时控制器(RCC),详细说明了其软硬件的设计、vxworks操作系统的移植和BSP的开发、实时控制器的任务调度机制和原型系统的验证。     

实时嵌入式软件仿真测试平台的体系结构设计

从实时嵌入式软件测试平台的需求出发，分析了实时嵌入式软件测试对计算机体系结构的要求，提出了以实时协处理为特征的面向实时嵌入式软件系统测试应用的体系结构解决方案。     

嵌入式软件仿真测试环境实时任务调度的研究

Vxworks操作系统是一个功能强大、而且独立于处理器的实时操作系统,它具有多任务处理能力和保证软件实时性的各种通信机制;在分析嵌入式软件仿真测试环境的多任务性和实时性需求的基础上,基于任务权重优先调度算法和系统的功能模块的紧急度调度算法,对系统的各个模块进行了合理的任务划分,并提出了单处理器下的基于信号量通信的静态权重优先级抢占的任务调度算法;确定了需要调度的任务集合,并给出了测试环境任务总体关联图及具体实现方法,通过Windview工具对任务调度和实时性进行了验证。     

Engineering Requirements Through Use Cases in Complex Business Environment

The increasingly global nature of financial markets and institutions means that the collection and management of information on which decisions might be based are increasingly complex. There is a growing requirement for the integration of information flows at individual and departmental levels, and across processes and organisational boundaries. Effective information management is an important contributory factor in the efficiency of such institutions, though there are many associated problems that do not have obvious or simple answers. This paper discusses the problem of information gathering in complex business environments and considers how use cases can help to alleviate the problem using an example of a multinational organisation. Such organisations often require information systems that can support regional differences. However, management requires consistent and uniform representation of information. The example shows that use cases can be a helpful mechanism for capturing user requirements that accommodate both regional properties as well as their organisational commonalties.     

一种基于CBSE的嵌入式实时软件建模方法研究

基于构件的软件工程（CBSE）是众多嵌入式软件开发方法中的一种崭新方法。本文提出一种RT—UML^＊／LTLC的双语言框架来对基于CBSE的嵌入式实时软件的建模．既能充分地刻画出嵌入式软件实时．资源严格有限等特点,又能较好地体现出构件的特征,能更容易地过渡到基于构件的嵌入式软件开发方法的后继阶段。