无线局域网卡MAC控制器设计

研究了无线局域网网卡的实现框架.整个网卡是一个嵌入式实时系统,主要涉及MAC控制器等.它建立于SOC的基础之上,在Xilinx的EDK工具下进行软硬件的协同设计.其硬件实现包括32位的MicroBlaze软核,通用IP和一些用户定制的IP,以及它们总线连接实现.     

基于SDL工具实现雷达信号处理系统一体化开发

研究了基于SDL工具在TigerSHARC硬件平台上实现典型雷达信号处理模块的开发方法,分析了SDL工具在自动生成DSP代码时的几个关键问题,并提出了一种雷达信号处理系统在TigerSHARC硬件平台上的设计、实现、验证一体化解决方案。     

数字电视多节目传送流实时多画面播放软件设计

设计了一种实时播放数字电视(DTV)传送流的软件,支持多达16路节目的解码和多画面显示.该设计利用商用的数字电视传送流采集卡将码流输入到计算机内存中,然后利用FFmpeg开源库实现对传送流的解复用和多路视频解码,最后利用SDL开源库将解码后的图像以多画面的形式显示在屏幕上.该设计提供了一种低成本的数字电视播出质量监测手段,软件也具有较高的可移植性.     

Bluetooth协议栈一致性测试

Bluetooth协议栈实现的一致性测试是保证不同厂商产品之间互连与互操作的基础。文章基于OSI协议一致性测试标准进行了Bluetooth协议一致性测试研究和实际测试,并以L2CAP层协议为例介绍了一致性测试的方法、结构、测试集的设计生成与完备性分析。     

Case Study in Protocol Validation: Validating an ATM Signalling Protocol

This paper discusses validation techniques for communication protocols and analyzes the practical use of selected validation techniques in an automated manner. A case study on validating the ATM (Asynchronous Transfer Mode) Signalling Protocol as specified by ITU-T in Q.2931 is used for this analysis. Different error classes are identified and validated. An assessment of the different validation techniques in terms of effort and quality of results is given. As a result of the case study, an evaluation of the Q.2931 SDL specification completes the paper. Received March 1998 / Accepted in revised form October 1998     

XYZ系统在电信领域中的应用

最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证．     

Frameworks: the future of formal software development?

It could be argued that the primary issue to be dealt with in software engineering today is re-use of software. Current software development rarely, if ever, starts from nothing. Unfortunately, the same cannot be said for the development of specifications. To overcome this problem, various works have attempted to show how specifications can be built using architectural principles. We discuss one such approach in particular, the Architectural Semantics of Open Distributed Processing. We show the limitations of this work with regard to the architecting of specifications and propose a new approach, based on frameworks. To highlight the approach we use the work currently being done in the TOSCA project in its development of a service creation and validation environment for telecommunication services.     

基于SDL的通信软件维护模型SMM

软件维护是软件生存周期的一个重要且花费很大的阶段，维护工作的自动化是软件行业十分迫切的需要。本文提出了一个基于ＩＴＵ－ＴＳＤＬ语言的通信软件维护模型ＳＭＭ。在此模型中，软件维护被分成三个部分：建立面向维护的数据库，制定维护规范和基于功能转换的自动维护。该模型将有助于软件维护支撑环境的建立     

B—ISDN宽带UNI信令点到多点配置的实现

本文根据ＩＴＵ－Ｔ最新的Ｑ．２９７１协议，以及笔者所从事的实际课题，提出一整套Ｂ－ＩＳＤＮ第三层ＵＮＩ信令的软件实现策略，其特点是能同时满足用户对点到点以及点到多点广播这两种通信方式的要求，而且可以动态配置。