SDL/MSC描述的通用安全服务原语

基于各种安全协议 (如 IPSec,TL SP等 )和安全系统 (如 Kerberos,SESAME等 )的分析 ,提出了通用安全服务原语 (GSSP)的概念 ,面向不同协议层次的调用者 ,GSSP屏蔽了底层安全机制的实现细节 .定义了 GSSP相关概念和一个最小服务原语集合 ,包括安全上下文管理、安全联合管理、报文封装原语 .用形式描述语言 SDL/ MSC描述了通用安全服务参考模型 .最后用 SDL 描述了一个基于 X.5 0

基于SDL和MSC模型的一致性测试生成方法

本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法。这种方法从协议的形式化描述出发,用形式化的语言定义测试目的和测试组,通过本文提出的算法自动生成一致性测试套。

基于SDL和MSC的通信软件系统分析和系统设计

文章详细阐述了基于SDL和MSC进行通信软件系统分析和系统设计的方法,结合GSM-R无线列调机车台做出了实例分析,并总结了这种方法需要注意的问题。

一种基于UML与SDL融合建模的组件系统测试方法

由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。

面向对象的实时多任务系统设计方法

1 引言随着实时多任务软件应用范围的迅速增长,实时系统本身也变得越来越复杂。同时,为提高软件质量,降低开发成本,缩短开发周期,系统在开发过程中所采用的方法就起着至关重要的作用。目前,已经提出了不少针对实时多任务系统的设计方法。如RTSAD(Real-time Structured Analysis and Design.Hatley

LTE终端小区选择方案设计及实现

从LTE终端小区选择的高层协议入手,从适合小区和可接受小区驻留条件出发,分析了小区选择正常过程,并对条件不满足的后续小区选择深入研究,设计了解决方案,给出了相应的设计流程,并利用SDL(规范说明与描述语言)和TTCN(树表结合表示法)协议仿真,产生MSC(消息顺序图)。仿真结果表明,该方案有效地完成了协议所要求的小区选择功能。

面向对象的机电系统结构及行为建模

针对原理设计阶段机电一体化系统的逻辑结构模型、逻辑/物理行为模型和原理方案表达,提出了基于参考模型的机电一体化系统初步逻辑结构,以及基于统一建模语言(UML)类图的详细逻辑结构(即原理方案表达);提出了基于消息序列图(MSC)的交互行为建模及基于规范和描述语言(SDL)的逻辑/物理行为建模方法,从而基于人类认知客观世界的思维方式提出了面向对象的机电系统设计和分析的新视角。基于此对CD播放机工作系统中关键组件的原理方案解进行了表达,研究结果显示了面向对象系统建模方法的有效性。

SIP协议系统模型的形式化研究

通信协议形式化是提高其可靠性和正确性的重要手段。会话初始协议SIP是软交换的一个主要协议,应用形式化方法研究了SIP协议的结构及系统模型,主要从系统级和功能级上使用形式化规格描述语言SDL和消息顺序图MSC对SIP协议主要系统组件进行形式化描述,得到了SIP协议的形式化规范,并应用形式化方法进行了验证。为SIP协议部件库研究开发提供形式化技术基础。

动态可配置网络爬虫系统的形式化研究

为了在动态可配置网络爬虫系统开发的初期发现问题,对其进行形式化研究是十分必要的。本文通过SDL对爬虫系统进行形式化建模,并使用仿真的MSC运行结果来对爬虫系统可能出错的情况、可达性以及一致性等性质进行了分析。使用Telelogic TAU的仿真结果表明,自顶而下的形式化研究角度可以保障动态可配置网络爬虫系统的完备性。

基于SDL的停止等待协议设计与实现

介绍了形式化描述语言SDL及SDL语言中面向对象的技术,并以停止等待协议为例,研究了协议的形式化开发全过程。重点研究如何利用面向对象的技术对协议进行形式化开发,及如何结合MSC对协议系统进行分析和验证。

基于FDT技术的无线通信协议实现方法

利用形式化描述技术FDT(FormalDescriptionTechnique),可以进行高效、可靠的通信协议与系统开发。以220B协议为例,介绍了MSC、SDL、TTCN等形式化描述语言对通信协议进行描述、分析、仿真、实现的过程;最后说明了如何将整个协议栈在硬件平台上进行实现。