基于多视点的快速原型化方法的研究

提出了一个结合多视点的快速原型化方法,该方法及其需求定义过程主要使用视点和视点模板来定义用户的需求,从而提高了需求规格说明的可读性和可审查性．此外,本文也讨论了这个新方法的特点和今后需要解决的问题．     

需求过程的建模仿真方法

面向需求过程中的活动,以集合和关系代数的方式建立需求过程的仿真模型;提出多层排队和相关矩阵一致性判断的方法,分析过程的动态特性;证明了仿真算法在时间复杂性上不超过多项式阶.实验结果说明仿真模型和分析方法可以事前预测需求过程中存在的缺陷和瓶颈,有利于消除缺陷和优化需求过程.     

基于规格说明的面向对象软件原型开发

提出了一种基于规格说明的面向对象软件原型开发方法．规格说明分为结构部分和行为部分．结构部分利用了面向对象开发方法ＯＭＴ的直观可视的表示和分析设计规程；行为部分利用类ＣＣＳ的表示文法和形式验证机制，使得规格说明及其求精结果由一致的语言表示，且在同一的形式框架构成的原型上进行行为分析．并且通过一个实例说明了此方法的特点     

可信计算技术在嵌入式操作系统中的应用

针对通用可信计算技术难以直接满足嵌入式操作系统实时性要求的问题,通过对现有可信计算信任链进行裁剪,提出了一种基于完整性度量证书的信任链结构,在嵌入式操作系统内核中构造了嵌入式实时可信平台模块和可信软件栈.实验表明,嵌入式可信平台模块的平均命令执行时间节省了65.81%,嵌入式系统中的应用程序可实现密封存储、远程证明和完整性度量等可信计算功能,研究方案在总体上能够满足嵌入式系统的实时性和安全性要求.     

一种新的分析和检查需求模型

由于ＳＣＲ（ＳｏｆｔｗａｒｅＣｏｓｔＲｅｄｕｃｔｉｏｎ）是较实用的定义软件系统需求的方法，以此方法为基础，提出一个形式化的分析和检查需求的模型．此分析和检查模型主要根据综合知识表示模型的一些基本原理，使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义，并通过执行规则来自动分析由ＳＣＲ定义的需求．为便于理解，给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性．     

软件能重用性和C语言

软件能重用性是提高软件开发生产率和质量的关键之一。本文研究了C语言中有利于软件成分重用的特点和不利于软件成分重用的因素,提出了判断C语言模块能重用性的准则和提高其重用性的技术,并给出了典型的实例加以说明。     

维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

S3C2442与MPEG2-TS在多媒体播放器中的应用

多媒体(MultiMedia)是网络流行后发展起来的一种新兴的网络传输技术,被大量地使用在互联网上进行实时播音、视频等多媒体数据的传输,且涉及到多媒体数据的采集、音/视频编解码、存储、传输以及播放等多个环节.本文重点介绍了一种基于S3C2442与MPEG2-TS的嵌入式多媒体播放器的软件和硬件的设计与实现,从而实现嵌入式系统与多媒体技术两者的有机结合.     

自动程序生成工具QUICK

本文介绍的QUICK工具以构造通用事务处理系统的样板程序模式为基础，通过对软件规格说明信息作非过程性描述，实现了微机管理信息系统中许多应用.软件FozBASE源程序的自动生成.该工具在微机上实现，由FoaBASE和PASCAL语言混合编写而成.     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．     

基于SystemC的事务级AMBA总线模型的设计与实现

针对目前SoC设计中的时间瓶颈，根据系统建模语言SystemC对SoC进行事务级建模的方法。提出并实现了采用该方法构建基于AMBA规范的SoC片内总线模型的方案．模型采用了SystemC 2．0的接口、端口和通道的概念，这使模型具有很好的开放性和可扩展性．模型各部分间的通信通过调用各接口内定义的函数来进行，模型运行时只使用SystemC自带的轻量级仿真内核．实验结果表明：本总线模型完全符合AMBA2．0规范，可以有效克服目前SoC软硬件协同设计中的时间瓶颈．     

基于CAN和TMS320F2812的永磁同步电机控制器的研究

基于永磁同步电机的矢量控制理论、CAN总线和TMS320F2812,从硬件和软件提出了一种伺服控制器的设计方案及实施方法,并自定义了电机控制的指令格式,给出了具体的实施过程．实验表明：在这种设计架构下的伺服控制器能取得较好的效果．     

多媒体远程教育网中的实时组播研究

在分析实时组播的基础上,提出了一种实时组播路由算法,并分析了将其应用于实时交互式多媒体远程教育网的可行性．     

普通船用雷达改装为多功能船用雷达的设想

根据IMO在2002年1月1日将实施船用雷达的新要求,提出了利用PC机及现有船用雷达的天线和收发器实现一种多功能雷达的途径和技术要求.     

UML建模与动态模拟:案例研究

为检查模型之间的一致性和模型的完备性, 本文根据ＵＭＬ１．１ 规范,通过在可视化建模工具Ｒｏｓｅ９８上开发的一个铁路模型的实例详细描述了对于软件系统如何从多个视点建立一个规范、实用的模型;并提出了一种基于ＵＭＬ模型的动态模拟方法,给出了动态模拟工具设计方案, 这种方法充分结合了当前的用户界面、动画技术和ＵＭＬ语言的半形式化语义特点．     

OOPN与嵌入式系统开发

提出了一种适合于嵌入式系统的OOPN建立方法,并给出了嵌入式系统软硬件协同设计OOPN模型建立实例．该模型使得复杂的嵌入式系统描述更加模块化,具有可重用性．